Michael Sioutis
- Agents, Apprentissage, Contraintes (LIRMM | COCONUT)
- Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM)
- Université de Montpellier (UM)
- Centre National de la Recherche Scientifique (CNRS)
Présentation
Je m'appelle Michael Sioutis (Μιχαήλ Σιούτης en grec) et, depuis janvier 2023, je suis un Junior Professor tenure-track d'Intelligence Artificielle Hybride, affiliée à la Faculté des Sciences de l'Université de Montpellier et de la Laboratoire d'Informatique, Robotique et Microélectronique de Montpellier. Je travaillerai avec l'équipe COCONUT 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 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
Publications
|
|
Learning to Resolve Inconsistencies in Qualitative ConstraintsROADEF 2026 - 27e Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, Université de Tours, Feb 2026, Tours, France |
|
|
A Reinforcement Learning Approach for Resolving Inconsistencies in Qualitative Constraint NetworksSUM 2024 - 16th International Conference on Scalable Uncertainty Management, Nov 2024, Palermo, Italy. pp.340-353, ⟨10.1007/978-3-031-76235-2_25⟩ |
Compact Solution Representation in Qualitative Constraint-Based ReasoningSUM 2024 - 16th International Conference on Scalable Uncertainty Management, Nov 2024, Palermo, Italy. pp.421-428, ⟨10.1007/978-3-031-76235-2_31⟩ |
|
|
|
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⟩ |
|
|
Prime Scenarios in Qualitative Spatial and Temporal ReasoningTIME 2023 - 30th International Symposium on Temporal Representation and Reasoning, Sep 2023, Athènes, Greece. pp.5:1-5:14, ⟨10.4230/LIPIcs.TIME.2023.5⟩ |
|
|
A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal ReasoningECAI 2023 - 26th European Conference on Artificial Intelligence, Sep 2023, Kraków, Poland. pp.2049-2056, ⟨10.3233/FAIA230498⟩ |
|
|
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⟩ |
|
|
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal ReasoningKR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.604-613, ⟨10.24963/kr.2023/59⟩ |
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
Une approche SAT incrémentale pour raisonner efficacement sur les réseaux de contraintes qualitativesJFPC 2019 - Actes des 15es Journées Francophones de Programmation par Contraintes, Jun 2019, Albi, France |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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 |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
Efficient Path Consistency Algorithm for Large Qualitative Constraint NetworksTwenty-Fifth International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States |
|
|
|
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⟩ |
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 |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
|
|
A Resolution Method for Modal Logic S5GCAI 2015. Global Conference on Artificial Intelligence, Oct 2015, Tbilisi, Georgia. pp.252-240, ⟨10.29007/1zgr⟩ |
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⟩ |
|
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial NetworksTwenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina |
|
|
|
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⟩ |
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⟩ |
|
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 |
|
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⟩ |
|
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⟩ |
|
|
|
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⟩ |
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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 |
|
|
|
Architecture for the heterogeneous federation of future internet experimentation facilitiesFuture Network & Mobile Summit 2013, Jul 2013, Lisbon, Portugal. pp.1--11 |
|
|
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⟩ |
|
|
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⟩ |
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⟩ |
|
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⟩ |
Chapter 19. Neuro-Symbolic Spatio-Temporal ReasoningCompendium of Neurosymbolic Artificial Intelligence, 369, IOS Press, pp.410-429, 2023, Frontiers in Artificial Intelligence and Applications, 978-1-64368-406-2. ⟨10.3233/FAIA230151⟩ |
|
|
Algorithmic Contributions to Qualitative Constraint-based Spatial and Temporal ReasoningArtificial Intelligence [cs.AI]. Université d'Artois, 2017. English. ⟨NNT : ⟩ |
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), Macao, S.A.R., August 21, 2023STRL 2023 - 2nd International Workshop on Spatio-Temporal Reasoning and Learning, Aug 2023, Macao, China. 2023 |
|
Proceedings of the 1st International Workshop on Spatio-Temporal Reasoning and Learning (STRL 2022) co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI 2022, ECAI 2022), Vienna, Austria, July 24, 2022STRL 2022 - 1st International Workshop on Spatio-Temporal Reasoning and Learning, Jul 2022, Vienne, Austria. 2022 |