Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

DOI10.1016/J.JAL.2008.10.004MaRDI QIDQ833735zbMATH OpenOpenAlexFDO

Authors Henning Christiansen

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

zbMATH Keywords

abductionlogic programmingabduction as deductionhypothesis-based reasoning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 2086600
• Logic Programming
• Theory and practice of constraint handling rules
• Concurrent goal-based execution of constraint handling rules
• A Unified Semantics for Constraint Handling Rules in Transaction Logic

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 3467028 (Why is no real title available?)
• scientific article; zbMATH DE number 1926614 (Why is no real title available?)
• scientific article; zbMATH DE number 1890628 (Why is no real title available?)
• scientific article; zbMATH DE number 2089886 (Why is no real title available?)
• scientific article; zbMATH DE number 783780 (Why is no real title available?)
• A Linear-Logic Semantics for Constraint Handling Rules
• A comparative study of eight constraint programming languages over the Boolean and finite domains
• ACLP: Abductive Constraint Logic Programming
• Abductive Logic Programming
• Automated reasoning with a constraint-based metainterpreter
• CHR grammars
• Computational Logic in Multi-Agent Systems
• Computational Logic in Multi-Agent Systems
• Logic Programming
• Logic Programming
• Logic Programming
• Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2--5, 2005. Proceedings.
• Modeling and Using Context
• On the Implementation of Global Abduction
• On the Relationship Between Abduction and Deduction
• Semantic Property Grammars for Knowledge Extraction from Biomedical Text
• Special issue: abductive logic programming
• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
• The DLV system for knowledge representation and reasoning
• The IFF proof procedure for abductive logic programming
• Theory and practice of constraint handling rules
• Two results for prioritized logic programming

Cited in

(2)

• scientific article; zbMATH DE number 2086600 (Why is no real title available?)
• Logic Programming

Describes a project that uses

Uses Software

• Smodels
• HYPROLOG

This page was built for publication: Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q833735)