Pages that link to "Item:Q1177928"
From MaRDI portal
The following pages link to Semantics of Horn and disjunctive logic programs (Q1177928):
Displaying 14 items.
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Parsing as non-Horn deduction (Q688151) (← links)
- Completeness of hyper-resolution via the semantics of disjunctive logic programs (Q1041788) (← links)
- A fixpoint semantics of Horn sentences based on substitution sets (Q1100934) (← links)
- Horn logic, search and satisfiability. A collection of papers in memory of Robert G. Jeroslow (Q1356203) (← links)
- Static semantics for normal and disjunctive logic programs (Q1924728) (← links)
- On semantics and proof theory of disjunctive logic programs with classical negation (Q2718191) (← links)
- (Q3486859) (← links)
- (Q4040341) (← links)
- (Q4205425) (← links)
- Modal logics with relative accessibility relations (Q4632287) (← links)
- (Q4812982) (← links)
- Logic Based Program Synthesis and Transformation (Q5713940) (← links)
- Temporal disjunctive logic programming (Q5929097) (← links)