Equivalence for the \(G_3^\prime\)-stable models semantics
From MaRDI portal
Publication:975880
DOI10.1016/J.JAL.2009.12.001zbMath1192.68660OpenAlexW2023125132MaRDI QIDQ975880
Mauricio Osorio, José Luis Carballido, José Ramón Enrique Arrazola Ramírez
Publication date: 11 June 2010
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jal.2009.12.001
Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17) Paraconsistent logics (03B53)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Argumentation in artificial intelligence
- Formalizing a logic for logic programming
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- On the theory of inconsistent formal systems
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
- Ground Nonmonotonic Modal Logic S5: New Results
- Logics with Common Weak Completions
- Logical Weak Completions of Paraconsistent Logics
- Minimal Logic Programs
- Natural 3-valued logics—characterization and proof theory
- Stable inference as intuitionistic validity
- The well-founded semantics for general logic programs
- Characterizations of the disjunctive stable semantics by partial evaluation
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Characterization of strongly equivalent logic programs in intermediate logics
- Semantics of (disjunctive) logic programs based on partial evaluation
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Strongly equivalent logic programs
- Logic and structure
This page was built for publication: Equivalence for the \(G_3^\prime\)-stable models semantics
