Pages that link to "Item:Q5941206"

The following pages link to On the equivalence of the static and disjunctive well-founded semantics and its computation (Q5941206):

Displaying 4 items.

• Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
• Autoepistemic logic of knowledge and beliefs (Q1389599) (← links)
• Partial equilibrium logic (Q2457796) (← links)
• A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)