The following pages link to Equilibrium logic (Q854969):
Displaying 50 items.
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion (Q465578) (← links)
- A map of dependencies among three-valued logics (Q497633) (← links)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Logic programming as classical inference (Q898781) (← links)
- LARS: a logic-based framework for analytic reasoning over streams (Q1648076) (← links)
- Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty (Q1677438) (← links)
- Answer set programming in intuitionistic logic (Q1688962) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Paracoherent answer set computation (Q2238696) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Autoepistemic equilibrium logic and epistemic specifications (Q2307335) (← links)
- Forgetting auxiliary atoms in forks (Q2321342) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- Partial equilibrium logic (Q2457796) (← links)
- A tableau calculus for equilibrium entailment (Q2721207) (← links)
- Computing equilibrium models using signed formulas (Q2767096) (← links)
- Temporal Here and There (Q2835864) (← links)
- On the Expressiveness of Temporal Equilibrium Logic (Q2835869) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- Here and There among Logics for Logic Programming (Q2900511) (← links)
- Causal Logic Programming (Q2900512) (← links)
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs (Q2900518) (← links)
- Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532) (← links)
- Three-Valued Logics for Incomplete Information and Epistemic Logic (Q2915066) (← links)
- Causal Graph Justifications of Logic Programs (Q2931267) (← links)
- Modular Paracoherent Answer Sets (Q2938513) (← links)
- Fuzzy Equilibrium Logic (Q2946682) (← links)
- Characterising equilibrium logic and nested logic programs: Reductions and complexity, (Q3181745) (← links)
- Well-Founded and Partial Stable Semantics Logical Aspects (Q3392936) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- First-order Answer Set Programming as Constructive Proof Search (Q4559822) (← links)
- Temporal equilibrium logic: a survey (Q4583305) (← links)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Algebraic semantics for modal and superintuitionistic non-monotonic logics (Q4583313) (← links)
- The infinite-valued semantics: overview, recent results and future directions (Q4583316) (← links)
- A modal theorem-preserving translation of a class of three-valued logics of incomplete information (Q4583322) (← links)
- Stable reasoning (Q4586232) (← links)
- A denotational semantics for equilibrium logic (Q4593002) (← links)
- An infinitary encoding of temporal equilibrium logic (Q4593006) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
- Deriving conclusions from non-monotonic cause-effect relations (Q4593049) (← links)
- Temporal logic programs with variables (Q4593085) (← links)
- Contextual hypotheses and semantics of logic programs (Q4897703) (← links)
- selp: <i>A Single-Shot Epistemic Logic Program Solver</i> (Q4957201) (← links)
- A Unifying Approach for Nonmonotonic S4F, (Reflexive) Autoepistemic Logic, and Answer Set Programming (Q4988944) (← links)
