Equilibrium logic

DOI10.1007/s10472-006-9028-zzbMath1117.03039OpenAlexW2914398864MaRDI QIDQ854969

Publication date: 20 December 2006

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-006-9028-z

zbMATH Keywords

logic programming intermediate logics answer set programming equilibrium logic strong negation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Logic programming (68N17) Intermediate logics (03B55)

Related Items

Evaluating epistemic negation in answer set programming, To Vladimir Lifschitz on His 65th Birthday, Here and There among Logics for Logic Programming, Causal Logic Programming, Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs, Applying Visible Strong Equivalence in Answer-Set Program Transformations, Default Negation as Explicit Negation plus Update, Characterising equilibrium logic and nested logic programs: Reductions and complexity,, Three-Valued Logics for Incomplete Information and Epistemic Logic, LARS: a logic-based framework for analytic reasoning over streams, First-order Answer Set Programming as Constructive Proof Search, Causal Graph Justifications of Logic Programs, Modular Paracoherent Answer Sets, Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, Temporal equilibrium logic: a survey, Equivalence of defeasible normative systems, Model-based recasting in answer-set programming, Algebraic semantics for modal and superintuitionistic non-monotonic logics, The infinite-valued semantics: overview, recent results and future directions, A modal theorem-preserving translation of a class of three-valued logics of incomplete information, Stable reasoning, Answer set programming in intuitionistic logic, A denotational semantics for equilibrium logic, An infinitary encoding of temporal equilibrium logic, Justifications for programs with disjunctive and causal-choice rules, Deriving conclusions from non-monotonic cause-effect relations, Temporal logic programs with variables, Better Paracoherent Answer Sets with Less Resources, Synonymous theories and knowledge representations in answer set programming, Logic programming as classical inference, Answer set programming made easy, Unnamed Item, Editorial: Weighted logics for artificial intelligence -- an introductory discussion, FLP answer set semantics without circular justifications for general logic programs, Partial equilibrium logic, Contextual hypotheses and semantics of logic programs, A map of dependencies among three-valued logics, Paracoherent answer set computation, Cumulativity Tailored for Nonmonotonic Reasoning, Stability, Supportedness, Minimality and Kleene Answer Set Programs, Determining inference semantics for disjunctive logic programs, selp: A Single-Shot Epistemic Logic Program Solver, Autoepistemic answer set programming, Abstraction for non-ground answer set programs, Gelfond-Zhang aggregates as propositional formulas, Autoepistemic equilibrium logic and epistemic specifications, Answer Set Programming: A Primer, Well-Founded and Partial Stable Semantics Logical Aspects, Temporal Here and There, On the Expressiveness of Temporal Equilibrium Logic, A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming, Forgetting auxiliary atoms in forks, Quantified Equilibrium Logic and Foundations for Answer Set Programs, Semi-equilibrium models for paracoherent answer set programs

Uses Software

Cites Work