8. LPAR 2001:
Havana,
Cuba
Robert Nieuwenhuis, Andrei Voronkov (Eds.):
Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings.
Lecture Notes in Computer Science 2250 Springer 2001, ISBN 3-540-42957-3 BibTeX
@proceedings{DBLP:conf/lpar/2001,
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Logic for Programming, Artificial Intelligence, and Reasoning,
8th International Conference, LPAR 2001, Havana, Cuba, December
3-7, 2001, Proceedings},
booktitle = {LPAR},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2250},
year = {2001},
isbn = {3-540-42957-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Verification
Guarded Logics
Agents
Automated Theorem Proving
Automated Theorem Proving
Non-Classical logics
Types
Experimental Papers
Foundations of Logic
CSP and SAT
Non-monotonic Reasoning
Semantics
Experimental Papers
Termination
Knowledge-Based Systems
Analysis of Logic Programs
Databases and Knowledge Bases
Termination
Program Analysis and Proof Planning
Copyright © Sat May 16 23:28:59 2009
by Michael Ley (ley@uni-trier.de)
