HYPROLOG
From MaRDI portal
Cited in
(19)- VeriFly
- Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2--5, 2005. Proceedings.
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- Abductive Logic Grammars
- ACORDA
- XASP
- Runtime addition of integrity constraints in an abductive proof procedure
- CHR
- SCIFF
- Binder
- Abductive logic programming as an effective technology for the static verification of declarative business processes
- Inspecting side-effects of abduction in logic programs
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
- On the Implementation of Global Abduction
- Verification from Declarative Specifications Using Logic Programming
- As time goes by: constraint handling rules
This page was built for software: HYPROLOG
