The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Guido Sciavicco" ( http://dblp.L3S.de/Authors/Guido_Sciavicco )

URL (Homepage):  https://orcid.org/0000-0002-9221-879X  Author page on DBLP  Author page in RDF  Community of Guido Sciavicco in ASPL-2

Publication years (Num. hits)
2002-2008 (17) 2009-2011 (21) 2012-2014 (22) 2015-2017 (21) 2018-2019 (20)
Publication types (Num. hits)
article(43) inproceedings(57) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 102 publication records. Showing 101 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Fernando Jiménez, Alessia Paoletti, Gracia Sánchez, Guido Sciavicco Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization. Search on Bibsonomy TLT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Fernando Jiménez, Enrico Marzano, Angelo Montanari, Gracia Sánchez, Guido Sciavicco Multiobjective evolutionary feature selection and fuzzy classification of contact centre data. Search on Bibsonomy Expert Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco, Ionel Eduard Stan On coarser interval temporal logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco J48SS: A Novel Decision Tree Approach for the Handling of Sequential and Time Series Data. Search on Bibsonomy Computers The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Fernando Jiménez, Carlos Martínez, Enrico Marzano, José T. Palma, Gracia Sánchez, Guido Sciavicco Multiobjective Evolutionary Feature Selection for Fuzzy Classification. Search on Bibsonomy IEEE Trans. Fuzzy Systems The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals. Search on Bibsonomy Inf. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari 0002 Towards a General Method for Logical Rule Extraction from Time Series. Search on Bibsonomy IWINAC (2) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Johann Gamper, Sophie Pinchinat, Guido Sciavicco (eds.) 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain. Search on Bibsonomy TIME The full citation details ... 2019 DBLP  BibTeX  RDF
1Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan Interval Temporal Logic Decision Tree Learning. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Fernando Jiménez, Enrico Marzano, José Palma 0001, Gracia Sánchez, Guido Sciavicco Towards semi-automatic human performance evaluation: The case study of a contact center. Search on Bibsonomy Intell. Data Anal. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Salih Durhan, Guido Sciavicco An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Willem Conradie, Salih Durhan, Guido Sciavicco An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco On Sub-Propositional Fragments of Modal Logic. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Salih Durhan, Guido Sciavicco An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I). Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fernando Jiménez, Carlos Martínez, Luis Miralles Pechuán, Gracia Sánchez, Guido Sciavicco Multi-Objective Evolutionary Rule-Based Classification with Categorical Data. Search on Bibsonomy Entropy The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Salih Durhan, Guido Sciavicco Allen-like theory of time for tree-like structures. Search on Bibsonomy Inf. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco A Novel Decision Tree Approach for the Handling of Time Series. Search on Bibsonomy MIKE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Gavanelli, Alessandro Passantino, Guido Sciavicco Deciding the Consistency of Branching Time Interval Networks. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco Extracting Interval Temporal Logic Rules: A First Approach. Search on Bibsonomy TIME The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco J48S: A Sequence Classification Approach to Text Analysis Based on Decision Trees. Search on Bibsonomy ICIST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev Horn Fragments of the Halpern-Shoham Interval Temporal Logic. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics. Search on Bibsonomy Multiple-Valued Logic and Soft Computing The full citation details ... 2017 DBLP  BibTeX  RDF
1Fernando Jiménez, Rosalia Jódar, Maria del Pilar Martín, Gracia Sánchez, Guido Sciavicco Unsupervised feature selection for interpretable classification in behavioral assessment of children. Search on Bibsonomy Expert Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fernando Jiménez, Gracia Sánchez, José M. García 0001, Guido Sciavicco, Luis Miralles Pechuán Multi-objective evolutionary feature selection for online sales forecasting. Search on Bibsonomy Neurocomputing The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan Implementation of a Tableau-based Satisfiability Checker for HS3. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Enrico Cominato, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Model Checker for Interval Temporal Logic over Finite Structures. Search on Bibsonomy ICTCS/CILC The full citation details ... 2017 DBLP  BibTeX  RDF
1Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking. Search on Bibsonomy TIME The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco Fast(er) Reasoning in Interval Temporal Logic. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Nicola Gigante, Angelo Montanari, Pietro Sala, Guido Sciavicco Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Valentin Goranko, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases. Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Guido Sciavicco Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014). Search on Bibsonomy Acta Inf. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco On the Expressive Power of Sub-Propositional Fragments of Modal Logic. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco On Sub-Propositional Fragments of Modal Logic. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco On the Complexity of Fragments of Horn Modal Logics. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Guido Sciavicco, Alfredo Burrieza Selected Papers from the 1st Workshop "Logic, Language, and Information". Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2015 DBLP  BibTeX  RDF
1Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco On Coarser Interval Temporal Logics and their Satisfiability Problem. Search on Bibsonomy CAEPIA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures. Search on Bibsonomy LATA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco Undecidability of Chop. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Salih Durhan, Guido Sciavicco Generalizing Allen's Theory of Time to Tree-Like Structures. Search on Bibsonomy TIME The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fernando Jiménez, Enrico Marzano, Gracia Sánchez, Guido Sciavicco, Nicola Vitacolonna Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification. Search on Bibsonomy SSCI The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco The dark side of interval temporal logic: marking the undecidability border. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Guido Sciavicco Report on LPAR 2013. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2014 DBLP  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco A First Study of the Horn Fragment of the Modal Logic of Time Intervals. Search on Bibsonomy CILC The full citation details ... 2014 DBLP  BibTeX  RDF
1Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov DL-Lite and Interval Temporal Logics: a Marriage Proposal. Search on Bibsonomy ECAI The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Metric propositional neighborhood logics on natural numbers. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Isabel Navarrete, Antonio Morales, Guido Sciavicco, M. Antonia Cárdenas Viedma Spatial reasoning with rectangular cardinal relations - The convex tractable subalgebra. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. Search on Bibsonomy LPAR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation. Search on Bibsonomy TABLEAUX The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Fernando Jiménez, Gracia Sánchez, Guido Sciavicco Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms. Search on Bibsonomy FOGA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luca Aceto, Dario Della Monica, Anna Ingólfsdóttir, Angelo Montanari, Guido Sciavicco A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders. Search on Bibsonomy TIME The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers. Search on Bibsonomy J. UCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture Search on Bibsonomy GandALF The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Pietro Sala, Guido Sciavicco On Begins, Meets and before. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco Interval Temporal Logics over Finite Linear Orders: the Complete Picture. Search on Bibsonomy ECAI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints. Search on Bibsonomy ICAART (1) The full citation details ... 2012 DBLP  BibTeX  RDF
1Angelo Montanari, Isabel Navarrete, Guido Sciavicco, Alberto Tonon Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints. Search on Bibsonomy ICAART (Revised Selected Papers) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Salih Durhan, Guido Sciavicco An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders. Search on Bibsonomy TIME The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Philippe Balbiani, Valentin Goranko, Guido Sciavicco Two-sorted Point-Interval Temporal Logics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Guido Sciavicco Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco An Optimal Decision Procedure for MPNL over the Integers Search on Bibsonomy GandALF The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Interval Temporal Logics: a Journey. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 2011 DBLP  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. Search on Bibsonomy LICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Guido Sciavicco On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case. Search on Bibsonomy CAEPIA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders. Search on Bibsonomy TABLEAUX The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT. Search on Bibsonomy TIME The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification. Search on Bibsonomy IJCAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Pietro Sala, Guido Sciavicco Begin, After, and Later: a Maximal Decidable Interval Temporal Logic Search on Bibsonomy GANDALF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco Decidability of the Interval Temporal Logic ABB over the Natural Numbers. Search on Bibsonomy STACS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco A Decidable Spatial Generalization of Metric Interval Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Angelo Montanari, Gabriele Puppis, Pietro Sala, Guido Sciavicco Decidability of the interval temporal logic ABBar over the natural numbers Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Guido Sciavicco, José M. Juárez, Manuel Campos Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study. Search on Bibsonomy IWINAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco A Tableau-Based System for Spatial Reasoning about Directional Relations. Search on Bibsonomy TABLEAUX The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Undecidability of Interval Temporal Logics with the Overlap Modality. Search on Bibsonomy TIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths. Search on Bibsonomy SEFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Antonio Morales, Isabel Navarrete, Guido Sciavicco A new modal logic for reasoning about space: spatial propositional neighborhood logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 03B45
1Davide Bresolin, Angelo Montanari, Guido Sciavicco An Optimal Decision Procedure for Right Propositional Neighborhood Logic. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tableaux-based decision procedures, right propositional neighborhood logic, interval temporal logic
1Suman Roy 0001, Guido Sciavicco Reasoning with 'And Then' and 'While'. Search on Bibsonomy TIME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Antonio Morales, Isabel Navarrete, Guido Sciavicco Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic. Search on Bibsonomy EUROCAST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco On Decidability and Expressiveness of Propositional Interval Neighborhood Logics. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF neighbourhood interval logics, decidability, expressiveness
1Isabel Navarrete, Antonio Morales, Guido Sciavicco Consistency Checking of Basic Cardinal Constraints over Connected Regions. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco Definability and decidability of binary predicates for time granularity. Search on Bibsonomy J. Applied Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Valentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco A general tableau method for propositional interval temporal logics: Theory and implementation. Search on Bibsonomy J. Applied Logic The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Antonio Morales, Guido Sciavicco Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. Search on Bibsonomy TIME The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Valentin Goranko, Angelo Montanari, Guido Sciavicco A Road Map of Interval Temporal Logics and Duration Calculi. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Valentin Goranko, Angelo Montanari, Guido Sciavicco Propositional Interval Neighborhood Temporal Logics. Search on Bibsonomy J. UCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Valentin Goranko, Angelo Montanari, Guido Sciavicco A General Tableau Method for Propositional Interval Temporal Logics. Search on Bibsonomy TABLEAUX The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco Definability and decidability of binary predicates for time granularity. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 101 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license