Pages that link to "Item:Q5277755"
From MaRDI portal
The following pages link to The DLV system for knowledge representation and reasoning (Q5277755):
Displayed 31 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)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- Exploiting functional dependencies in declarative problem specifications (Q1028967) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Outlier detection using default reasoning (Q2389688) (← 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)
- Dealing Automatically with Exceptions by Introducing Specificity in ASP (Q3638184) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← 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)