Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Pushing Goal Derivation in DLP Computations
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
The Diagnosis Frontend of the dlv system
AI Communications
Experimenting with heuristics for answer set programming
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Reasoning with infinite stable models
Artificial Intelligence
Event choice datalog: a logic programming language for reasoning in multiple dimensions
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming
An incremental algorithm for generating all minimal models
Artificial Intelligence
Solving abduction by computing joint explanations
Annals of Mathematics and Artificial Intelligence
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Preferred extensions as stable models*
Theory and Practice of Logic Programming
Approximating Extended Answer Sets
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
On the semantics of logic programs with preferences
Journal of Artificial Intelligence Research
An incremental algorithm for generating all minimal models
Artificial Intelligence
Generating possible interpretations of compliance regulation using answer set programming
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Answer-set programming based dynamic user modeling for recommender systems
EPIA'07 Proceedings of the aritficial intelligence 13th Portuguese conference on Progress in artificial intelligence
Learning and using domain-specific heuristics in ASP solvers
AI Communications - Answer Set Programming
Rule-based complex event processing for food safety and public health
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Application of answer set programming for public health data integration and analysis
ARES'11 Proceedings of the IFIP WG 8.4/8.9 international cross domain conference on Availability, reliability and security for business, enterprise and health information systems
Justifications for logic programs under answer set semantics
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Reasoning about the intentions of agents
Logic Programs, Norms and Action
Possibilistic intermediate logic
International Journal of Advanced Intelligence Paradigms
Toward question answering in travel domains
Correct Reasoning
Provenance analyzer: exploring provenance semantics with logic rules
TaPP'13 Proceedings of the 5th USENIX conference on Theory and Practice of Provenance
Provenance analyzer: exploring provenance semantics with logic rules
Proceedings of the 5th USENIX Workshop on the Theory and Practice of Provenance
| Hi-index | 0.00 |