Witnesses for Answer Sets of Logic Programs
From MaRDI portal
Publication:5886522
DOI10.1145/3568955OpenAlexW4306873650WikidataQ130807587 ScholiaQ130807587MaRDI QIDQ5886522FDOQ5886522
Authors: Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin 
Publication date: 5 April 2023
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3568955
Recommendations
- A characterization of answer sets for logic programs
- Justifications for Logic Programs Under Answer Set Semantics
- Justifications for logic programs under answer set semantics
- A theory of observables for logic programs
- scientific article; zbMATH DE number 6536279
- Answer sets for logic programs with arbitrary abstract constraint atoms
- Answer set programming in intuitionistic logic
- The witness properties and the semantics of the Prolog cut
- Logic Programming and Nonmonotonic Reasoning
- Observable behaviors and equivalences of logic programs
Cites Work
- Multi-shot ASP solving with clingo
- PySAT: a Python toolkit for prototyping with SAT oracles
- \textsc{lp2normal} -- a normalization tool for extended logic programs
- The complexity of facets resolved
- The complexity of selecting maximal solutions
- On the computational cost of disjunctive logic programming: Propositional case
- Propositional semantics for disjunctive logic programs
- Nested expressions in logic programs
- Semi-equilibrium models for paracoherent answer set programs
- On the query complexity of selecting minimal sets for monotone predicates
- Title not available (Why is that?)
- Paraconsistent Stable Semantics for Extended Disjunctive Programs
- Fast, flexible MUS enumeration
- Conflict-driven answer set solving: from theory to practice
- The Semantics of Predicate Logic as a Programming Language
- Many hard examples for resolution
- Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
- The intractability of resolution
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Catching the Ouroboros: on debugging non-ground answer-set programs
- A formal theory of justifications
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
- Causal graph justifications of logic programs
- Title not available (Why is that?)
- A logic of knowledge and justified assumption
- Explanation in artificial intelligence: insights from the social sciences
- On finding short resolution refutations and small unsatisfiable subsets
- Logic for Programming, Artificial Intelligence, and Reasoning
- Justifying answer sets using argumentation
- Logic programs with abstract constraint atoms: the role of computations
- Logic Programming and Nonmonotonic Reasoning
- Title not available (Why is that?)
- Debugging non-ground ASP programs with choice rules, cardinality and weight constraints
- Title not available (Why is that?)
- Generating explanations for biomedical queries
- ASP-Core-2 input language format
- A survey on the explainability of supervised machine learning
- Debugging non-ground ASP programs: technique and graphical tools
- Title not available (Why is that?)
- The External Interface for Extending WASP
- Determining inference semantics for disjunctive logic programs
- Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18--24, 2020
- Modular construction of minimal models
- Justifications for logic programs under answer set semantics
- Stepwise debugging of answer-set programs
- Inconsistency proofs for ASP: the ASP-DRUPE format
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Justifications for programs with disjunctive and causal-choice rules
- Unifying justifications and debugging for answer-set programs
- Theory and Applications of Satisfiability Testing
- Unsatisfiable core analysis and aggregates for optimum stable model search
- A logical theory of causality
Cited In (2)
Uses Software
This page was built for publication: Witnesses for Answer Sets of Logic Programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5886522)
