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 (23) 2020-2021 (26) 2022 (5)
Publication types (Num. hits)
article(54) inproceedings(80) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords

Results
Found 136 publication records. Showing 135 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Andrea Brunello, Enrico Marzano, Angelo Montanari, Guido Sciavicco A combined approach to the analysis of speech conversations in a contact center domain. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Fernando Jiménez, Gracia Sánchez, José Palma 0001, Guido Sciavicco Three-objective constrained evolutionary instance selection for classification: Wrapper and filter approaches. Search on Bibsonomy Eng. Appl. Artif. Intell. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Maddalena Coccagna, Federico Manzella, S. Mazzacane, Giovanni Pagliarini, Guido Sciavicco Statistical and Symbolic Neuroaesthetics Rules Extraction from EEG Signals. Search on Bibsonomy IWINAC (1) The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ionel Eduard Stan, Guido Sciavicco, Emilio Muñoz-Velasco, Giovanni Pagliarini, Mauro Milella, Andrea Paradiso On Modal Logic Association Rule Mining. Search on Bibsonomy ICTCS The full citation details ... 2022 DBLP  BibTeX  RDF
1Giovanni Pagliarini, Simone Scaboro, Giuseppe Serra 0001, Guido Sciavicco, Ionel Eduard Stan Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification. Search on Bibsonomy TIME The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Fernando Jiménez, Estrella Lucena-Sánchez, Gracia Sánchez, Guido Sciavicco Multi-Objective Evolutionary Simultaneous Feature Selection and Outlier Detection for Regression. Search on Bibsonomy IEEE Access The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Giovanni Pagliarini, Guido Sciavicco Decision Tree Learning with Spatial Modal Logics. Search on Bibsonomy GandALF The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Raquel Espinosa, José Palma 0001, Fernando Jiménez, Joanna Kaminska, Guido Sciavicco, Estrella Lucena-Sánchez A time series forecasting based multi-criteria methodology for air quality prediction. Search on Bibsonomy Appl. Soft Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gloria Bonaccorsi, Melchiore Giganti, Maxim Nitsenko, Giovanni Pagliarini, Giacomo Piva, Guido Sciavicco Predicting treatment recommendations in postmenopausal osteoporosis. Search on Bibsonomy J. Biomed. Informatics The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan Feature and Language Selection in Temporal Symbolic Regression for Interpretable Air Quality Modelling. Search on Bibsonomy Algorithms The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Johann Gamper, Sophie Pinchinat, Guido Sciavicco Special Issue - Selected Papers from the 26th International Symposium on Temporal Representation and Reasoning. Search on Bibsonomy Inf. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani Branching interval algebra: An almost complete picture. Search on Bibsonomy Inf. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Guido Sciavicco, Matteo Zavatteri, Tiziano Villa Mining CSTNUDs significant for a set of traces is polynomial. Search on Bibsonomy Inf. Comput. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Elena Marrocchino, Guido Sciavicco, Estrella Lucena-Sánchez, Carmela Vaccaro On Intelligent Fingerprinting of Antique Buildings from Clay Composition. Search on Bibsonomy CITI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Guido Sciavicco, Tiziano Villa, Matteo Zavatteri Mining Temporal Networks: Results and Open Problems. Search on Bibsonomy OVERLAY@GandALF The full citation details ... 2021 DBLP  BibTeX  RDF
1Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan Multi-Frame Modal Symbolic Learning. Search on Bibsonomy OVERLAY@GandALF The full citation details ... 2021 DBLP  BibTeX  RDF
1Federico Manzella, Giovanni Pagliarini, Guido Sciavicco, Ionel Eduard Stan Interval Temporal Random Forests with an Application to COVID-19 Diagnosis. Search on Bibsonomy TIME The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Guido Sciavicco, Ionel Eduard Stan Interval Temporal Logic Decision Tree Learning. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  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 Log. Methods Comput. Sci. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Fernando Chávez-Castrillón, Massimo Coltorti, Roberta Ivaldi, Estrella Lucena-Sánchez, Guido Sciavicco Temporal Aspects of Chlorophyll-a Presence Prediction Around Galapagos Islands. Search on Bibsonomy CITI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Antonella Di Roma, Estrella Lucena-Sánchez, Guido Sciavicco, Carmela Vaccaro Towards Automatic Fingerprinting of Groundwater Aquifers. Search on Bibsonomy CITI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Alessandro Bertagnon, Marco Gavanelli, Guido Sciavicco, Stefano Trevisani On (Maximal, Tractable) Fragments of the Branching Algebra. Search on Bibsonomy CILC The full citation details ... 2020 DBLP  BibTeX  RDF
1Estrella Lucena-Sánchez, Fernando Jiménez, Guido Sciavicco, Joanna Kaminska Simple Versus Composed Temporal Lag Regression with Feature Selection, with an Application to Air Quality Modeling. Search on Bibsonomy EAIS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan Time Series Checking with Fuzzy Interval Temporal Logics. Search on Bibsonomy ICTCS The full citation details ... 2020 DBLP  BibTeX  RDF
1Willem Conradie, Dario Della Monica, Emilio Muñoz-Velasco, Guido Sciavicco An Approach to Fuzzy Modal Logic of Time Intervals. Search on Bibsonomy ECAI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan Symbolic Learning with Interval Temporal Logic: the Case of Regression. Search on Bibsonomy OVERLAY The full citation details ... 2020 DBLP  BibTeX  RDF
1Dario Della Monica, Angelo Montanari, Guido Sciavicco, Ionel Eduard Stan A Note on Ultimately-Periodic Finite Interval Temporal Logic Model Checking. Search on Bibsonomy OVERLAY The full citation details ... 2020 DBLP  BibTeX  RDF
1Alessandro Bertagnon, Marco Gavanelli, Alessandro Passantino, Guido Sciavicco, Stefano Trevisani The Horn Fragment of Branching Algebra. Search on Bibsonomy TIME The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Guido Sciavicco, Ionel Eduard Stan Knowledge Extraction with Interval Temporal Logic Decision Trees. Search on Bibsonomy TIME The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Guido Sciavicco, Matteo Zavatteri, Tiziano Villa Mining Significant Temporal Networks Is Polynomial. Search on Bibsonomy TIME The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Joanna Kaminska, Estrella Lucena-Sánchez, Guido Sciavicco, Ionel Eduard Stan Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling. Search on Bibsonomy RuleML+RR (Supplement) The full citation details ... 2020 DBLP  BibTeX  RDF
1Fernando Jiménez, Alessia Paoletti, Gracia Sánchez, Guido Sciavicco Predicting the Risk of Academic Dropout With Temporal Multi-Objective Optimization. Search on Bibsonomy IEEE Trans. Learn. Technol. 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 Syst. J. Knowl. Eng. 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 Comput. 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 Syst. 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
1Dario Della Monica, Angelo Montanari, Aniello Murano, Guido Sciavicco Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation. Search on Bibsonomy GCAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrea Brunello, Joanna Kaminska, Enrico Marzano, Angelo Montanari, Guido Sciavicco, Tomasz Turek Assessing the Role of Temporal Information in Modelling Short-Term Air Pollution Effects Based on Traffic and Meteorological Conditions: A Case Study in Wrocław. Search on Bibsonomy ADBIS (Short Papers and Workshops) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Estrella Lucena-Sánchez, Emilio Muñoz-Velasco, Guido Sciavicco, Ionel Eduard Stan, Alessandro Vaccari 0002 Towards Interval Temporal Logic Rule-Based Classification. Search on Bibsonomy OVERLAY@AI*IA The full citation details ... 2019 DBLP  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 Log. Methods Comput. Sci. 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 Log. Methods Comput. Sci. 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 J. Multiple Valued Log. Soft Comput. 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 Syst. J. Knowl. Eng. 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 Informatica 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 Informatica 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 Bull. 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 Bull. 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 Softw. Syst. Model. 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. Univers. 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 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 Electron. 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 Electron. 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
Displaying result #1 - #100 of 135 (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