The following pages link to (Q4012237):
Displayed 4 items.
- Compiling a default reasoning system into Prolog (Q750134) (← links)
- Linear resolution for consequence finding (Q1199916) (← links)
- Embedding circumscriptive theories in general disjunctive programs (Q5101461) (← links)
- Conservative query normalization on parallel circumscription (Q5210781) (← links)