Pages that link to "Item:Q1389599"

The following pages link to Autoepistemic logic of knowledge and beliefs (Q1389599):

Displaying 2 items.

• Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
• On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206) (← links)