The following pages link to (Q2751371):
Displayed 8 items.
- Proof complexity of propositional default logic (Q647339) (← links)
- Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
- Heterogeneous active agents. III: Polynomially implementable agents (Q1978315) (← links)
- Nonmonotonicity in the framework of parametric logic (Q2009771) (← links)
- Model checking multi-agent systems with logic based Petri nets (Q2426108) (← links)
- Proof Complexity of Non-classical Logics (Q5894972) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)
- Explaining updates by minimal sums (Q5958777) (← links)