The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Guido Sciavicco: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. Suman Roy, Guido Sciavicco
    Reasoning with 'And Then' and 'While'. [Citation Graph (0, 0)][DBLP]
    TIME, 2007, pp:181-188 [Conf]
  13. 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]

  14. Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. [Citation Graph (, )][DBLP]


  15. Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. [Citation Graph (, )][DBLP]


  16. Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study. [Citation Graph (, )][DBLP]


  17. Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. [Citation Graph (, )][DBLP]


  18. Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. [Citation Graph (, )][DBLP]


  19. Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. [Citation Graph (, )][DBLP]


  20. Decidability of the Interval Temporal Logic ABB over the Natural Numbers. [Citation Graph (, )][DBLP]


  21. A Tableau-Based System for Spatial Reasoning about Directional Relations. [Citation Graph (, )][DBLP]


  22. Undecidability of Interval Temporal Logics with the Overlap Modality. [Citation Graph (, )][DBLP]


  23. A new modal logic for reasoning about space: spatial propositional neighborhood logic. [Citation Graph (, )][DBLP]


  24. Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. [Citation Graph (, )][DBLP]


  25. Decidability of the interval temporal logic ABBar over the natural numbers [Citation Graph (, )][DBLP]


  26. Begin, After, and Later: a Maximal Decidable Interval Temporal Logic [Citation Graph (, )][DBLP]


  27. Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002