Equilibrium logic
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1612562 (Why is no real title available?)
- scientific article; zbMATH DE number 1696829 (Why is no real title available?)
- scientific article; zbMATH DE number 4016857 (Why is no real title available?)
- scientific article; zbMATH DE number 3821696 (Why is no real title available?)
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 25192 (Why is no real title available?)
- scientific article; zbMATH DE number 3557754 (Why is no real title available?)
- scientific article; zbMATH DE number 3609636 (Why is no real title available?)
- scientific article; zbMATH DE number 559756 (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 1028819 (Why is no real title available?)
- scientific article; zbMATH DE number 1531964 (Why is no real title available?)
- scientific article; zbMATH DE number 1759254 (Why is no real title available?)
- scientific article; zbMATH DE number 2085248 (Why is no real title available?)
- scientific article; zbMATH DE number 1884383 (Why is no real title available?)
- scientific article; zbMATH DE number 2090116 (Why is no real title available?)
- scientific article; zbMATH DE number 2090542 (Why is no real title available?)
- scientific article; zbMATH DE number 3250542 (Why is no real title available?)
- scientific article; zbMATH DE number 3053708 (Why is no real title available?)
- A first order nonmonotonic extension of constructive logic
- A logical analysis of modules in logic programming
- ASSAT: computing answer sets of a logic program by SAT solvers
- Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
- Characterization of strongly equivalent logic programs in intermediate logics
- Clausal intuitionistic logic I. fixed-point semantics
- Combining negation as failure and embedded implications in logic programs
- Constructible falsity
- Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics
- Extending and implementing the stable model semantics
- From here to there: Stable negation in logic programming
- Inductive Logic Programming
- Intuitionistic logic with strong negation
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Logic Programming
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logic programming and reasoning with incomplete information
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Logics in Artificial Intelligence
- Nested expressions in logic programs
- Nonmonotonic reasoning, preferential models and cumulative logics
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On extensions of intermediate logics by strong negation
- On the Logic and Computation of Partial Equilibrium Models
- On the computational cost of disjunctive logic programming: Propositional case
- Paraconsistent Stable Semantics for Extended Disjunctive Programs
- Reasoning about effects of concurrent actions
- Resolution for quantified Boolean formulas
- Safe beliefs for propositional theories
- Satisfiability in many-valued sentential logic is NP-complete
- Stable inference as intuitionistic validity
- Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach
- Strong equivalence made easy: nested expressions and weight constraints
- Strongly equivalent logic programs
- The DLV system for knowledge representation and reasoning
- Using clausal deductive databases for defining semantics in disjunctive deductive databases
- Weight constraints as nested expressions
Cited in
(75)- Probabilistic autoepistemic equilibrium logic
- Distribution of the equilibrium logic formulas in classical logic metric space
- Deontic equilibrium logic with explicit negation
- Refining the semantics of epistemic specifications
- Abstraction for non-ground answer set programs
- Answer set programming made easy
- A unifying approach for nonmonotonic S4F, (reflexive) autoepistemic logic, and answer set programming
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
- A new logical characterisation of stable models and answer sets
- scientific article; zbMATH DE number 7453121 (Why is no real title available?)
- Justifications for programs with disjunctive and causal-choice rules
- Gödel-Dummett linear temporal logic
- An infinitary encoding of temporal equilibrium logic
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- Interpolable formulas in equilibrium logic and answer set programming
- Default Negation as Explicit Negation plus Update
- Better paracoherent answer sets with less resources
- Fuzzy equilibrium logic: declarative problem solving in continuous domains
- A first order nonmonotonic extension of constructive logic
- Autoepistemic answer set programming
- Modular paracoherent answer sets
- selp: a single-shot epistemic logic program solver
- Causal Logic Programming
- To Vladimir Lifschitz on His 65th Birthday
- A map of dependencies among three-valued logics
- Deriving conclusions from non-monotonic cause-effect relations
- Temporal here and there
- Equivalence of defeasible normative systems
- Contingency-based equilibrium logic
- LARS: a logic-based framework for analytic reasoning over streams
- Well-Founded and Partial Stable Semantics Logical Aspects
- Three-valued logics for incomplete information and epistemic logic
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- Evaluating epistemic negation in answer set programming
- Synonymous theories and knowledge representations in answer set programming
- From answer set logic programming to circumscription via logic of GK
- First-order Answer Set Programming as Constructive Proof Search
- Partial equilibrium logic
- Logics in Artificial Intelligence
- Quantified Equilibrium Logic and Foundations for Answer Set Programs
- The infinite-valued semantics: overview, recent results and future directions
- Autoepistemic equilibrium logic and epistemic specifications
- Answer set programming in intuitionistic logic
- Answer Set Programming: A Primer
- Logics in Artificial Intelligence
- Logic programming as classical inference
- Temporal equilibrium logic: a survey
- Forgetting auxiliary atoms in forks
- Semi-equilibrium models for paracoherent answer set programs
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information
- Causal graph justifications of logic programs
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty
- Gelfond-Zhang aggregates as propositional formulas
- Temporal logic programs with variables
- Paracoherent answer set computation
- FLP answer set semantics without circular justifications for general logic programs
- scientific article; zbMATH DE number 2085248 (Why is no real title available?)
- Algebraic semantics for modal and superintuitionistic non-monotonic logics
- On the expressiveness of temporal equilibrium logic
- Model-based recasting in answer-set programming
- Parametrized equilibrium logic
- Stable reasoning
- Determining inference semantics for disjunctive logic programs
- Combining equilibrium logic and dynamic logic
- Stability, supportedness, minimality and Kleene answer set programs
- Foreword
- scientific article; zbMATH DE number 1612562 (Why is no real title available?)
- scientific article; zbMATH DE number 1696829 (Why is no real title available?)
- Here and there among logics for logic programming
- Applying visible strong equivalence in answer-set program transformations
- Contextual hypotheses and semantics of logic programs
- Characterising equilibrium logic and nested logic programs: Reductions and complexity,
- A denotational semantics for equilibrium logic
- Logic Programming and Nonmonotonic Reasoning
- Cumulativity Tailored for Nonmonotonic Reasoning
This page was built for publication: Equilibrium logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q854969)
