You have Guest access.
Log In
Volume 1 / 1972 - Volume 41 / 2012
321-327
Philosophical logic and artificial intelligence
Richmond Thomason
329-354
I'm OK if you're OK: On the notion of trusting communication
Ronald Fagin and Joseph Y. Halpern
355-389
Logic and the complexity of reasoning
Hector J. Levesque
391-441
Circumscriptive theories: A logic-based framework for knowledge representation
Vladimir Lifshitz
443-474
Efficient reasoning about rich temporal domains
Yoav Shoham
475
Lakatos Award in philosophy of science
476
Publisher's announcement
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info