The following pages link to HYPROLOG (Q15282):
Displaying 13 items.
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Q692280) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← links)
- Logic programming. 21st international conference, ICLP 2005, Sitges, Spain, October 2--5, 2005. Proceedings. (Q2369273) (← links)
- Runtime addition of integrity constraints in an abductive proof procedure (Q2883066) (← links)
- Inspecting Side-Effects of Abduction in Logic Programs (Q3001918) (← links)
- (Q3005894) (← links)
- As time goes by: Constraint Handling Rules (Q3400960) (← links)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- Abductive Logic Grammars (Q3638282) (← links)
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments (Q3648356) (← links)
- On the Implementation of Global Abduction (Q5302008) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
