Access content directly

Michael Sioutis

Junior Professor Chair
67
Documents
Current affiliations
  • 1100633
  • 1100620
  • 1100589
  • 441569
Researcher identifiers

Presentation

My name is Michael Sioutis (Μιχαήλ Σιούτης in Greek) and, as of January 2023, I am a tenure-track [Junior Professor](https://www.enseignementsup-recherche.gouv.fr/fr/des-carrieres-plus-attractives-les-chaires-de-professeur-junior-46095) of Hybrid Artificial Intelligence, affiliated with the Faculty of Sciences of the [University of Montpellier](https://www.umontpellier.fr/en/) and the [Laboratory of Computer Science, Robotics and Microelectronics of Montpellier](https://www.lirmm.fr/lirmm-en/). I will be working together with the [COCONUT](https://www.lirmm.fr/coconut/index.php) team, and the rest of the lab, on the interplay between knowledge representation and machine learning, especially in the context of attaining spatiotemporally-informed AI frameworks. Please consult my [Personal Homepage](http://msioutis.gitlab.io/) for information about my publications and software development, and more details about me in general.
Je m'appelle Michael Sioutis (Μιχαήλ Σιούτης en grec) et, depuis janvier 2023, je suis un [Junior Professor](https://www.enseignementsup-recherche.gouv.fr/fr/des-carrieres-plus-attractives-les-chaires-de-professeur-junior-46095) tenure-track d'Intelligence Artificielle Hybride, affiliée à la Faculté des Sciences de l'[Université de Montpellier](https://www.umontpellier.fr/) et de la [Laboratoire d'Informatique, Robotique et Microélectronique de Montpellier](https://www.lirmm.fr/). Je travaillerai avec l'équipe [COCONUT](https://www.lirmm.fr/coconut/index.php) et le reste du laboratoire sur l'interaction entre la représentation des connaissances et l'apprentissage automatique, notamment dans le contexte d’atteindre des cadres d’IA informés sur l’espace et le temps. Veuillez consulter ma [page d'accueil personnelle](http://msioutis.gitlab.io/) pour plus d'informations sur mes publications et le développement de logiciels, et plus de détails sur moi en général.

Publications

On robust vs fast solving of qualitative constraints

Jan Wehner , Michael Sioutis , Diedrich Wolter
Journal of Heuristics, 2023, 29 (4-6), pp.461-485. ⟨10.1007/S10732-023-09517-8⟩
Journal articles hal-04290607v1

Approximating Region Boundaries Based on Qualitative and Quantitative Information

Zhiguo Long , Michael Sioutis , Qingqian Li , Hua Meng , Heng-Chao Li
IEEE Intelligent Systems, 2022, 37 (6), pp.38-47. ⟨10.1109/MIS.2022.3204561⟩
Journal articles hal-04290615v1

A framework for belief revision under restrictions

Zhiguo Long , Hua Meng , Tianrui Li , Heng-Chao Li , Michael Sioutis
Knowledge Engineering Review, 2022, 37, pp.e8. ⟨10.1017/S0269888922000054⟩
Journal articles hal-04290676v1

Correction to: Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning

Michael Sioutis
KI - Künstliche Intelligenz, 2021, 35 (3-4), pp.451-451. ⟨10.1007/S13218-021-00742-6⟩
Journal articles hal-04290685v1

Dynamic branching in qualitative constraint-based reasoning via counting local models

Michael Sioutis , Diedrich Wolter
Information and Computation, 2021, 281, pp.104787. ⟨10.1016/J.IC.2021.104787⟩
Journal articles hal-04290682v1
Image document

On Neighbourhood Singleton-style Consistencies for Qualitative Spatial and Temporal Reasoning

Michael Sioutis , Anastasia Paparrizou , Tomi Janhunen
Information and Computation, 2020
Journal articles hal-03301105v1

Just-In-Time Constraint-Based Inference for Qualitative Spatial and Temporal Reasoning

Michael Sioutis
KI - Künstliche Intelligenz, 2020, ⟨10.1007/s13218-020-00652-z⟩
Journal articles hal-02552496v1

Semi-Supervised Dimensionality Reduction by Linear Compression and Stretching

Zhiguo Long , Hua Meng , Michael Sioutis
IEEE Access, 2020, 8, pp.27308-27317. ⟨10.1109/ACCESS.2020.2971562⟩
Journal articles hal-02510009v1

Semantic referee: A neural-symbolic framework for enhancing geospatial semantic segmentation

Marjan Alirezaie , Martin Längkvist , Michael Sioutis , Amy Loutfi
Open Journal Of Semantic Web, 2019, 10 (5), pp.863-880. ⟨10.3233/SW-190362⟩
Journal articles hal-02510007v1
Image document

Collective singleton-based consistency for qualitative constraint networks: Theory and practice

Michael Sioutis , Anastasia Paparrizou , Jean-François Condotta
Theoretical Computer Science, 2019, 797, pp.17-41. ⟨10.1016/j.tcs.2019.02.028⟩
Journal articles hal-02067896v1

Exploring Directional Path-Consistency for Solving Constraint Networks

Shufeng Kong , Sanjiang Li , Michael Sioutis
The Computer Journal, 2018, 61 (9), pp.1338-1350. ⟨10.1093/comjnl/bxx122⟩
Journal articles hal-02067904v1

Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints

Michael Sioutis , Zhiguo Long , Sanjiang Li
International Journal on Artificial Intelligence Tools, 2018, 27 (04), pp.1860001. ⟨10.1142/S0218213018600011⟩
Journal articles hal-02067906v1

Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning

Michael Sioutis , Yakoub Salhi , Jean-François Condotta
Knowledge Engineering Review, 2017, 32, pp.e4. ⟨10.1017/S026988891600014X⟩
Journal articles hal-02067922v1

An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks

Michael Sioutis , Jean-François Condotta , Manolis Koubarakis
International Journal on Artificial Intelligence Tools, 2016, 25 (02), pp.1550031. ⟨10.1142/S0218213015500311⟩
Journal articles hal-02067950v1

TELEIOS: A Database-Powered Virtual Earth Observatory

Manolis Koubarakis , Kostis Kyzirakos , Manos Karpathiotakis , Charalampos Nikolaou , Stavros Vassos
Proceedings of the VLDB Endowment (PVLDB), 2012, 5 (12), pp.2010-2013. ⟨10.14778/2367502.2367560⟩
Journal articles hal-02068109v1

Prime Scenarios in Qualitative Spatial and Temporal Reasoning

Yakoub Salhi , Michael Sioutis
30th International Symposium on Temporal Representation and Reasoning (TIME 2023), Sep 2023, Athènes, Greece. ⟨10.4230/LIPIcs.TIME.2023.5⟩
Conference papers hal-04285264v1
Image document

A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract)

Yakoub Salhi , Michael Sioutis
TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning, Sep 2023, Athènes, Greece. pp.16:1-16:3, ⟨10.4230/LIPIcs.TIME.2023.16⟩
Conference papers hal-04285276v1

A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning

Yakoub Salhi , Michael Sioutis
20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), Sep 2023, Rhodes, Greece. pp.604-613, ⟨10.24963/kr.2023/59⟩
Conference papers hal-04285244v1

A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning

Yakoub Salhi , Michael Sioutis
26th European Conference on Artificial Intelligence (ECAI 2023), Sep 2023, Kraków, Poland. ⟨10.3233/FAIA230498⟩
Conference papers hal-04285257v1
Image document

Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint Networks

Michael Sioutis
TIME 2023 - 30th International Symposium on Temporal Representation and Reasoning, Sep 2023, Athènes, Greece. pp.12:1-12:12, ⟨10.4230/LIPICS.TIME.2023.12⟩
Conference papers hal-04290605v1

An Incremental Algorithm for Handling Qualitative Spatio-Temporal Information

Zhiguo Long , Qiyuan Hu , Hua Meng , Michael Sioutis
15th International Conference on Spatial Information Theory (COSIT 2022), Sep 2022, Kobe, Japan. ⟨10.4230/LIPICS.COSIT.2022.5⟩
Conference papers hal-04290667v1

Hybrid AI Systems Grounded on Qualitative Spatio-Temporal Reasoning

Michael Sioutis , Zhiguo Long
12th Hellenic Conference on Artificial Intelligence (SETN 2022), Sep 2022, Corfu, Greece. pp.1-1, ⟨10.1145/3549737.3549807⟩
Conference papers hal-04290663v1

On Robust Vs Fast Solving of Qualitative Constraints

Jan Wehner , Michael Sioutis , Diedrich Wolter
33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021), Nov 2021, Washington, United States. pp.801-805, ⟨10.1109/ICTAI52525.2021.00128⟩
Conference papers hal-04290658v1

On Large-Scale Qualitative Spatio-Temporal Constraint Redundancy Removal

Qiyuan Hu , Yang Gao , Zhiguo Long , Hongjun Wang , Tianrui Li
16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2021), Nov 2021, Chengdu, China. pp.398-405, ⟨10.1109/ISKE54062.2021.9755336⟩
Conference papers hal-04290656v1

Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges

Michael Sioutis , Diedrich Wolter
Thirtieth International Joint Conference on Artificial Intelligence (IJCAI-21), Aug 2021, Montreal, Canada. pp.4594-4601, ⟨10.24963/IJCAI.2021/624⟩
Conference papers hal-04290657v1

Towards Robust Qualitative Spatio-Temporal Reasoning for Hybrid AI Systems

Michael Sioutis , Hua Meng
16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2021), Nov 2021, Chengdu, China. pp.426-430, ⟨10.1109/ISKE54062.2021.9755429⟩
Conference papers hal-04290670v1

On Robustness in Qualitative Constraint Networks

Michael Sioutis , Zhiguo Long , Tomi Janhunen
Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Jul 2020, Yokohama, Japan. pp.1813-1819, ⟨10.24963/ijcai.2020/251⟩
Conference papers hal-02910984v1

Dynamic Branching in Qualitative Constraint Networks via Counting Local Models

Michael Sioutis , Diedrich Wolter
27th International Symposium on Temporal Representation and Reasoning (TIME 2020), Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPICS.TIME.2020.12⟩
Conference papers hal-04290640v1
Image document

On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning.

Michael Sioutis , Anastasia Paparrizou , Tomi Janhunen
26th International Symposium on Temporal Representation and Reasoning (TIME 2019), Oct 2019, Malaga, Spain. ⟨10.4230/LIPIcs.TIME.2019.14⟩
Conference papers hal-02414893v1

Allen’s Interval Algebra Makes the Difference

Tomi Janhunen , Michael Sioutis
22nd International Conference on Applications of Declarative Programming and Knowledge Management, Sep 2019, Cottbus, Germany. pp.89-98, ⟨10.1007/978-3-030-46714-2_6⟩
Conference papers hal-02568298v1

Towards Leveraging Backdoors in Qualitative Constraint Networks

Michael Sioutis , Tomi Janhunen
43rd German Conference on Artificial Intelligence (KI 2019), Sep 2019, Kassel, Germany. pp.308-315, ⟨10.1007/978-3-030-30179-8_27⟩
Conference papers hal-02510016v1
Image document

Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis
 JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Conference papers hal-02271390v1

An Incremental SAT-Based Approach to Reason Efficiently On Qualitative Constraint Network

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis
24th International Conference on Principles and Practice of Constraint Programming (CP'18), 2018, Lille, France. pp.160--178
Conference papers hal-03300778v1

An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks

Gael Glorian , Jean-Marie Lagniez , Valentin Montmirail , Michael Sioutis
24th International Conference on Principles and Practice of Constraint Programming (CP'18), Aug 2018, Lille, France. pp.160-178, ⟨10.1007/978-3-319-98334-9_11⟩
Conference papers hal-02067915v1

A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints

Ali Mensi , Jean-François Condotta , Issam Nouaouri , Michael Sioutis , Lamjed Ben Said
10th Hellenic Conference on Artificial Intelligence (SETN 2018), Jul 2018, Patras, Greece. pp.1-9, ⟨10.1145/3200947.3201021⟩
Conference papers hal-02067920v1

Collective Singleton-Based Consistency for Qualitative Constraint Networks

Michael Sioutis , Anastasia Paparrizou , Jean-François Condotta
24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. ⟨10.4230/LIPIcs.TIME.2017.19⟩
Conference papers hal-02067943v1

Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction

Michael Sioutis , Jean-François Condotta
Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.1262-1268, ⟨10.24963/ijcai.2017/175⟩
Conference papers hal-02067933v1

A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks

Michael Sioutis , Anastasia Paparrizou , Jean-François Condotta
29th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2017), Nov 2017, Boston, United States. pp.110-117, ⟨10.1109/ICTAI.2017.00028⟩
Conference papers hal-02067927v1

A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks

Jean-François Condotta , Issam Nouaouri , Michael Sioutis
Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference (KR 2016), Apr 2016, Cape Town, South Africa
Conference papers hal-02068000v1

Efficiently Reasoning about Qualitative Constraints through Variable Elimination

Michael Sioutis , Zhiguo Long , Sanjiang Li
9th Hellenic Conference on Artificial Intelligence (SETN 2016), May 2016, Thessaloniki, Greece. pp.1-10, ⟨10.1145/2903220.2903226⟩
Conference papers hal-02067973v1

Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks

Jean-François Condotta , Ali Mensi , Issam Nouaouri , Michael Sioutis , Lamjed Ben Said
Artificial Intelligence: Methodology, Systems, and Applications - 17th International Conference (AIMSA 2016), Sep 2016, Varna, Bulgaria. pp.247-258, ⟨10.1007/978-3-319-44748-3_24⟩
Conference papers hal-02067956v1

On Redundancy in Simple Temporal Networks

Jae Hee Lee , Sanjiang Li , Zhiguo Long , Michael Sioutis
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. ⟨10.3233/978-1-61499-672-9-828⟩
Conference papers hal-02067967v1

Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks

Zhiguo Long , Michael Sioutis , Sanjiang Li
Twenty-Fifth International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers hal-02067985v1

Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks

Michael Sioutis , Sanjiang Li , Jean-François Condotta
Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina
Conference papers hal-02068039v1
Image document

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework

Michael Sioutis , Jean-François Condotta , Yakoub Salhi , Bertrand Mazure , David A. Randell
11th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI 2015), Sep 2015, Bayonne, France. pp.130-150, ⟨10.1007/978-3-319-23868-5_10⟩
Conference papers hal-01385350v1

A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks

Michael Sioutis , Yakoub Salhi , Jean-François Condotta
Twenty-Eighth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2015), May 2015, Hollywood, Florida, United States
Conference papers hal-02070301v1

Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

Michael Sioutis , Jean-François Condotta , Yakoub Salhi , Bertrand Mazure
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference (TABLEAUX 2015), Sep 2015, Wroclaw, Poland. pp.54-69, ⟨10.1007/978-3-319-24312-2_5⟩
Conference papers hal-02068048v1

On the use and effect of graph decomposition in qualitative spatial and temporal reasoning

Michael Sioutis , Yakoub Salhi , Jean-François Condotta
30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1874-1879, ⟨10.1145/2695664.2695831⟩
Conference papers hal-02068030v1

A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks

Jean-François Condotta , Ali Mensi , Issam Nouaouri , Michael Sioutis , Lamjed Ben Said
27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015), Nov 2015, Vietri sul Mare, Italy. pp.445-452, ⟨10.1109/ICTAI.2015.73⟩
Conference papers hal-02067980v1

A Resolution Method for Modal Logic S5

Yakoub Salhi , Michael Sioutis
GCAI 2015. Global Conference on Artificial Intelligence, Oct 2015, Tbilisi, Georgia. pp.252-240, ⟨10.29007/1zgr⟩
Conference papers hal-02070297v1

Vertex Incremental Path Consistency for Qualitative Constraint Networks

Michael Sioutis , Jean-François Condotta
Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI (SETN 2014), May 2014, Ioannina, Greece. pp.454-459, ⟨10.1007/978-3-319-07064-3_39⟩
Conference papers hal-02068095v1

On the Effect of Locality in Compressing Social Networks

Panagiotis Liakos , Katia Papakonstantinopoulou , Michael Sioutis
Advances in Information Retrieval - 36th European Conference on IR Research (ECIR 2014), Apr 2014, Amsterdam, Netherlands. pp.650-655, ⟨10.1007/978-3-319-06028-6_71⟩
Conference papers hal-02068074v1

Incrementally Building Partially Path Consistent Qualitative Constraint Networks

Michael Sioutis , Jean-François Condotta
Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference (AIMSA 2014), Sep 2014, Varna, Bulgaria. pp.104-116, ⟨10.1007/978-3-319-10554-3_10⟩
Conference papers hal-02068065v1

Pushing the Envelope in Graph Compression

Panagiotis Liakos , Katia Papakonstantinopoulou , Michael Sioutis
23rd ACM International Conference on Information and Knowledge Management (CIKM 2014), Nov 2014, Shanghai, China. pp.1549-1558, ⟨10.1145/2661829.2662053⟩
Conference papers hal-02068070v1

Triangulation Versus Graph Partitioning for Tackling Large Real World Qualitative Spatial Networks

Michael Sioutis
26th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2014), Nov 2014, Limassol, Cyprus. pp.194-201, ⟨10.1109/ICTAI.2014.37⟩
Conference papers hal-02068082v1

Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure

Michael Sioutis , Jean-François Condotta
Artificial Intelligence: Methods and Applications - 8th Hellenic Conference on AI (SETN 2014), May 2014, Ioannina, Greece. pp.178-191, ⟨10.1007/978-3-319-07064-3_15⟩
Conference papers hal-02068087v1

A Qualitative Spatio-Temporal Framework Based on Point Algebra

Michael Sioutis , Jean-François Condotta , Yakoub Salhi , Bertrand Mazure
Artificial Intelligence: Methodology, Systems, and Applications - 16th International Conference (AIMSA 2014), Sep 2014, Varna, Bulgaria. pp.117-128, ⟨10.1007/978-3-319-10554-3_11⟩
Conference papers hal-02068068v1
Image document

Architecture for the heterogeneous federation of future internet experimentation facilities

Wim Vandenberghe , Brecht Vermeulen , Piet Demeester , Alexander Willner , Symeon Papavassiliou
Future Network & Mobile Summit 2013, Jul 2013, Lisbon, Portugal. pp.1--11
Conference papers hal-00948947v1

Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints

Nouhad Amaneddine , Jean-Francois Condotta , Michael Sioutis
23th International Joint Conference on Artificial Intelligence (IJCAI'13), Aug 2013, Beijing, China. pp.696-702
Conference papers hal-00873047v1

Data Models and Query Languages for Linked Geospatial Data

Manolis Koubarakis , Manos Karpathiotakis , Kostis Kyzirakos , Charalampos Nikolaou , Michael Sioutis
Reasoning Web. Semantic Technologies for Advanced Query Answering - 8th International Summer School 2012, Sep 2012, Vienna, Austria. pp.290-328, ⟨10.1007/978-3-642-33158-9_8⟩
Conference papers hal-02068140v1

Consistency of Chordal RCC-8 Networks

Michael Sioutis , Manolis Koubarakis
24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2012), Nov 2012, Athens, Greece. pp.436-443, ⟨10.1109/ICTAI.2012.66⟩
Conference papers hal-02068114v1

Building Virtual Earth Observatories Using Ontologies, Linked Geospatial Data and Knowledge Discovery Algorithms

Manolis Koubarakis , Michael Sioutis , George Garbis , Manos Karpathiotakis , Kostis Kyzirakos
On the Move to Meaningful Internet Systems: {OTM} 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Sep 2012, Rome, Italy. pp.932-949, ⟨10.1007/978-3-642-33615-7_34⟩
Conference papers hal-02068121v1

Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data

Manolis Koubarakis , Manos Karpathiotakis , Kostis Kyzirakos , Charalampos Nikolaou , Stavros Vassos
Web Reasoning and Rule Systems - 6th International Conference (RR 2012), Sep 2012, Vienna, Austria. pp.229-233, ⟨10.1007/978-3-642-33203-6_21⟩
Conference papers hal-02068133v1

Chapter 19. Neuro-Symbolic Spatio-Temporal Reasoning

Jae Hee Lee , Michael Sioutis , Kyra Ahrens , Marjan Alirezaie , Matthias Kerzel
Compendium of Neurosymbolic Artificial Intelligence, IOS Press, 2023, Frontiers in Artificial Intelligence and Applications, ⟨10.3233/FAIA230151⟩
Book sections hal-04290612v1