Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
type: Item
instance of: scholarly article
title: Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
zbMATH Open document ID: 1176.68158
author: Henning Christiansen
published in: Journal of Applied Logic
publication date: 2009-08-14T00:00:00Z
Mathematics Subject Classification ID: 68T05
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 5595386
zbMATH Keywords: abduction
zbMATH Keywords: abduction as deduction
zbMATH Keywords: hypothesis-based reasoning
zbMATH Keywords: logic programming
describes a project that uses: Smodels
describes a project that uses: HYPROLOG
MaRDI profile type: Publication
full work available at URL: j.jal.2008.10.004
OpenAlex ID: W2124270180
cites work: Logic Programming
cites work: A Linear-Logic Semantics for Constraint Handling Rules
cites work: Automated reasoning with a constraint-based metainterpreter
cites work: CHR grammars
cites work: On the Implementation of Global Abduction
cites work: Modeling and Using Context
cites work: On the Relationship Between Abduction and Deduction
cites work: Semantic Property Grammars for Knowledge Extraction from Biomedical Text
cites work: Special issue: abductive logic programming
cites work: Q4707746
cites work: Q4052071
cites work: A comparative study of eight constraint programming languages over the Boolean and finite domains
cites work: Theory and practice of constraint handling rules
cites work: The IFF proof procedure for abductive logic programming
cites work: Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2--5, 2005. Proceedings.
cites work: Computational Logic in Multi-Agent Systems
cites work: Abductive Logic Programming
cites work: Q4843185
cites work: ACLP: Abductive Constraint Logic Programming
cites work: The DLV system for knowledge representation and reasoning
cites work: Q3339245
cites work: Q4808512
cites work: Q4800171
cites work: The BinProlog experience: architecture and implementation choices for continuation passing Prolog and first-class logic engines
cites work: Two results for prioritized logic programming
DOI: 10.1016/J.JAL.2008.10.004
description: scientific article; zbMATH DE number 5595386