Temporal here and there
From MaRDI portal
Publication:2835864
DOI10.1007/978-3-319-48758-8_6zbMATH Open1483.68365OpenAlexW2542341040MaRDI QIDQ2835864FDOQ2835864
Authors: Philippe Balbiani, Martín Diéguez 
Publication date: 30 November 2016
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://oatao.univ-toulouse.fr/19195/1/balbiani_19195.pdf
Recommendations
Cites Work
- Quantified Equilibrium Logic and Foundations for Answer Set Programs
- Equilibrium logic
- Logic programs with stable model semantics as a constraint programming paradigm
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Characterization of Strong Equivalence for Logic Programs with Variables
- Title not available (Why is that?)
- Logic and structure.
- Propositional theories are strongly equivalent to logic programs
- Bisimulations for temporal logic
- Temporal Equilibrium Logic: A First Approach
- A denotational semantics for equilibrium logic
- An infinitary encoding of temporal equilibrium logic
Cited In (11)
- Stable Models for Temporal Theories
- Exploring the Jungle of Intuitionistic Temporal Logics
- Here and there modal logic with dual implication
- Setting the basis for here and there modal logics
- Autoepistemic equilibrium logic and epistemic specifications
- The intuitionistic temporal logic of dynamical systems
- Temporal equilibrium logic with past operators
- Time and Gödel: fuzzy temporal reasoning in PSPACE
- Gödel-Dummett linear temporal logic
- Complete intuitionistic temporal logics for topological dynamics
- Metabolic pathways as temporal logic programs
This page was built for publication: Temporal here and there
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2835864)
