The following pages link to Reasoning with logic programming (Q1923136):
Displayed 7 items.
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Heterogeneous active agents. III: Polynomially implementable agents (Q1978315) (← links)
- Preferential theory revision (Q2475428) (← links)
- Epistemology and artificial intelligence (Q2565612) (← links)
- Declarative Representation of Revision Strategies* (Q4443396) (← links)
- A variant of Thomason's first-order logic CF based on situations (Q5937807) (← links)
- An argument-based approach to reasoning with specificity (Q5958392) (← links)