The following pages link to Logic Programming (Q5475776):
Displaying 8 items.
- HYPROLOG (Q15282) (← links)
- 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)
- Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules (Q3616884) (← links)
- Abductive Logic Grammars (Q3638282) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- Fifty Years of Prolog and Beyond (Q6063890) (← links)
