Pubblicazioni

Autori:

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

Titolo:

Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders

Anno:

2008

Tipologia prodotto:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Lingua:

Inglese

Formato:

A Stampa

Nome rivista:

IR TOP

ISSN Rivista:

2038-1441

N° Volume:

5293

Titolo del Convegno:

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

Luogo:

Dresda, Germania

Periodo:

Settembre-Ottobre 2008

Editore:

Maggioli

Casa editrice:

Maggioli

Intervallo pagine:

62-75

Parole chiave:

Interval Temporal Logic, Tableaux methods, Decidability

Breve descrizione dei contenuti:

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.

Id prodotto:

46975

Handle IRIS:

11562/324323

depositato il:

13 novembre 2012

ultima modifica:

1 dicembre 2022

Citazione bibliografica:

Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco, Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders in «IR TOP» vol. 5293 Maggioli , Atti di "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