The following pages link to (Q4471864):
Displaying 4 items.
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Handling Exceptions in Logic Programming without Negation as Failure (Q3011970) (← links)
- Dealing Automatically with Exceptions by Introducing Specificity in ASP (Q3638184) (← links)
- A system for computing constrained default logic extensions (Q5236437) (← links)