On coarser interval temporal logics

, , , &
Artificial Intelligence 266 (C):1-26 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2018.09.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Temporal belief logics for modelling distributed artificial intelligence systems.Michael Wooldridge - 1996 - In N. Jennings & G. O'Hare (eds.), Foundations of Distributed Artificial Intelligence. Wiley. pp. 269--286.
Combining interval-based temporal reasoning with general TBoxes.Carsten Lutz - 2004 - Artificial Intelligence 152 (2):235-274.
Temporal logics in AI: Semantical and ontological considerations.Yoav Shoham - 1987 - Artificial Intelligence 33 (1):89-104.
Event calculus and temporal action logics compared.Erik T. Mueller - 2006 - Artificial Intelligence 170 (11):1017-1029.
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets.Vadim Bulitko & David C. Wilkins - 2003 - Artificial Intelligence 144 (1-2):95-124.
Extending a temporal defeasible argumentation framework with possibilistic weights.Lluís Godo, Enrico Marchioni & Pere Pardo - 2012 - In Luis Farinas del Cerro, Andreas Herzig & Jerome Mengin (eds.), Logics in Artificial Intelligence. Springer. pp. 242--254.
Using temporal logics to express search control knowledge for planning.Fahiem Bacchus & Froduald Kabanza - 2000 - Artificial Intelligence 116 (1-2):123-191.
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.John Grant, Francesco Parisi, Austin Parker & V. S. Subrahmanian - 2010 - Artificial Intelligence 174 (1):72-104.
Foreword.Valentin Goranko & Angelo Montanari - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):7-8.
Relational dual tableaux for interval temporal logics.David Bresolin, Joanna Golinska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):251–277.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,485,580)

6 months
2 (#1,259,876)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Emilio Muñoz-Velasco
Universidad de Málaga

Citations of this work

No citations found.

Add more citations

References found in this work

Expressiveness and completeness of an interval tense logic.Yde Venema - 1990 - Notre Dame Journal of Formal Logic 31 (4):529-547.
Temporal prepositions and their logic.Ian Pratt-Hartmann - 2005 - Artificial Intelligence 166 (1-2):1-36.

Add more references