Answer Set Programming: A Primer
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 5910656 (Why is no real title available?)
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 5079838 (Why is no real title available?)
- scientific article; zbMATH DE number 4147465 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 67490 (Why is no real title available?)
- scientific article; zbMATH DE number 610968 (Why is no real title available?)
- scientific article; zbMATH DE number 741347 (Why is no real title available?)
- scientific article; zbMATH DE number 741348 (Why is no real title available?)
- scientific article; zbMATH DE number 1368933 (Why is no real title available?)
- scientific article; zbMATH DE number 1926645 (Why is no real title available?)
- scientific article; zbMATH DE number 1884395 (Why is no real title available?)
- scientific article; zbMATH DE number 1890628 (Why is no real title available?)
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
- A common view on strong, uniform, and other notions of equivalence in answer-set programming
- A logic for default reasoning
- ASSAT: computing answer sets of a logic program by SAT solvers
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
- Algorithm = logic + control
- Answer set programming and plan generation
- Autoepistemic logic
- Combining answer set programming with description logics for the semantic web
- Complexity results for answer set programming with bounded predicate arities and implications
- Composing Normal Programs with Function Symbols
- Computable Functions in ASP: Theory and Implementation
- Conceptual logic programs
- Conditional Planning with External Functions
- Declarative problem-solving using the DLV system
- Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness
- Description Logics
- Design and implementation of aggregate functions in the DLV system
- Disjunctive logic programs with inheritance
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Engineering an Incremental ASP Solver
- Equilibrium logic
- External sources of knowledge and value invention in logic programming
- Foundations of RDF Databases
- GASP: Answer set programming with lazy grounding
- Guarded hybrid knowledge bases
- HiLog: A foundation for higher-order logic programming
- Integrating grounding in the search process for answer set computing
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic programming and knowledge representation---The A-Prolog perspective
- Logic programming and negation: A survey
- Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings
- Logic programs with stable model semantics as a constraint programming paradigm
- Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
- Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
- Modular nonmonotonic logic programming revisited
- Modular stratification and magic sets for Datalog programs with negation
- Modularity Aspects of Disjunctive Stable Models
- Negation in rule-based database languages: A survey
- On Finitely Recursive Programs
- On the computational cost of disjunctive logic programming: Propositional case
- OntoDLV: An ASP-based System for Enterprise Ontologies
- Open answer set programming for the semantic web
- Probabilistic description logic programs
- Propositional semantics for disjunctive logic programs
- Quantified Equilibrium Logic and Foundations for Answer Set Programs
- Reasoning with infinite stable models
- Semantical characterizations and complexity of equivalences in answer set programming
- Strongly equivalent logic programs
- The DLV system for knowledge representation and reasoning
- The polynomial-time hierarchy
- The well-founded semantics for general logic programs
- Twelve Definitions of a Stable Model
- Well-founded semantics for description logic programs in the semantic web
- Why are there so many loop formulas?
Cited in
(90)- Monotonic Answer Set Programming
- Knowledge representation analysis of graph mining
- Argumentation and answer set programming
- Prolog and ASP inference under one roof
- Methods and methodologies for developing answer-set programs -- project description
- On the relation between SPARQL1.1 and Answer Set Programming
- Answer Set Programming for Single-Player Games in General Game Playing
- A paraconsistent ASP-like language with tractable model generation
- Communicating answer set programs
- Learning answer set programs with aggregates via sampling and genetic programming
- Generic Tableaux for Answer Set Programming
- My work with Victor Marek: a mathematician looks at answer set programming
- The Design of the Sixth Answer Set Programming Competition
- scientific article; zbMATH DE number 1954102 (Why is no real title available?)
- Answer Set Programming: A Declarative Approach to Solving Search Problems
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Explaining answers generated by knowledge graph embeddings
- Better paracoherent answer sets with less resources
- LARS: a logic-based framework for analytic reasoning over streams
- Predicate-calculus-based logics for modeling and solving search problems
- Logics in Artificial Intelligence
- Paracoherent answer set computation
- A multiparametric view on answer set programming
- Rule Induction and Reasoning over Knowledge Graphs
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
- Towards answer set programming with sorts
- The Seventh Answer Set Programming Competition: Design and Results
- Learning Boolean controls in regulated metabolic networks: a case-study
- Languages for probabilistic modeling over structured and relational domains
- Logic programming
- The stable model semantics of Datalog with metric temporal operators
- LOG-IDEAH: ASP for architectonic asset preservation
- Using Answer Set Programming for the Automatic Compilation of Assessment Tests
- scientific article; zbMATH DE number 1884403 (Why is no real title available?)
- Answer set programming made easy
- Anytime answer set optimization via unsatisfiable core shrinking
- The complexity and generality of learning answer set programs
- Answer set; programming?
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- Answer set programming and plan generation
- Logic Programming and Nonmonotonic Reasoning
- A dynamic-programming based ASP-solver
- FOLASP: FO(·) as Input Language for Answer Set Solvers
- Declarative Problem Solving Using Answer Set Semantics
- Inlining external sources in answer set programs
- Hybrid ASP-based approach to pattern mining
- Answer set programming
- Optimum stable model search: algorithms and implementation
- Fixed point semantics for stream reasoning
- Manifold answer-set programs and their applications
- Extensions of answer set programming
- Negation as a resource: a novel view on answer set semantics
- Negation as a resource: a novel view on answer set semantics
- A Tarskian informal semantics for answer set programming
- Incremental answer set programming with overgrounding
- Design and results of the Fifth Answer Set Programming Competition
- On testing answer-set programs
- Answer set programming
- Extensions of answer set programming
- Partial compilation of ASP programs
- ASP-Core-2 input language format
- An Introduction to Answer Set Programming and Some of Its Extensions
- Modeling multi-valued biological interaction networks using fuzzy answer set programming
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Beyond NP: quantifying over answer sets
- Evaluation of disjunctive programs in WASP
- SMS and ASP: Hype or TST?
- d-\( \mathcal{B} \): a language for well-founded deontic planning
- Why this and not that? A logic-based framework for contrastive explanations
- Origins of answer-set programming -- some background and two personal accounts
- Determining inference semantics for disjunctive logic programs
- Backdoors to tractable answer set programming
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Answer set programs with queries over subprograms
- Combining nonmonotonic knowledge bases with external sources
- scientific article; zbMATH DE number 1931683 (Why is no real title available?)
- Solving disjunctive fuzzy answer set programs
- The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference
- Stable model semantics for founded bounds
- Relational data factorization
- GASP: Answer set programming with lazy grounding
- Logic-based learning of answer set programs
- A general method to solve complex problems by combining multiple answer set programs
- Dealing Automatically with Exceptions by Introducing Specificity in ASP
- Analogical proportions
- Answer Set Programming with Resources
- Annotating answer-set programs in LANA
- Complexity results for probabilistic answer set programming
- onlineSPARC: a programming environment for answer set programming
This page was built for publication: Answer Set Programming: A Primer
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3638997)
