- 62
- 2
- 2
- 1
- 1
Michael Sioutis
Junior Professor Chair
68
Documents
Current affiliations
- 1100633
- 1100620
- 1100589
- 441569
Researcher identifiers
michael-sioutis
-
0000-0001-7562-2443
- IdRef : 199746524
- Google Scholar : https://scholar.google.fr/citations?user=a_QQC-sAAAAJ
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
- 20
- 9
- 8
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 15
- 8
- 7
- 5
- 5
- 4
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 5
- 6
- 5
- 6
- 5
- 5
- 6
- 7
- 7
- 2
- 5
|
Embarrassingly Greedy Inconsistency Resolution of Qualitative Constraint NetworksTIME 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
|
Prime Scenarios in Qualitative Spatial and Temporal Reasoning30th International Symposium on Temporal Representation and Reasoning (TIME 2023), Sep 2023, Athènes, Greece. ⟨10.4230/LIPIcs.TIME.2023.5⟩
Conference papers
hal-04285264v1
|
|
|
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning (Extended Abstract)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 Reasoning20th 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 Reasoning26th European Conference on Artificial Intelligence (ECAI 2023), Sep 2023, Kraków, Poland. ⟨10.3233/FAIA230498⟩
Conference papers
hal-04285257v1
|
|
Hybrid AI Systems Grounded on Qualitative Spatio-Temporal Reasoning12th Hellenic Conference on Artificial Intelligence (SETN 2022), Sep 2022, Corfu, Greece. pp.1-1, ⟨10.1145/3549737.3549807⟩
Conference papers
hal-04290663v1
|
|
An Incremental Algorithm for Handling Qualitative Spatio-Temporal Information15th International Conference on Spatial Information Theory (COSIT 2022), Sep 2022, Kobe, Japan. ⟨10.4230/LIPICS.COSIT.2022.5⟩
Conference papers
hal-04290667v1
|
|
Towards Robust Qualitative Spatio-Temporal Reasoning for Hybrid AI Systems16th 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
|
|
Qualitative Spatial and Temporal Reasoning: Current Status and Future ChallengesThirtieth International Joint Conference on Artificial Intelligence (IJCAI-21), Aug 2021, Montreal, Canada. pp.4594-4601, ⟨10.24963/IJCAI.2021/624⟩
Conference papers
hal-04290657v1
|
|
On Robust Vs Fast Solving of Qualitative Constraints33rd 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 Removal16th 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
|
|
On Robustness in Qualitative Constraint NetworksTwenty-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 Models27th International Symposium on Temporal Representation and Reasoning (TIME 2020), Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPICS.TIME.2020.12⟩
Conference papers
hal-04290640v1
|
|
|
Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitatives JFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France
Conference papers
hal-02271390v1
|
|
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning.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 Difference22nd 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 Networks43rd 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
|
|
An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks24th 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 Constraints10th Hellenic Conference on Artificial Intelligence (SETN 2018), Jul 2018, Patras, Greece. pp.1-9, ⟨10.1145/3200947.3201021⟩
Conference papers
hal-02067920v1
|
|
An Incremental SAT-Based Approach to Reason Efficiently On Qualitative Constraint Network24th International Conference on Principles and Practice of Constraint Programming (CP'18), 2018, Lille, France. pp.160--178
Conference papers
hal-03300778v1
|
|
A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks29th 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
|
|
Collective Singleton-Based Consistency for Qualitative Constraint Networks24th 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 AbstractionTwenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.1262-1268, ⟨10.24963/ijcai.2017/175⟩
Conference papers
hal-02067933v1
|
|
Efficient Path Consistency Algorithm for Large Qualitative Constraint NetworksTwenty-Fifth International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States
Conference papers
hal-02067985v1
|
|
A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint NetworksPrinciples 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 Elimination9th Hellenic Conference on Artificial Intelligence (SETN 2016), May 2016, Thessaloniki, Greece. pp.1-10, ⟨10.1145/2903220.2903226⟩
Conference papers
hal-02067973v1
|
|
On Redundancy in Simple Temporal Networks22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. ⟨10.3233/978-1-61499-672-9-828⟩
Conference papers
hal-02067967v1
|
|
Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint NetworksArtificial 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 the use and effect of graph decomposition in qualitative spatial and temporal reasoning30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1874-1879, ⟨10.1145/2695664.2695831⟩
Conference papers
hal-02068030v1
|
|
A Resolution Method for Modal Logic S5GCAI 2015. Global Conference on Artificial Intelligence, Oct 2015, Tbilisi, Georgia. pp.252-240, ⟨10.29007/1zgr⟩
Conference papers
hal-02070297v1
|
|
A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks27th 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
|
|
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau MethodAutomated 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
|
|
A Simple Decomposition Scheme for Large Real World Qualitative Constraint NetworksTwenty-Eighth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2015), May 2015, Hollywood, Florida, United States
Conference papers
hal-02070301v1
|
|
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial NetworksTwenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina
Conference papers
hal-02068039v1
|
|
|
Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework11th 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 Qualitative Spatio-Temporal Framework Based on Point AlgebraArtificial 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
|
|
Tackling Large Qualitative Spatial Networks of Scale-Free-Like StructureArtificial 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
|
|
Vertex Incremental Path Consistency for Qualitative Constraint NetworksArtificial 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 NetworksAdvances 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 NetworksArtificial 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
|
|
Triangulation Versus Graph Partitioning for Tackling Large Real World Qualitative Spatial Networks26th 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
|
|
Pushing the Envelope in Graph Compression23rd 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
|
|
Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints23th International Joint Conference on Artificial Intelligence (IJCAI'13), Aug 2013, Beijing, China. pp.696-702
Conference papers
hal-00873047v1
|
|
|
Architecture for the heterogeneous federation of future internet experimentation facilitiesFuture Network & Mobile Summit 2013, Jul 2013, Lisbon, Portugal. pp.1--11
Conference papers
hal-00948947v1
|
Building Virtual Earth Observatories Using Ontologies and Linked Geospatial DataWeb 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
|
|
Building Virtual Earth Observatories Using Ontologies, Linked Geospatial Data and Knowledge Discovery AlgorithmsOn 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
|
|
Consistency of Chordal RCC-8 Networks24th 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
|
|
Data Models and Query Languages for Linked Geospatial DataReasoning 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
|
Chapter 19. Neuro-Symbolic Spatio-Temporal ReasoningCompendium of Neurosymbolic Artificial Intelligence, IOS Press, 2023, Frontiers in Artificial Intelligence and Applications, ⟨10.3233/FAIA230151⟩
Book sections
hal-04290612v1
|
|
Algorithmic Contributions to Qualitative Constraint-based Spatial and Temporal ReasoningArtificial Intelligence [cs.AI]. Université d'Artois, 2017. English. ⟨NNT : ⟩
Theses
tel-02052769v1
|