Computing Stable Models: Worst-Case Performance Estimates
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Answer Set Programming by Ant Colony Optimization
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
The DLVK Planning System: Progress Report
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
An Update Front-End for Extended Logic Programs
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
System Description: The DLVK Planning System
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Improving ASP Instantiators by Join-Ordering Methods
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
Enhancing disjunctive logic programming systems by SAT checkers
Artificial Intelligence
Introduction to the special issue on Programming with answer sets
Theory and Practice of Logic Programming
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Computing stable models: worst-case performance estimates
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
Abductive logic programs with penalization: semantics, complexity and implementation
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Exploiting agents in e-learning and skills management context
AI Communications
A backjumping technique for disjunctive logic programming
AI Communications
Computing minimal models, stable models and answer sets
Theory and Practice of Logic Programming
Pruning Operators for Disjunctive Logic Programming Systems
Fundamenta Informaticae
Coordination in answer set programming
ACM Transactions on Computational Logic (TOCL)
On look-ahead heuristics in disjunctive logic programming
Annals of Mathematics and Artificial Intelligence
Experimenting with parallelism for the instantiation of ASP programs
Journal of Algorithms
Probabilistic Planning in Hybrid Probabilistic Logic Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Answer set planning under action costs
Journal of Artificial Intelligence Research
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Consistent query answers in the presence of universal constraints
Information Systems
Experimenting with heuristics for answer set programming
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
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
ASP at work: spin-off and applications of the DLV system
Logic programming, knowledge representation, and nonmonotonic reasoning
Homage to Michael Gelfond on his 65th birthday
Logic programming, knowledge representation, and nonmonotonic reasoning
The third answer set programming competition: preliminary report of the system competition track
LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
A social semantics for multi-agent systems
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
Disjunctive programs with set constraints
Correct Reasoning
Hi-index | 0.00 |