Compilability and compact representations of revision of Horn knowledge bases
ACM Transactions on Computational Logic (TOCL)
Proof-complexity results for nonmonotonic reasoning
ACM Transactions on Computational Logic (TOCL)
Knowledge compilation = query rewriting + view synthesis
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
Nonmonotonic Reasoning, Grigoris Antoniou
Journal of Logic, Language and Information
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Preprocessing of intractable problems
Information and Computation
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Complexity of argument-based default reasoning with specificity
AI Communications
Fixed-parameter tractability of disjunction-free default reasoning
Journal of Computer Science and Technology
Reasoning with infinite stable models
Artificial Intelligence
On Stratified Belief Base Compilation
Annals of Mathematics and Artificial Intelligence
Compiling propositional weighted bases
Artificial Intelligence - Special issue on nonmonotonic reasoning
Regular disjunction-free default theories
Journal of Computer Science and Technology
A survey on knowledge compilation
AI Communications
Complexity of argument-based default reasoning with specificity
AI Communications
Complexity of the Unique Extension Problem in Default Logic
Fundamenta Informaticae
Space efficiency of propositional knowledge representation formalisms
Journal of Artificial Intelligence Research
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
A theory of average-case compilability in knowledge representation
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A Kripkean semantics for dynamic logic programming
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Towards an integration of answer set and constraint solving
ICLP'05 Proceedings of the 21st international conference on Logic Programming
SAT'05 Proceedings of the 8th international conference on Theory and Applications of Satisfiability Testing
Complexity of the Unique Extension Problem in Default Logic
Fundamenta Informaticae
Hi-index | 0.00 |