HYPROLOG
From MaRDI portal
Software:15282
swMATH2743MaRDI QIDQ15282FDOQ15282
Author name not available (Why is that?)
Cited In (13)
- Runtime addition of integrity constraints in an abductive proof procedure
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
- As time goes by: constraint handling rules
- Abductive Logic Grammars
- Title not available (Why is that?)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
- Verification from Declarative Specifications Using Logic Programming
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF
- Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2--5, 2005. Proceedings.
- Inspecting Side-Effects of Abduction in Logic Programs
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- On the Implementation of Global Abduction
This page was built for software: HYPROLOG
