Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
First order compiler: A deterministic logic program synthesis algorithm
Journal of Symbolic Computation
Selected papers of international conference on Fifth generation computer systems 92
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Abduction in Logic Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
CHRv: A Flexible Query Language
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
User-definable rule priorities for CHR
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Verifiable agent interaction in abductive logic programming: The SCIFF framework
ACM Transactions on Computational Logic (TOCL)
PRISM: a language for symbolic-statistical modeling
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
On the implementation of global abduction
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
HYPROLOG: a new logic programming language with assumptions and abduction
ICLP'05 Proceedings of the 21st international conference on Logic Programming
CONTEXT'05 Proceedings of the 5th international conference on Modeling and Using Context
Property grammars: a fully constraint-based theory
CSLP'04 Proceedings of the First international conference on Constraint Solving and Language Processing
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Cost-based query answering in action probabilistic logic programs
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Parallel Abductive Query Answering in Probabilistic Logic Programs
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
A class of Probabilistic Abductive Logic Programs (PALPs) is introduced and an implementation is developed in CHR for solving abductive problems, providing minimal explanations with their probabilities. Both all-explanations and most-probable-explanations versions are given. Compared with other probabilistic versions of abductive logic programming, the approach is characterized by higher generality and a flexible and adaptable architecture which incorporates integrity constraints and interaction with external constraint solvers. A PALP is transformed in a systematic way into a CHR program which serves as a query interpreter, and the resulting CHR code describes in a highly concise way, the strategies applied in the search for explanations.