Semantical considerations on nonmonotonic logic
Artificial Intelligence
Mechanical theorem proving in the USSR; the Leningrad school
Mechanical theorem proving in the USSR; the Leningrad school
Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
Foundations of deductive databases and logic programming
Foundations of deductive databases and logic programming
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Negation as failure using tight derivations for general logic programs
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Journal of Automated Reasoning
A fixpoint semantics for disjunctive logic programs
Journal of Logic Programming
Logic programs with classical negation
Logic programming
Generalized well-founded semantics for logic programs
CADE-10 Proceedings of the tenth international conference on Automated deduction
Stationary semantics for disjunctive logic programs and deductive databases
Proceedings of the 1990 North American conference on Logic programming
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Stable and extension class theory for logic programs and default logics
Journal of Automated Reasoning
Proceedings of the eleventh international conference on Logic programming
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Unfounded sets and well-founded semantics for general logic programs
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Strongly equivalent logic programs
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Getting to the airport: the oldest planning problem in AI
Logic-based artificial intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Logic and Data Bases
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
A New Logical Characterisation of Stable Models and Answer Sets
NMELP '96 Selected papers from the Non-Monotonic Extensions of Logic Programming
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Annals of Mathematics and Artificial Intelligence
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A modular action description language
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
The Conflict-Driven Answer Set Solver clasp: Progress Report
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A new perspective on stable models
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On stratified autoepistemic theories
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Homage to Michael Gelfond on his 65th birthday
Logic programming, knowledge representation, and nonmonotonic reasoning
Hi-index | 0.00 |
I am honored to have been invited by the editors of this Festschrift to write an article in honor of Vladimir Lifschitz on the occasion of his 65th birthday. In this article I describe some of the major contributions that Vladimir has made in his exceptional career. I provide background material about Vladimir in the Former Soviet Union (FSU), where he was born; discuss his beginning years in the United States (US); how I became aware of his research; his work on stable models with Michael Gelfond, and some of my work in related areas; and describe some of the many contributions Vladimir has made in formalizing ad hoc approaches in artificial intelligence to a formal basis of logic-based analysis.