Semantical considerations on nonmonotonic logic
Artificial Intelligence
On the relation between default and autoepistemic logic
Artificial Intelligence
All I know: a study in autoepistemic logic
Artificial Intelligence
Minimal belief and negation as failure
Artificial Intelligence
Reasoning about knowledge
The logic of knowledge bases
Uniform semantic treatment of default and autoepistemic logics
Artificial Intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Epistemic semantics for fixed-points non-monotonic logics
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Towards an axiom system for default logic
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Only-knowing: taking it beyond autoepistemic reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
| Hi-index | 0.00 |
It is a great honour and a pleasure to be able to offer this paper in celebration of Vladimir Lifschitz's sixty-fifth birthday. His work has been an inspiration to both of us since we first started reading his papers in the 1980s. At a time when many papers and presentations in AI were either very abstract on the one hand, or tied to specific systems on the other, Vladimir has consistently found a sweet spot that emphasized clarity and rigour, while maintaining a strong connection to AI practice. His work, in a nutshell, has been a model of how to do AI research, of great value to new students and to older researchers like us. So this is our chance to say thank you, Vladimir, and happy birthday!