Pages that link to "Item:Q5277755"
From MaRDI portal
The following pages link to The DLV system for knowledge representation and reasoning (Q5277755):
Displayed 23 items.
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Equilibrium logic (Q854969) (← links)
- Possibilistic uncertainty handling for answer set programming (Q854974) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Magic Sets and their application to data integration (Q882436) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- Causes and explanations in the structural-model approach: Tractable cases (Q2457624) (← links)
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols (Q3498490) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- Automata and Answer Set Programming (Q3605538) (← links)
- Probabilistic reasoning with answer sets (Q3612603) (← links)
- Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets (Q5445291) (← links)
- Experimenting with recursive queries in database and logic programming systems (Q5451970) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)
- Detecting Inconsistencies in Large Biological Networks with Answer Set Programming (Q5504653) (← links)
- Computable Functions in ASP: Theory and Implementation (Q5504670) (← links)
- Program Correspondence under the Answer-Set Semantics: The Non-ground Case (Q5504682) (← links)
- Safe Formulas in the General Theory of Stable Models (Preliminary Report) (Q5504689) (← links)
- Normal Form Nested Programs (Q5900402) (← links)