Publications

Authors:

Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco

Title:

Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders

Year:

2008

Type of item:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Language:

Inglese

Format:

A Stampa

Name of journal:

IR TOP

ISSN of journal:

2038-1441

N° Volume:

5293

Congresso:

JELIA 2008: 11th European Conference on Logics in Artificial Intelligence

Place:

Dresda, Germania

Period:

Settembre-Ottobre 2008

:

Maggioli

Publisher:

Maggioli

Page numbers:

62-75

Keyword:

Interval Temporal Logic, Tableaux methods, Decidability

Short description of contents:

The study of interval temporal logics on linear orders is a meaningful research area in computer science and artificial intelligence. Unfortunately, even when restricted to propositional languages, most interval logics turn out to be undecidable. Decidability has been usually recovered by imposing severe syntactic and/or semantic restrictions. In the last years, tableau-based decision procedures have been obtained for logics of the temporal neighborhood and logics of the subinterval relation over specific classes of temporal structures. In this paper, we develop an optimal NEXPTIME tableau-based decision procedure for the future fragment of Propositional Neighborhood Logic over the whole class of linearly ordered domains.

Product ID:

46975

Handle IRIS:

11562/324323

Deposited On:

November 13, 2012

Last Modified:

December 1, 2022

Bibliographic citation:

Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco, Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders in «IR TOP» vol. 5293 Maggioli , Proceedings of "JELIA 2008: 11th European Conference on Logics in Artificial Intelligence" , Dresda, Germania , Settembre-Ottobre 2008 , 2008 , pp. 62-75

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo