Temporal Here and There

DOI10.1007/978-3-319-48758-8_6zbMath1483.68365OpenAlexW2542341040MaRDI QIDQ2835864

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items

Stable Models for Temporal Theories ⋮ Temporal Equilibrium Logic with past operators ⋮ COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Exploring the Jungle of Intuitionistic Temporal Logics ⋮ Time and Gödel: fuzzy temporal reasoning in PSPACE ⋮ The intuitionistic temporal logic of dynamical systems ⋮ Autoepistemic equilibrium logic and epistemic specifications ⋮ Metabolic Pathways as Temporal Logic Programs

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Equilibrium logic
• Bisimulations for temporal logic
• Logic programs with stable model semantics as a constraint programming paradigm
• Temporal Equilibrium Logic: A First Approach
• A denotational semantics for equilibrium logic
• An infinitary encoding of temporal equilibrium logic
• A Characterization of Strong Equivalence for Logic Programs with Variables
• Propositional theories are strongly equivalent to logic programs
• Quantified Equilibrium Logic and Foundations for Answer Set Programs
• Logic and structure.

This page was built for publication: Temporal Here and There