if.tex

\documentclass[computermodern,nocopyrightspace]{sigplanconf}

\usepackage{amsmath}
\usepackage{url}
%\usepackage{natbib}
\usepackage{alltt}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{verbatim}
\usepackage{proof}

\begin{document}
%\bibliographystyle{plainnat}

\title{Rule-Based Interactive Fiction (Full Presentation)}

%\subtitle{}

\authorinfo{Chris R. Martens \and Zachary A. Sparks \and Claire E. Alvis \and William E. Byrd}
           {Carnegie Mellon University, Indiana University}
           {\{cmartens\}@cs.cmu.edu,\{zasparks,calvis,webyrd\}@cs.indiana.edu}

\maketitle

\section{Interactive Fiction}

\input{intro}

\section{Logic Programming and IF}

\input{lopro}

\section{Linear Logic Programming}

\input{linlo}

\section{Defeasible Logic}

\input{defeas}

\acks

\input{acks}

\nocite{Covington:1996:PPD:230996}
\nocite{apt03principles}
\nocite{Marriottp98Pwc}
\nocite{trs2005}
\nocite{zarfrulespage}

\bibliographystyle{acm}

\bibliography{if}

\end{document}