Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
An Extension to GCWA and Query Evaluation for Disjunctive Deductive Databases
Journal of Intelligent Information Systems
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Extending and implementing the stable model semantics
Artificial Intelligence
Semantics and expressiveness of disjunctive ordered logic
Annals of Mathematics and Artificial Intelligence
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Binding Propagation in Disjunctive Databases
VLDB '98 Proceedings of the 24rd International Conference on Very Large Data Bases
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Minimal Founded Semantics for Disjunctive Logic Programming
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
A Comparative Study of Well-Founded Semantics for Disjunctive Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Optimizing the Computation of Heuristics for Answer Set Programming Systems
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
On the Role of Negation in Choice Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Pushing Goal Derivation in DLP Computations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
The Well-Founded Semantics Is a Stratified Fitting Semantics
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Local Search Techniques for Disjunctive Logic Programs
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A Top-Down Procedure for Disjunctive Well-Founded Semantics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
On the rewriting and efficient computation of bound disjunctive datalog queries
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Optimal Models of Disjunctive Logic Programs: Semantics, Complexity, and Computation
IEEE Transactions on Knowledge and Data Engineering
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Minimal founded semantics for disjunctive logic programs and deductive databases
Theory and Practice of Logic Programming
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Comparisons and computation of well-founded semantics for disjunctive logic programs
ACM Transactions on Computational Logic (TOCL)
Preferred answer sets for ordered logic programs
Theory and Practice of Logic Programming
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic (TOCL)
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Any-world assumptions in logic programming
Theoretical Computer Science
Exploiting agents in e-learning and skills management context
AI Communications
A backjumping technique for disjunctive logic programming
AI Communications
Epistemic foundation of stable model semantics
Theory and Practice of Logic Programming
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
The Diagnosis Frontend of the dlv system
AI Communications
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Semantic extraction and adaptive delivery of multimedia contents for the cultural assets
Proceedings of the second workshop on Use of P2P, GRID and agents for the development of content networks
On look-ahead heuristics in disjunctive logic programming
Annals of Mathematics and Artificial Intelligence
A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Enhancing a DLP System for Advanced Database Applications
RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems
Computing Only Minimal Answers in Disjunctive Deductive Databases
Journal of Automated Reasoning
The DLV Project: A Tour from Theory and Research to Applications and Market
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Design and implementation of aggregate functions in the dlv system*
Theory and Practice of Logic Programming
On the relation among answer set solvers
Annals of Mathematics and Artificial Intelligence
Elementary sets for logic programs
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Stable model checking made easy
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Declarative and computational properties of logic programs with aggregates
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A model-theoretic counterpart of loop formulas
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Annals of Mathematics and Artificial Intelligence
Head-elementary-set-free logic programs
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Proceedings of the 2nd international conference on Semantics in databases
Towards unifying semantic constraints and security constraints
Proceedings of the 2nd international conference on Semantics in databases
Generic tableaux for answer set programming
ICLP'07 Proceedings of the 23rd international conference on Logic programming
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
Theory and Practice of Logic Programming
Disjunctive asp with functions: Decidable queries and effective computation*
Theory and Practice of Logic Programming
Catching the ouroboros: On debugging non-ground answer-set programs
Theory and Practice of Logic Programming
A 25-year perspective on logic programming
DLVMC: enhanced model checking in DLV
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Dynamic Magic Sets and super-coherent answer set programs
AI Communications - Answer Set Programming
Answer set programming at a glance
Communications of the ACM
Unfounded sets for disjunctive logic programs with arbitrary aggregates
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Solving hard ASP programs efficiently
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
The nomore++ approach to answer set solving
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On elementary loops of logic programs
Theory and Practice of Logic Programming
The disjunctive datalog system DLV
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Conflict-driven answer set solving: From theory to practice
Artificial Intelligence
Magic Sets for disjunctive Datalog programs
Artificial Intelligence
Stepwise debugging of description-logic programs
Correct Reasoning
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
A New Partial Semantics for Disjunctive Deductive Databases
Fundamenta Informaticae
Exploiting unfounded sets for HEX-Program evaluation
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Tableau Calculi for Logic Programs under Answer Set Semantics
ACM Transactions on Computational Logic (TOCL)
RW'13 Proceedings of the 9th international conference on Reasoning Web: semantic technologies for intelligent data access
Advanced conflict-driven disjunctive answer set solving
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
First-order expressibility and boundedness of disjunctive logic programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
On the tractability of minimal model computation for some CNF theories
Artificial Intelligence
Hi-index | 0.02 |