Michael Sioutis
Orcid: 0000-0001-7562-2443Affiliations:
- University of Montpellier, LIRMM, France
- Otto Friedrich University Bamberg, Department of Applied Computer Sciences, Germany (former)
- Aalto University, Department of Computer Science, Finland (former)
- Örebro University, School of Science and Technology, Sweden (former)
- Artois University, CRIL, Arras, France (former^, PhD 2917)
According to our database1,
Michael Sioutis
authored at least 69 papers
between 2012 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on twitter.com
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proceedings of the Compendium of Neurosymbolic Artificial Intelligence, 2023
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract).
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023
Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks (Extended Abstract).
Proceedings of 1st Workshop on AI-driven heterogeneous data management: Completing, 2023
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the 2nd International Workshop on Spatio-Temporal Reasoning and Learning (STRL 2023) co-located with the 32nd International Joint Conference on Artificial Intelligence (IJCAI 2023), 2023
A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
2022
IEEE Intell. Syst., 2022
Proceedings of the SETN 2022: 12th Hellenic Conference on Artificial Intelligence, Corfu, Greece, September 7, 2022
Proceedings of the 15th International Conference on Spatial Information Theory, 2022
2021
Correction to: Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning.
Künstliche Intell., 2021
Dynamic branching in qualitative constraint-based reasoning via counting local models.
Inf. Comput., 2021
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning.
Inf. Comput., 2021
Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021
Proceedings of the 16th International Conference on Intelligent Systems and Knowledge Engineering, 2021
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
2020
Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning.
Künstliche Intell., 2020
IEEE Access, 2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
2019
Collective singleton-based consistency for qualitative constraint networks: Theory and practice.
Theor. Comput. Sci., 2019
Semantic referee: A neural-symbolic framework for enhancing geospatial semantic segmentation.
Semantic Web, 2019
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
Proceedings of the KI 2019: Advances in Artificial Intelligence, 2019
Proceedings of the Declarative Programming and Knowledge Management, 2019
2018
Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints.
Int. J. Artif. Intell. Tools, 2018
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.
Knowl. Eng. Rev., 2017
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
Int. J. Artif. Intell. Tools, 2016
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
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 2nd International Workshop on Social Influence Analysis co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), 2016
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
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
Proceedings of the Global Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015
Proceedings of the 2nd Workshop on Linked Data Quality co-located with 12th Extended Semantic Web Conference (ESWC 2015), 2015
2014
Proceedings of the Artificial Intelligence: Methods and Applications, 2014
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
Proceedings of the Advances in Information Retrieval, 2014
Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014
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
Proceedings of the ISWC 2012 Posters & Demonstrations Track, 2012
Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 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
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012