The following pages link to Reasoning with logic programming (Q1923136):
Displayed 11 items.
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Heterogeneous active agents. III: Polynomially implementable agents (Q1978315) (← links)
- Can you answer while you wait? (Q2103911) (← links)
- Preferential theory revision (Q2475428) (← links)
- Epistemology and artificial intelligence (Q2565612) (← links)
- Computing Generalized Specificity (Q3647205) (← links)
- Declarative Representation of Revision Strategies* (Q4443396) (← links)
- Collaborative vs. Conflicting Learning, Evolution and Argumentation (Q5302474) (← 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)
- Reconciling communication delays and negation (Q6164472) (← links)