Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Formal Verification and Hardware Design with Statecharts
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Argumentation-Based Proof Procedures for Credulous and Sceptical Non-monotonic Reasoning
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Disjunctive Logic Program = Horn Program + Control Program
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Merge Path Improvements for Minimal Model Hyper Tableaux
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Abduction with Negation as Failure for Active and Reactive Rules
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
First-order logic Davis-Putnam-Logemann-Loveland procedure
Exploring artificial intelligence in the new millennium
On the abductive or deductive nature of database schema validation and update processing problems
Theory and Practice of Logic Programming
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Bottom-up abduction by model generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Proof simplification for model generation and its applications
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
PLATYPUS: a platform for distributed answer set solving
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Semantics For Disjunctive Logic Programs With Explicit And Default Negation
Fundamenta Informaticae
| Hi-index | 0.00 |