Co-authors

Researcher identifiers

Export Publications

Export the displayed publications:
Number of documents

38

Michael Sioutis


Computer Scientist

Doctor of Artois University


Journal articles6 documents

  • Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta. Collective singleton-based consistency for qualitative constraint networks: Theory and practice. Theoretical Computer Science, Elsevier, In press, ⟨10.1016/j.tcs.2019.02.028⟩. ⟨hal-02067896⟩
  • Shufeng Kong, Sanjiang Li, Michael Sioutis. Exploring Directional Path-Consistency for Solving Constraint Networks. The Computer Journal, Oxford University Press (UK), 2018, 61 (9), pp.1338-1350. ⟨10.1093/comjnl/bxx122⟩. ⟨hal-02067904⟩
  • Michael Sioutis, Zhiguo Long, Sanjiang Li. Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints. International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2018, 27 (04), pp.1860001. ⟨10.1142/S0218213018600011⟩. ⟨hal-02067906⟩
  • Michael Sioutis, Yakoub Salhi, Jean-François Condotta. Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning. Knowledge Engineering Review, Cambridge University Press (CUP), 2017, 32, pp.e4. ⟨10.1017/S026988891600014X⟩. ⟨hal-02067922⟩
  • Michael Sioutis, Jean-François Condotta, Manolis Koubarakis. An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks. International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2016, 25 (02), pp.1550031. ⟨10.1142/S0218213015500311⟩. ⟨hal-02067950⟩
  • Manolis Koubarakis, Kostis Kyzirakos, Manos Karpathiotakis, Charalampos Nikolaou, Stavros Vassos, et al.. TELEIOS: A Database-Powered Virtual Earth Observatory. Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2012, 5 (12), pp.2010-2013. ⟨10.14778/2367502.2367560⟩. ⟨hal-02068109⟩

Conference papers31 documents

  • Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis. 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. ⟨hal-02271390⟩
  • Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis. An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.160-178, ⟨10.1007/978-3-319-98334-9_11⟩. ⟨hal-02067915⟩
  • Ali Mensi, Jean-François Condotta, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said. A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints. 10th Hellenic Conference on Artificial Intelligence (SETN 2018), Jul 2018, Patras, Greece. pp.1-9, ⟨10.1145/3200947.3201021⟩. ⟨hal-02067920⟩
  • Michael Sioutis, Jean-François Condotta. Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction. Twenty-Sixth International Joint Conference on Artificial Intelligence, Aug 2017, Melbourne, Australia. pp.1262-1268, ⟨10.24963/ijcai.2017/175⟩. ⟨hal-02067933⟩
  • Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta. Collective Singleton-Based Consistency for Qualitative Constraint Networks. 24th International Symposium on Temporal Representation and Reasoning (TIME 2017), Oct 2017, Mons, Belgium. ⟨10.4230/LIPIcs.TIME.2017.19⟩. ⟨hal-02067943⟩
  • Michael Sioutis, Anastasia Paparrizou, Jean-François Condotta. A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks. IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2017, Boston, United States. pp.110-117, ⟨10.1109/ICTAI.2017.00028⟩. ⟨hal-02067927⟩
  • Jae Hee Lee, Sanjiang Li, Zhiguo Long, Michael Sioutis. On Redundancy in Simple Temporal Networks. 22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. ⟨10.3233/978-1-61499-672-9-828⟩. ⟨hal-02067967⟩
  • Jean-François Condotta, Issam Nouaouri, Michael Sioutis. A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference (KR 2016), Apr 2016, Cape Town, South Africa. ⟨hal-02068000⟩
  • Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said. Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. 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⟩. ⟨hal-02067956⟩
  • Zhiguo Long, Michael Sioutis, Sanjiang Li. Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks. Twenty-Fifth International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. ⟨hal-02067985⟩
  • Michael Sioutis, Zhiguo Long, Sanjiang Li. Efficiently Reasoning about Qualitative Constraints through Variable Elimination. 9th Hellenic Conference on Artificial Intelligence (SETN 2016), May 2016, Thessaloniki, Greece. pp.1-10, ⟨10.1145/2903220.2903226⟩. ⟨hal-02067973⟩
  • Michael Sioutis, Yakoub Salhi, Jean-François Condotta. A Simple Decomposition Scheme for Large Real World Qualitative Constraint Networks. Twenty-Eighth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2015), May 2015, Hollywood, Florida, United States. ⟨hal-02070301⟩
  • Yakoub Salhi, Michael Sioutis. A Resolution Method for Modal Logic S5. GCAI 2015. Global Conference on Artificial Intelligence, Oct 2015, Tbilisi, Georgia. pp.252-240, ⟨10.29007/1zgr⟩. ⟨hal-02070297⟩
  • Jean-François Condotta, Ali Mensi, Issam Nouaouri, Michael Sioutis, Lamjed Ben Said. A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks. IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2015, Vietri sul Mare, Italy. pp.445-452, ⟨10.1109/ICTAI.2015.73⟩. ⟨hal-02067980⟩
  • Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure. Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. 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⟩. ⟨hal-02068048⟩
  • Michael Sioutis, Yakoub Salhi, Jean-François Condotta. On the use and effect of graph decomposition in qualitative spatial and temporal reasoning. 30th Annual ACM Symposium on Applied Computing, Apr 2015, Salamanca, Spain. pp.1874-1879, ⟨10.1145/2695664.2695831⟩. ⟨hal-02068030⟩
  • Michael Sioutis, Sanjiang Li, Jean-François Condotta. Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks. Twenty-Fourth International Joint Conference on Artificial Intelligence, Jul 2015, Buenos Aires, Argentina. ⟨hal-02068039⟩
  • Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure, David Randell. Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework. 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⟩. ⟨hal-01385350⟩
  • Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure. A Qualitative Spatio-Temporal Framework Based on Point Algebra. 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⟩. ⟨hal-02068068⟩
  • Panagiotis Liakos, Katia Papakonstantinopoulou, Michael Sioutis. On the Effect of Locality in Compressing Social Networks. 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⟩. ⟨hal-02068074⟩
  • Michael Sioutis, Jean-François Condotta. Tackling Large Qualitative Spatial Networks of Scale-Free-Like Structure. 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⟩. ⟨hal-02068087⟩
  • Michael Sioutis, Jean-François Condotta. Vertex Incremental Path Consistency for Qualitative Constraint Networks. 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⟩. ⟨hal-02068095⟩
  • Michael Sioutis, Jean-François Condotta. Incrementally Building Partially Path Consistent Qualitative Constraint Networks. 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⟩. ⟨hal-02068065⟩
  • Michael Sioutis. Triangulation Versus Graph Partitioning for Tackling Large Real World Qualitative Spatial Networks. IEEE 26th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus. pp.194-201, ⟨10.1109/ICTAI.2014.37⟩. ⟨hal-02068082⟩
  • Panagiotis Liakos, Katia Papakonstantinopoulou, Michael Sioutis. Pushing the Envelope in Graph Compression. 23rd ACM International Conference on Information and Knowledge Management (CIKM 2014), Nov 2014, Shanghai, China. pp.1549-1558, ⟨10.1145/2661829.2662053⟩. ⟨hal-02068070⟩
  • Nouhad Amaneddine, Jean-Francois Condotta, Michael Sioutis. Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints. 23th International Joint Conference on Artificial Intelligence (IJCAI'13), Aug 2013, Beijing, China. pp.696-702. ⟨hal-00873047⟩
  • Wim Vandenberghe, Brecht Vermeulen, Piet Demeester, Alexander Willner, Symeon Papavassiliou, et al.. Architecture for the heterogeneous federation of future internet experimentation facilities. Future Network & Mobile Summit 2013, Jul 2013, Lisbon, Portugal. pp.1--11. ⟨hal-00948947⟩
  • Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Charalampos Nikolaou, Michael Sioutis. Data Models and Query Languages for Linked Geospatial Data. 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⟩. ⟨hal-02068140⟩
  • Manolis Koubarakis, Michael Sioutis, George Garbis, Manos Karpathiotakis, Kostis Kyzirakos, et al.. Building Virtual Earth Observatories Using Ontologies, Linked Geospatial Data and Knowledge Discovery Algorithms. On the Move to Meaningful Internet Systems: 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⟩. ⟨hal-02068121⟩
  • Manolis Koubarakis, Manos Karpathiotakis, Kostis Kyzirakos, Charalampos Nikolaou, Stavros Vassos, et al.. Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data. 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⟩. ⟨hal-02068133⟩
  • Michael Sioutis, Manolis Koubarakis. Consistency of Chordal RCC-8 Networks. IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI 2012), Nov 2012, Athens, Greece. pp.436-443, ⟨10.1109/ICTAI.2012.66⟩. ⟨hal-02068114⟩

Theses1 document

  • Michael Sioutis. Algorithmic Contributions to Qualitative Constraint-based Spatial and Temporal Reasoning. Artificial Intelligence [cs.AI]. Université d'Artois, 2017. English. ⟨tel-02052769⟩