Michael Sioutis

According to our database1, Michael Sioutis authored at least 45 papers between 2012 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Semantic referee: A neural-symbolic framework for enhancing geospatial semantic segmentation.
Semantic Web, 2019

Allen's Interval Algebra Makes the Difference.
CoRR, 2019

Semantic Referee: A Neural-Symbolic Framework for Enhancing Geospatial Semantic Segmentation.
CoRR, 2019

Towards Leveraging Backdoors in Qualitative Constraint Networks.
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019

2018
Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints.
International Journal on Artificial Intelligence Tools, 2018

Exploring Directional Path-Consistency for Solving Constraint Networks.
Comput. J., 2018

A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints.
Proceedings of the 10th Hellenic Conference on Artificial Intelligence, 2018

An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Seeking Prevention of Cognitive Decline in Elders via Activity Suggestion by A Virtual Caregiver.
Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017
Algorithmic Contributions to Qualitative Constraint-based Spatial and Temporal Reasoning. (Contributions Algorithmiques au Raisonnement Spatial et Temporel basé sur des Contraintes Qualitatives).
PhD thesis, 2017

Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning.
Knowledge Eng. Review, 2017

Exploring Directional Path-Consistency for Solving Constraint Networks.
CoRR, 2017

Collective Singleton-Based Consistency for Qualitative Constraint Networks.
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2016
An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks.
International Journal on Artificial Intelligence Tools, 2016

Efficiently Reasoning about Qualitative Constraints through Variable Elimination.
Proceedings of the 9th Hellenic Conference on Artificial Intelligence, 2016

A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Pinpointing Influence in Pinterest.
Proceedings of the 2nd International Workshop on Social Influence Analysis co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016

On Redundancy in Simple Temporal Networks.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2016

2015
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

On the use and effect of graph decomposition in qualitative spatial and temporal reasoning.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework.
Proceedings of the Artificial Intelligence Applications and Innovations, 2015

A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

A Resolution Method for Modal Logic S5.
Proceedings of the Global Conference on Artificial Intelligence, 2015

A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks.
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015

On Redundancy in Linked Geospatial Data.
Proceedings of the 2nd Workshop on Linked Data Quality co-located with 12th Extended Semantic Web Conference (ESWC 2015), 2015

2014
Vertex Incremental Path Consistency for Qualitative Constraint Networks.
Proceedings of the Artificial Intelligence: Methods and Applications, 2014

Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure.
Proceedings of the Artificial Intelligence: Methods and Applications, 2014

Triangulation Versus Graph Partitioning for Tackling Large Real World Qualitative Spatial Networks.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

On the Effect of Locality in Compressing Social Networks.
Proceedings of the Advances in Information Retrieval, 2014

Pushing the Envelope in Graph Compression.
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014

A Qualitative Spatio-Temporal Framework Based on Point Algebra.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014

Incrementally Building Partially Path Consistent Qualitative Constraint Networks.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014

2013
Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.
Proceedings of the IJCAI 2013, 2013

Architecture for the heterogeneous federation of Future Internet experimentation facilities.
Proceedings of the 2013 Future Network & Mobile Summit, Lisboa, Portugal, July 3-5, 2013, 2013

2012
TELEIOS: A Database-Powered Virtual Earth Observatory.
PVLDB, 2012

Real Time Fire Monitoring Using Semantic Web and Linked Data Technologies.
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012

Data Models and Query Languages for Linked Geospatial Data.
Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012


Building Virtual Earth Observatories Using Ontologies, Linked Geospatial Data and Knowledge Discovery Algorithms.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Consistency of Chordal RCC-8 Networks.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012


  Loading...