Logic Programming
From MaRDI portal
Publication:5475776
DOI10.1007/11562931zbMath1165.68327OpenAlexW2104948204MaRDI QIDQ5475776
Veronica Dahl, Henning Christiansen
Publication date: 27 June 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11562931
Related Items (8)
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Integration of Abductive Reasoning and Constraint Optimization in SCIFF ⋮ Fifty Years of Prolog and Beyond ⋮ A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ HYPROLOG ⋮ Abductive Logic Grammars ⋮ Verification from Declarative Specifications Using Logic Programming
This page was built for publication: Logic Programming
