The following pages link to (Q4474859):
Displaying 9 items.
- Logic programming with infinite sets (Q812390) (← links)
- Stratification and knowledge base management (Q1122994) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Splitting finite default theories: A comparison of two approaches (Q1288176) (← links)
- Seminormal stratified default theories (Q1380425) (← links)
- Computing with default logic (Q1606312) (← links)
- (Q4486542) (← links)
- Reasoning with stratified default theories (Q5101456) (← links)
- A system for computing constrained default logic extensions (Q5236437) (← links)