Paraconsistent Stable Semantics for Extended Disjunctive Programs
From MaRDI portal
(Redirected from Publication:4835533)
Recommendations
Cited in
(33)- Interpreting disjunctive logic programs based on a strong sense of disjunction
- Disjunctive logic and semantics of disjunctive logic programs
- Paraconsistent declarative semantics for extended logic programs
- Quasi-classical reasoning in paraconsistent databases
- An encompassing framework for paraconsistent logic programs
- Assumption-based argumentation for extended disjunctive logic programming
- Paracoherent answer set computation
- Determining inference semantics for disjunctive logic programs
- Semi-equilibrium models for paracoherent answer set programs
- Solving problems in the polynomial hierarchy with ASP(Q)
- Semantics for possibilistic disjunctive programs
- Logical foundations and complexity of 4QL, a query language with unrestricted negation
- Modular paracoherent answer sets
- Dependency semantics for sequences of extended logic programs
- Data repair of inconsistent nonmonotonic description logic programs
- scientific article; zbMATH DE number 4213424 (Why is no real title available?)
- scientific article; zbMATH DE number 4026795 (Why is no real title available?)
- scientific article; zbMATH DE number 1269580 (Why is no real title available?)
- On deductive bases for paraconsistent answer set semantics
- Stable-unstable semantics: Beyond NP with normal logic programs
- Stable classes and operator pairs for disjunctive programs
- Paracoherent answer set semantics meets argumentation frameworks
- Better paracoherent answer sets with less resources
- Ordering default theories and nonmonotonic logic programs
- scientific article; zbMATH DE number 970716 (Why is no real title available?)
- Witnesses for Answer Sets of Logic Programs
- Alternating Fixpoint Operator for Hybrid MKNF Knowledge Bases as an Approximator of AFT
- ASP and subset minimality: enumeration, cautious reasoning and MUSes
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
- On logics and semantics for general logic programs
- Human conditional reasoning in answer set programming
- Abstract argumentation and answer set programming: two faces of Nelson's logic
- Equilibrium logic
This page was built for publication: Paraconsistent Stable Semantics for Extended Disjunctive Programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4835533)
