Guido Sciavicco

According to our database1, Guido Sciavicco
  • authored at least 81 papers between 2002 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Horn Fragments of the Halpern-Shoham Interval Temporal Logic.
ACM Trans. Comput. Log., 2017

Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics.
Multiple-Valued Logic and Soft Computing, 2017

Multi-objective evolutionary feature selection for online sales forecasting.
Neurocomputing, 2017

Unsupervised feature selection for interpretable classification in behavioral assessment of children.
Expert Systems, 2017

Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Implementation of a Tableau-based Satisfiability Checker for HS3.
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

A Model Checker for Interval Temporal Logic over Finite Structures.
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

Fast(er) Reasoning in Interval Temporal Logic.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2016
On Sub-Propositional Fragments of Modal Logic.
CoRR, 2016

On the Expressive Power of Sub-Propositional Fragments of Modal Logic.
Proceedings of the Seventh International Symposium on Games, 2016

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).
CoRR, 2016

Special issue: selected papers from the 21st international symposium on temporal representations and reasoning (TIME-2014).
Acta Inf., 2016

A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases.
Acta Inf., 2016

On the Complexity of Fragments of Horn Modal Logics.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

2015
Selected Papers from the 1st Workshop "Logic, Language, and Information".
Bulletin of the EATCS, 2015

Undecidability of Chop.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Generalizing Allen's Theory of Time to Tree-Like Structures.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Attribute Selection Via Multi-Objective Evolutionary Computation Applied to Multi-Skill Contact Center Data Classification.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2015

On the Complexity of Fragments of the Modal Logic of Allen's Relations over Dense Structures.
Proceedings of the Language and Automata Theory and Applications, 2015

On Coarser Interval Temporal Logics and their Satisfiability Problem.
Proceedings of the Advances in Artificial Intelligence, 2015

2014
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity.
Theor. Comput. Sci., 2014

Report on LPAR 2013.
Bulletin of the EATCS, 2014

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT.
Ann. Math. Artif. Intell., 2014

The dark side of interval temporal logic: marking the undecidability border.
Ann. Math. Artif. Intell., 2014

Sub-propositional Fragments of the Interval Temporal Logic of Allen's Relations.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

DL-Lite and Interval Temporal Logics: a Marriage Proposal.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

A First Study of the Horn Fragment of the Modal Logic of Time Intervals.
Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013
Optimal decision procedures for MPNL over finite structures, the natural numbers, and the integers.
Theor. Comput. Sci., 2013

Metric propositional neighborhood logics on natural numbers.
Software and System Modeling, 2013

Spatial reasoning with rectangular cardinal relations - The convex tractable subalgebra.
Ann. Math. Artif. Intell., 2013

A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Finite satisfiability of propositional interval logic formulas with multi-objective evolutionary algorithms.
Proceedings of the Foundations of Genetic Algorithms XII, 2013

2012
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.
J. UCS, 2012

On Begins, Meets and before.
Int. J. Found. Comput. Sci., 2012

Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Proceedings of the Proceedings Third International Symposium on Games, 2012

An Integrated First-Order Theory of Points and Intervals: Expressive Power in the Class of All Linear Orders.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Efficient Spatial Reasoning with Rectangular Cardinal Relations and Metric Constraints.
Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012

A Tractable Formalism for Combining Rectangular Cardinal Relations with Metric Constraints.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Interval Temporal Logics over Finite Linear Orders: the Complete Picture.
Proceedings of the ECAI 2012, 2012

2011
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders.
Electr. Notes Theor. Comput. Sci., 2011

Two-sorted Point-Interval Temporal Logics.
Electr. Notes Theor. Comput. Sci., 2011

Interval Temporal Logics: a Journey.
Bulletin of the EATCS, 2011

An Optimal Decision Procedure for MPNL over the Integers
Proceedings of Second International Symposium on Games, 2011

The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL.
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

Expressiveness of the Interval Logics of Allen's Relations on the Class of All Linear Orders: Complete Classification.
Proceedings of the IJCAI 2011, 2011

On the Expressive Power of First Order-Logic Extended with Allen's Relations in the Strict Case.
Proceedings of the Advances in Artificial Intelligence, 2011

2010
Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.
Electr. Notes Theor. Comput. Sci., 2010

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic
Proceedings of the Proceedings First Symposium on Games, 2010

A Decidable Spatial Generalization of Metric Interval Temporal Logic.
Proceedings of the TIME 2010, 2010

Decidability of the Interval Temporal Logic ABB over the Natural Numbers.
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.
Proceedings of the ECAI 2010, 2010

2009
Decidability of the interval temporal logic ABBar over the natural numbers
CoRR, 2009

Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions.
Ann. Pure Appl. Logic, 2009

Undecidability of Interval Temporal Logics with the Overlap Modality.
Proceedings of the TIME 2009, 2009

A Tableau-Based System for Spatial Reasoning about Directional Relations.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Quality Checking of Medical Guidelines Using Interval Temporal Logics: A Case-Study.
Proceedings of the Bioinspired Applications in Artificial and Natural Computation, 2009

2008
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification.
Proceedings of the Logic for Programming, 2008

Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T.
Proceedings of the Computer Science Logic, 22nd International Workshop, 2008

2007
An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
J. Autom. Reasoning, 2007

A new modal logic for reasoning about space: spatial propositional neighborhood logic.
Ann. Math. Artif. Intell., 2007

Reasoning with 'And Then' and 'While'.
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Consistency Checking of Basic Cardinal Constraints over Connected Regions.
Proceedings of the IJCAI 2007, 2007

Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic.
Proceedings of the Computer Aided Systems Theory, 2007

2006
A general tableau method for propositional interval temporal logics: Theory and implementation.
J. Applied Logic, 2006

Definability and decidability of binary predicates for time granularity.
J. Applied Logic, 2006

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic.
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006

2004
A Road Map of Interval Temporal Logics and Duration Calculi.
Journal of Applied Non-Classical Logics, 2004

2003
Propositional Interval Neighborhood Temporal Logics.
J. UCS, 2003

Definability and decidability of binary predicates for time granularity.
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

A General Tableau Method for Propositional Interval Temporal Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

2002
Decidability of Interval Temporal Logics over Split-Frames via Granularity.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002


  Loading...