Pages that link to "Item:Q5277755"
From MaRDI portal
The following pages link to The DLV system for knowledge representation and reasoning (Q5277755):
Displaying 50 items.
- Methods for solving reasoning problems in abstract argumentation -- a survey (Q2341832) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Using possibilistic logic for modeling qualitative decision: answer set programming algorithms (Q2353982) (← links)
- Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions (Q2353984) (← 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)
- Lpopt: a rule optimization tool for answer set programming (Q2409731) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- Automated reformulation of specifications by safe delay of constraints (Q2457622) (← links)
- Causes and explanations in the structural-model approach: Tractable cases (Q2457624) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Many-valued dynamic object-oriented inheritance and approximations (Q2670890) (← links)
- Optimising business process discovery using answer set programming (Q2694620) (← links)
- Declarative problem-solving using the DLV system (Q2734932) (← links)
- Writing Declarative Specifications for Clauses (Q2835876) (← links)
- Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs (Q2835899) (← links)
- On elementary loops of logic programs (Q2884258) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- Declarative Distributed Computing (Q2900541) (← links)
- Team-building with answer set programming in the Gioia-Tauro seaport (Q2909524) (← links)
- Inconsistency Management for Traffic Regulations: Formalization and Complexity Results (Q2915061) (← links)
- Vicious Circle Principle and Logic Programs with Aggregates (Q2931266) (← links)
- Anytime Computation of Cautious Consequences in Answer Set Programming (Q2931278) (← links)
- Improving the Normalization of Weight Rules in Answer Set Programs (Q2938492) (← links)
- Learning Through Hypothesis Refinement Using Answer Set Programming (Q2943878) (← links)
- Complex optimization in answer set programming (Q3087462) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265) (← links)
- On the complexity of identifying head-elementary-set-free programs (Q3400962) (← links)
- Advances in WASP (Q3449189) (← links)
- Implementing Preferences with asprin (Q3449201) (← links)
- Progress in clasp Series 3 (Q3449220) (← links)
- Multi-level Algorithm Selection for ASP (Q3449227) (← links)
- Solving Disjunctive Fuzzy Answer Set Programs (Q3449229) (← links)
- Characterising and Explaining Inconsistency in Logic Programs (Q3449230) (← links)
- The Design of the Sixth Answer Set Programming Competition (Q3449235) (← links)
- Contextual Data Tailoring Using ASP (Q3458156) (← links)
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols (Q3498490) (← links)
- Implementing Prioritized Circumscription by Computing Disjunctive Stable Models (Q3534658) (← links)
- atalog: A logic language for expressing search and optimization problems (Q3550912) (← links)
- A program-level approach to revising logic programs under the answer set semantics (Q3585168) (← links)
- Testing and debugging techniques for answer set solver development (Q3585183) (← 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)
