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

DOI10.1016/J.JAL.2008.10.004zbMATH Open1176.68158OpenAlexW2124270180MaRDI QIDQ833735FDOQ833735

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

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

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)

Cites Work

• Title not available (Why is that?)
• Logic Programming
• The DLV system for knowledge representation and reasoning
• Title not available (Why is that?)
• Abductive Logic Programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theory and practice of constraint handling rules
• Logic Programming
• Logic Programming
• CHR grammars
• The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
• On the Relationship Between Abduction and Deduction
• The IFF proof procedure for abductive logic programming
• 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.
• A Linear-Logic Semantics for Constraint Handling Rules
• Automated reasoning with a constraint-based metainterpreter
• Two results for prioritized logic programming
• Special issue: abductive logic programming
• ACLP: Abductive Constraint Logic Programming
• Title not available (Why is that?)
• On the Implementation of Global Abduction
• Semantic Property Grammars for Knowledge Extraction from Biomedical Text
• Computational Logic in Multi-Agent Systems
• Computational Logic in Multi-Agent Systems
• Modeling and Using Context

Cited In (2)

• Logic Programming
• Title not available (Why is that?)

Uses Software

• HYPROLOG
• Smodels

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)