Answer Set Programming: A Primer
From MaRDI portal
Publication:3638997
DOI10.1007/978-3-642-03754-2_2zbMath1254.68248OpenAlexW1633347946WikidataQ57549118 ScholiaQ57549118MaRDI QIDQ3638997
Thomas Krennwallner, Giovambattista Ianni, Thomas Eiter
Publication date: 28 October 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-03754-2_2
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Internet topics (68M11)
Related Items
Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version, Solving Disjunctive Fuzzy Answer Set Programs, The Design of the Sixth Answer Set Programming Competition, Learning Boolean controls in regulated metabolic networks: a case-study, Analogical proportions, The complexity and generality of learning answer set programs, LARS: a logic-based framework for analytic reasoning over streams, On the relation between SPARQL1.1 and Answer Set Programming, Anytime answer set optimization via unsatisfiable core shrinking, Better Paracoherent Answer Sets with Less Resources, Partial Compilation of ASP Programs, Incremental Answer Set Programming with Overgrounding, Design and results of the Fifth Answer Set Programming Competition, Rule Induction and Reasoning over Knowledge Graphs, Relational data factorization, The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference, Paracoherent answer set computation, Modeling multi-valued biological interaction networks using fuzzy answer set programming, Determining inference semantics for disjunctive logic programs, Inlining External Sources in Answer Set Programs, Hybrid ASP-based Approach to Pattern Mining, The Seventh Answer Set Programming Competition: Design and Results, Fixed point semantics for stream reasoning, Complexity results for probabilistic answer set programming, Knowledge representation analysis of graph mining, Combining Nonmonotonic Knowledge Bases with External Sources
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Negation in rule-based database languages: A survey
- Reasoning with infinite stable models
- ASSAT: computing answer sets of a logic program by SAT solvers
- Equilibrium logic
- Conceptual logic programs
- Open answer set programming for the semantic web
- Probabilistic description logic programs
- A logic for default reasoning
- The polynomial-time hierarchy
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Logic programming and knowledge representation---The A-Prolog perspective
- Answer set programming and plan generation
- On the computational cost of disjunctive logic programming: Propositional case
- Propositional semantics for disjunctive logic programs
- Logic programs with stable model semantics as a constraint programming paradigm
- Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings
- Combining answer set programming with description logics for the semantic web
- Complexity results for answer set programming with bounded predicate arities and implications
- External sources of knowledge and value invention in logic programming
- Well-founded semantics for description logic programs in the semantic web
- OntoDLV: An ASP-based System for Enterprise Ontologies
- GASP: Answer Set Programming with Lazy Grounding
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
- Guarded hybrid knowledge bases
- Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
- Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
- Design and implementation of aggregate functions in the DLV system
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- On Finitely Recursive Programs
- Description Logics
- Foundations of RDF Databases
- HiLog: A foundation for higher-order logic programming
- Algorithm = logic + control
- Autoepistemic logic
- The well-founded semantics for general logic programs
- Logic programming and negation: A survey
- Modular stratification and magic sets for Datalog programs with negation
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Disjunctive logic programs with inheritance
- Modular Nonmonotonic Logic Programming Revisited
- Logic Programming
- Why are there so many loop formulas?
- The DLV system for knowledge representation and reasoning
- Semantical characterizations and complexity of equivalences in answer set programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Modularity Aspects of Disjunctive Stable Models
- Conditional Planning with External Functions
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
- A common view on strong, uniform, and other notions of equivalence in answer-set programming
- Twelve Definitions of a Stable Model
- Engineering an Incremental ASP Solver
- Computable Functions in ASP: Theory and Implementation
- Composing Normal Programs with Function Symbols
- Quantified Equilibrium Logic and Foundations for Answer Set Programs
- Strongly equivalent logic programs
