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.
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Tractability frontiers of the partner units configuration problem (Q269477) (← links)
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- A core language for fuzzy answer set programming (Q448947) (← links)
- Finding explanations of inconsistency in multi-context systems (Q460632) (← links)
- Practical algorithms for MSO model-checking on tree-decomposable graphs (Q473216) (← links)
- John McCarthy's legacy (Q543573) (← links)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Loop-separable programs and their first-order definability (Q543631) (← links)
- Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results (Q645074) (← links)
- The loop formula based semantics of description logic programs (Q764312) (← links)
- Aggregated fuzzy answer set programming (Q766043) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Combining event calculus and description logic reasoning via logic programming (Q831926) (← links)
- Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules (Q833735) (← 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)
- Design and results of the Fifth Answer Set Programming Competition (Q899444) (← links)
- Extended RDF: computability and complexity issues (Q905991) (← links)
- Expressive power and abstraction in Essence (Q941820) (← links)
- Logic programs with abstract constraint atoms: the role of computations (Q969538) (← links)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- Exploiting functional dependencies in declarative problem specifications (Q1028967) (← links)
- Computing only minimal answers in disjunctive deductive databases (Q1040782) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- What is answer set programming to propositional satisfiability (Q1699519) (← links)
- Relational data factorization (Q1699908) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Magic sets for disjunctive Datalog programs (Q1761296) (← links)
- Equivalence between answer-set programs under (partially) fixed input (Q1783736) (← links)
- Modeling multi-valued biological interaction networks using fuzzy answer set programming (Q1795202) (← links)
- Ontology-based semantic search on the web and its combination with the power of inductive reasoning (Q1928818) (← links)
- Fixed point semantics for stream reasoning (Q2046012) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Answers set programs for non-transferable utility games: expressiveness, complexity and applications (Q2060739) (← links)
- Graph-based construction of minimal models (Q2093381) (← links)
- The delay and window size problems in rule-based stream reasoning (Q2124457) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Rough set reasoning using answer set programs (Q2237125) (← links)
- Why-provenance information for RDF, rules, and negation (Q2248547) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Vicious circle principle, aggregates, and formation of sets in ASP based languages (Q2321320) (← links)
- The dramatic true story of the frame default (Q2341259) (← links)
