The following pages link to Reasoning with logic programming (Q1923136):
Displaying 14 items.
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Reasoning with logical bilattices (Q1919988) (← 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)
- Knowledge Representation and Non-monotonic Reasoning (Q3578392) (← links)
- Computing Generalized Specificity (Q3647205) (← links)
- (Q3761668) (← links)
- (Q3983044) (← 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)