Search results
From MaRDI portal
- Capturing equilibrium models in modal logic 2014-04-24 Paper Combining Equilibrium Logic and Dynamic Logic 2013-10-10 Paper The Modal Logic of Equilibrium Models...10 bytes (20 words) - 02:45, 10 December 2023
- Epistemic Logic Programs 2020-12-13 Paper Temporal logic programs with temporal description logic axioms 2020-06-04 Paper Lower bound founded logic of here-and-there...10 bytes (16 words) - 10:50, 7 October 2023
- theorem prover 2019-01-08 Paper Temporal Equilibrium Logic with past operators 2018-09-12 Paper Temporal equilibrium logic: a survey 2018-08-28 Paper An infinitary...10 bytes (16 words) - 13:01, 7 October 2023
- `eventually' 2019-07-24 Paper Temporal Equilibrium Logic with past operators 2018-09-12 Paper Temporal equilibrium logic: a survey 2018-08-28 Paper An infinitary...10 bytes (16 words) - 10:11, 25 September 2023
- Epistemic Logic Programs 2020-12-13 Paper https://portal.mardi4nfdi.de/entity/Q5116396 2020-08-25 Paper Founded (Auto)Epistemic Equilibrium Logic Satisfies...10 bytes (16 words) - 12:21, 28 January 2024
- 2017-09-05 Paper Capturing equilibrium models in modal logic 2014-04-24 Paper Combining Equilibrium Logic and Dynamic Logic 2013-10-10 Paper...10 bytes (18 words) - 03:35, 25 September 2023
- Paper Temporal Equilibrium Logic with past operators 2018-09-12 Paper Temporal equilibrium logic: a survey 2018-08-28 Paper Temporal logic programs with...10 bytes (16 words) - 13:01, 7 October 2023
- Paper Temporal Equilibrium Logic with past operators 2018-09-12 Paper Temporal equilibrium logic: a survey 2018-08-28 Paper Temporal logic programs with...10 bytes (16 words) - 13:01, 7 October 2023
- Publication Date of Publication Type Temporal Equilibrium Logic: A First Approach 2008-09-02 Paper...10 bytes (18 words) - 03:22, 28 December 2023
- Strategic Logics 2013-11-06 Paper Combining Equilibrium Logic and Dynamic Logic 2013-10-10 Paper Kripke's worlds. An introduction to modal logics via tableaux...10 bytes (17 words) - 21:50, 10 December 2023
- Modal logic with non-deterministic semantics: Part I—Propositional case 2022-06-16 Paper Founded world views with autoepistemic equilibrium logic 2019-10-10...10 bytes (20 words) - 10:53, 6 October 2023
- Publication Date of Publication Type Metric dynamic equilibrium logic 2023-10-30 Paper Metric temporal answer set programming over timed traces 2023-04-04...10 bytes (16 words) - 02:03, 7 October 2023
- Hybrid Knowledge Bases 2011-09-16 Paper Parametrized Equilibrium Logic 2011-05-26 Paper Parametrized Logic Programming 2010-10-01 Paper Behavioral algebraization...10 bytes (17 words) - 15:05, 11 December 2023
- Publication Date of Publication Type Fuzzy Equilibrium Logic 2015-09-17 Paper Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction 2013-07-05...10 bytes (16 words) - 03:19, 25 September 2023
- 2011-11-17 Paper Parametrized Equilibrium Logic 2011-05-26 Paper Transaction Logic with External Actions 2011-05-26 Paper Evolving Logic Programs with Temporal...10 bytes (19 words) - 14:35, 12 December 2023
- 2006-11-01 Paper Logics in Artificial Intelligence 2006-10-25 Paper Logic Programming and Nonmonotonic Reasoning 2006-06-23 Paper Logic for Programming...10 bytes (16 words) - 13:00, 11 December 2023
- Solving Disjunctive Fuzzy Answer Set Programs 2015-11-04 Paper Fuzzy Equilibrium Logic 2015-09-17 Paper Semantics for possibilistic answer set programs: uncertain...10 bytes (17 words) - 03:19, 25 September 2023
- Epistemic Logic Programs 2020-12-13 Paper Temporal logic programs with temporal description logic axioms 2020-06-04 Paper Lower bound founded logic of here-and-there...10 bytes (18 words) - 20:59, 11 December 2023
- Approach to Equilibrium 2000-07-26 Paper Statistical physics. I: Equilibrium statistical mechanics. 1999-11-02 Paper Statistical physics I. Equilibrium statistical...10 bytes (16 words) - 12:17, 28 January 2024
- games: Nash equilibrium and backward induction 2018-11-09 Paper Exploring the gap between perfect Bayesian equilibrium and sequential equilibrium 2018-08-01...10 bytes (16 words) - 15:13, 9 December 2023