The SCEAS System
| |||||||

## Search the dblp DataBase
Guido Sciavicco:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Isabel Navarrete, Antonio Morales, Guido Sciavicco
**Consistency Checking of Basic Cardinal Constraints over Connected Regions.**[Citation Graph (0, 0)][DBLP] IJCAI, 2007, pp:495-500 [Conf] - Angelo Montanari, Guido Sciavicco, Nicola Vitacolonna
**Decidability of Interval Temporal Logics over Split-Frames via Granularity.**[Citation Graph (0, 0)][DBLP] JELIA, 2002, pp:259-270 [Conf] - Valentin Goranko, Angelo Montanari, Guido Sciavicco
**A General Tableau Method for Propositional Interval Temporal Logics.**[Citation Graph (0, 0)][DBLP] TABLEAUX, 2003, pp:102-116 [Conf] - Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
**Definability and decidability of binary predicates for time granularity.**[Citation Graph (0, 0)][DBLP] TIME, 2003, pp:192-202 [Conf] - Antonio Morales, Guido Sciavicco
**Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.**[Citation Graph (0, 0)][DBLP] TIME, 2006, pp:50-60 [Conf] - Valentin Goranko, Angelo Montanari, Guido Sciavicco
**A Road Map of Interval Temporal Logics and Duration Calculi.**[Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 2004, v:14, n:1-2, pp:9-54 [Journal] - Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco
**A general tableau method for propositional interval temporal logics: Theory and implementation.**[Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:3, pp:305-330 [Journal] - Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco
**Definability and decidability of binary predicates for time granularity.**[Citation Graph (0, 0)][DBLP] J. Applied Logic, 2006, v:4, n:2, pp:168-191 [Journal] - Valentin Goranko, Angelo Montanari, Guido Sciavicco
**Propositional Interval Neighborhood Temporal Logics.**[Citation Graph (0, 0)][DBLP] J. UCS, 2003, v:9, n:9, pp:1137-1167 [Journal] - Antonio Morales, Isabel Navarrete, Guido Sciavicco
**Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.**[Citation Graph (0, 0)][DBLP] EUROCAST, 2007, pp:313-320 [Conf] - Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco
**On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.**[Citation Graph (0, 0)][DBLP] LFCS, 2007, pp:84-99 [Conf] - Suman Roy, Guido Sciavicco
**Reasoning with 'And Then' and 'While'.**[Citation Graph (0, 0)][DBLP] TIME, 2007, pp:181-188 [Conf] - Davide Bresolin, Angelo Montanari, Guido Sciavicco
**An Optimal Decision Procedure for Right Propositional Neighborhood Logic.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2007, v:38, n:1-3, pp:173-199 [Journal] **Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.**[Citation Graph (, )][DBLP]**Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.**[Citation Graph (, )][DBLP]**Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study.**[Citation Graph (, )][DBLP]**Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.**[Citation Graph (, )][DBLP]**Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.**[Citation Graph (, )][DBLP]**Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.**[Citation Graph (, )][DBLP]**Decidability of the Interval Temporal Logic ABB over the Natural Numbers.**[Citation Graph (, )][DBLP]**A Tableau-Based System for Spatial Reasoning about Directional Relations.**[Citation Graph (, )][DBLP]**Undecidability of Interval Temporal Logics with the Overlap Modality.**[Citation Graph (, )][DBLP]**A new modal logic for reasoning about space: spatial propositional neighborhood logic.**[Citation Graph (, )][DBLP]**Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.**[Citation Graph (, )][DBLP]**Decidability of the interval temporal logic ABBar over the natural numbers**[Citation Graph (, )][DBLP]**Begin, After, and Later: a Maximal Decidable Interval Temporal Logic**[Citation Graph (, )][DBLP]**Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |