Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
From MaRDI portal
Publication:833735
DOI10.1016/j.jal.2008.10.004zbMath1176.68158OpenAlexW2124270180MaRDI QIDQ833735
Publication date: 14 August 2009
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2008.10.004
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A comparative study of eight constraint programming languages over the Boolean and finite domains
- Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2--5, 2005. Proceedings.
- The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines
- On the Relationship Between Abduction and Deduction
- A Linear-Logic Semantics for Constraint Handling Rules
- Theory and practice of constraint handling rules
- Automated reasoning with a constraint-based metainterpreter
- The IFF proof procedure for abductive logic programming
- Two results for prioritized logic programming
- Special issue: abductive logic programming
- ACLP: Abductive Constraint Logic Programming
- The DLV system for knowledge representation and reasoning
- Abductive Logic Programming
- On the Implementation of Global Abduction
- Logic Programming
- Semantic Property Grammars for Knowledge Extraction from Biomedical Text
- Computational Logic in Multi-Agent Systems
- Logic Programming
- Logic Programming
- CHR grammars
- Computational Logic in Multi-Agent Systems
- Modeling and Using Context
This page was built for publication: Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
