Semantical considerations on nonmonotonic logic
Artificial Intelligence
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Logic programs with classical negation
Logic programming
Relating autoepistemic and default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Handbook of theoretical computer science (vol. B)
Complexity of recursive normal default logic
Fundamenta Informaticae - Special issue: to the memory of Prof. Cecylia Rauszer
Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Logic programs with stable model semantics as a constraint programming paradigm
Annals of Mathematics and Artificial Intelligence
Basic Forward Chaining Construction for Logic Programs
LFCS '97 Proceedings of the 4th International Symposium on Logical Foundations of Computer Science
On Logical Constraints in Logic Programming
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Non-Monotonic Reasoning with Quantified Boolean Constraints
LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
ASSAT: computing answer sets of a logic program by SAT solvers
Eighteenth national conference on Artificial intelligence
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning
LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
On the Complexity of Abduction
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Locally Determined Logic Programs and Recursive Stable Models
Annals of Mathematics and Artificial Intelligence
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
Logic programming with infinite sets
Annals of Mathematics and Artificial Intelligence
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Compactness Properties for Stable Semantics of Logic Programs
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Annals of Mathematics and Artificial Intelligence
| Hi-index | 0.00 |
We give a brief retrospective of the work of Marek, Nerode, and Remmel on nonmonotonic logic and answer set programming.