Pages that link to "Item:Q1337468"
From MaRDI portal
The following pages link to A three-valued semantics for deductive databases and logic programs (Q1337468):
Displaying 11 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Expressive power and complexity of partial models for disjunctive deductive databases (Q1274974) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Abduction in logic programming: A new definition and an abductive procedure based on rewriting (Q1614866) (← links)
- Three-valued semantics for hybrid MKNF knowledge bases revisited (Q1677437) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Solving logic program conflict through strong and weak forgettings (Q2457621) (← links)
- Oscillating Behavior of Logic Programs (Q2900531) (← links)
- Modular Paracoherent Answer Sets (Q2938513) (← links)
- Characterizations of stable model semantics for logic programs with arbitrary constraint atoms (Q3183130) (← links)
- Characterising and Explaining Inconsistency in Logic Programs (Q3449230) (← links)
