HYPROLOG
From MaRDI portal
Software:15282
No author found.
Related Items (13)
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules ⋮ Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2--5, 2005. Proceedings. ⋮ On the Implementation of Global Abduction ⋮ Unnamed Item ⋮ Integration of Abductive Reasoning and Constraint Optimization in SCIFF ⋮ Inspecting Side-Effects of Abduction in Logic Programs ⋮ A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials ⋮ Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules ⋮ Abductive Logic Grammars ⋮ As time goes by: Constraint Handling Rules ⋮ The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments ⋮ Runtime Addition of Integrity Constraints in an Abductive Proof Procedure ⋮ Verification from Declarative Specifications Using Logic Programming
This page was built for software: HYPROLOG
