#### Filter Results:

- Full text PDF available (29)

#### Publication Year

2008

2017

- This year (7)
- Last 5 years (21)
- Last 10 years (42)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

Interval temporal logics are based on temporal structures where time intervals, rather than time instants, are the primitive ontological entities. They employ modal operators corresponding to variousâ€¦ (More)

- Dario Della Monica, Margherita Napoli, Mimmo Parente
- Electr. Notes Theor. Comput. Sci.
- 2011

Alternating-time Temporal Logic (ATL) and Coalition Logic (CL) are well-established logical formalisms particularly suitable to model games between dynamic coalitions of agents (like e.g. the systemâ€¦ (More)

Interval temporal logics provide a natural framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive ontological entities.â€¦ (More)

- Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
- Annals of Mathematics and Artificial Intelligence
- 2013

Unlike the Moon, the dark side of interval temporal logics is the one we usually see: their ubiquitous undecidability. Identifying minimal undecidable interval logics is thus a natural and importantâ€¦ (More)

Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entities and truth of formulae isâ€¦ (More)

- Dario Della Monica, Margherita Napoli, Mimmo Parente
- GandALF
- 2013

Verification of multi-agents systems (MAS) has received much attention within the computer science community over the past ten years. In this scenario, systems are naturally modelled as game arenas.â€¦ (More)

- Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
- 2011 Eighteenth International Symposium onâ€¦
- 2011

Unlike the Moon, the dark side of interval temporal logics is the one we usually see: their ubiquitous undesirability. Identifying minimal undecidable interval logics is thus a natural and importantâ€¦ (More)

- Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
- Bulletin of the EATCS
- 2011

We discuss a family of modal logics for reasoning about relational structures of intervals over (usually) linear orders, with modal operators associated with the various binary relations between suchâ€¦ (More)

- Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
- 2009 16th International Symposium on Temporalâ€¦
- 2009

We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these fragments areâ€¦ (More)

- Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco
- Software & Systems Modeling
- 2011

Interval logics formalize temporal reasoning on interval structures over linearly (or partially) ordered domains, where time intervals are the primitive ontological entities and truth of formulae isâ€¦ (More)