The following pages link to (Q4332412):
Displaying 5 items.
- Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
- Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
- Incremental computation for structured argumentation over dynamic DeLP knowledge bases (Q2238730) (← links)
- Belief, provability, and logic programs (Q4835514) (← links)
- Strong and explicit negation in non-monotonic reasoning and logic programming (Q5236430) (← links)
