Pages that link to "Item:Q1160497"
From MaRDI portal
The following pages link to An extension to linear resolution with selection function (Q1160497):
Displaying 10 items.
- Semantics of Horn and disjunctive logic programs (Q1177928) (← links)
- Generalized disjunctive well-founded semantics for logic programs. (Q1354026) (← links)
- Clause trees: A tool for understanding and implementing resolution in automated reasoning (Q1402732) (← links)
- Weak generalized closed world assumption (Q1825049) (← links)
- Jack Minker --- A profile (Q1924718) (← links)
- Near-Horn Prolog and the ancestry family of procedures (Q1924724) (← links)
- Complexity analysis of propositional resolution with autarky pruning (Q1961454) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- Another look at graph coloring via propositional satisfiability (Q2467359) (← links)
- Closed world assumption for disjunctive reasoning (Q5959358) (← links)