On the Implementation of Global Abduction

DOI10.1007/978-3-540-69619-3_13zbMath1177.68200OpenAlexW1515608441MaRDI QIDQ5302008

Henning Christiansen

Publication date: 20 January 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69619-3_13

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Related Items (3)

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Abductive Logic Grammars

Uses Software

• HYPROLOG

This page was built for publication: On the Implementation of Global Abduction