Pages that link to "Item:Q1177928"

The following pages link to Semantics of Horn and disjunctive logic programs (Q1177928):

Displaying 4 items.

• Parsing as non-Horn deduction (Q688151) (← links)
• Completeness of hyper-resolution via the semantics of disjunctive logic programs (Q1041788) (← links)
• Modal logics with relative accessibility relations (Q4632287) (← links)
• Temporal disjunctive logic programming (Q5929097) (← links)