PDF

In Handbook of Knowledge Representation, Frank van Harmelen and Vladimir Lifschitz and Bruce Porter (Eds.), pp. 3-88 2008. Elsevier.

@INCOLLECTION{lif08b, title={Knowledge Representation and Classical Logic}, author={Vladimir Lifschitz and Leora Morgenstern and David Plaisted}, booktitle={Handbook of Knowledge Representation}, editor={Frank van Harmelen and Vladimir Lifschitz and Bruce Porter}, publisher={Elsevier}, pages={3-88}, url="http://www.cs.utexas.edu/users/ai-lab?lif08b", year={2008} }