Pages that link to "Item:Q679244"
From MaRDI portal
The following pages link to A correct logic programming computation of default logic extensions (Q679244):
Displaying 5 items.
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- On the complexity of extension checking in default logic (Q844157) (← links)
- Consistency properties and set based logic programming (Q1028650) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- A system for computing constrained default logic extensions (Q5236437) (← links)