|
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⟩
Communication dans un congrès
hal-04290605
v1
|
|
Prime Scenarios in Qualitative Spatial and Temporal Reasoning
Yakoub Salhi
,
Michael Sioutis
TIME 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⟩
Communication dans un congrès
hal-04285264
v1
|
|
A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning
Yakoub Salhi
,
Michael Sioutis
ECAI 2023 - 26th European Conference on Artificial Intelligence, Sep 2023, Kraków, Poland. pp.2049-2056, ⟨10.3233/FAIA230498⟩
Communication dans un congrès
hal-04285257
v1
|
|
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⟩
Communication dans un congrès
hal-04285276
v1
|
|
A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning
Yakoub Salhi
,
Michael Sioutis
KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.604-613, ⟨10.24963/kr.2023/59⟩
Communication dans un congrès
hal-04285244
v1
|
|
Hybrid AI Systems Grounded on Qualitative Spatio-Temporal Reasoning
Michael Sioutis
,
Zhiguo Long
Communication dans un congrès
hal-04290663
v1
|
|
An Incremental Algorithm for Handling Qualitative Spatio-Temporal Information
Zhiguo Long
,
Qiyuan Hu
,
Hua Meng
,
Michael Sioutis
Communication dans un congrès
hal-04290667
v1
|
|
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⟩
Communication dans un congrès
hal-04290670
v1
|
|
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⟩
Communication dans un congrès
hal-04290657
v1
|
|
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⟩
Communication dans un congrès
hal-04290658
v1
|
|
On Large-Scale Qualitative Spatio-Temporal Constraint Redundancy Removal
Qiyuan Hu
,
Yang Gao
,
Zhiguo Long
,
Hongjun Wang
,
Tianrui Li
et al.
16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2021), Nov 2021, Chengdu, China. pp.398-405, ⟨10.1109/ISKE54062.2021.9755336⟩
Communication dans un congrès
hal-04290656
v1
|
|
Dynamic Branching in Qualitative Constraint Networks via Counting Local Models
Michael Sioutis
,
Diedrich Wolter
Communication dans un congrès
hal-04290640
v1
|
|
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⟩
Communication dans un congrès
hal-02910984
v1
|
|
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⟩
Communication dans un congrès
hal-02568298
v1
|
|
Towards Leveraging Backdoors in Qualitative Constraint Networks
Michael Sioutis
,
Tomi Janhunen
Communication dans un congrès
hal-02510016
v1
|
|
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
Communication dans un congrès
hal-02271390
v1
|
|
On the Utility of Neighbourhood Singleton-Style Consistencies for Qualitative Constraint-Based Spatial and Temporal Reasoning.
Michael Sioutis
,
Anastasia Paparrizou
,
Tomi Janhunen
Communication dans un congrès
hal-02414893
v1
|
|
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⟩
Communication dans un congrès
hal-02067915
v1
|
|
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
Communication dans un congrès
hal-02067920
v1
|
|
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
Communication dans un congrès
hal-03300778
v1
|
|
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⟩
Communication dans un congrès
hal-02067927
v1
|
|
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⟩
Communication dans un congrès
hal-02067933
v1
|
|
Collective Singleton-Based Consistency for Qualitative Constraint Networks
Michael Sioutis
,
Anastasia Paparrizou
,
Jean-François Condotta
Communication dans un congrès
hal-02067943
v1
|
|
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
Communication dans un congrès
hal-02067985
v1
|
|
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⟩
Communication dans un congrès
hal-02067973
v1
|
|
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
Communication dans un congrès
hal-02068000
v1
|
|
On Redundancy in Simple Temporal Networks
Jae Hee Lee
,
Sanjiang Li
,
Zhiguo Long
,
Michael Sioutis
Communication dans un congrès
hal-02067967
v1
|
|
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⟩
Communication dans un congrès
hal-02067956
v1
|
|
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⟩
Communication dans un congrès
hal-02068048
v1
|
|
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
Communication dans un congrès
hal-02070301
v1
|
|
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning
Michael Sioutis
,
Yakoub Salhi
,
Jean-François Condotta
Communication dans un congrès
hal-02068030
v1
|
|
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⟩
Communication dans un congrès
hal-02070297
v1
|
|
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⟩
Communication dans un congrès
hal-02067980
v1
|
|
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
Communication dans un congrès
hal-02068039
v1
|
|
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⟩
Communication dans un congrès
hal-01385350
v1
|
|
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⟩
Communication dans un congrès
hal-02068082
v1
|
|
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⟩
Communication dans un congrès
hal-02068070
v1
|
|
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⟩
Communication dans un congrès
hal-02068087
v1
|
|
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⟩
Communication dans un congrès
hal-02068068
v1
|
|
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⟩
Communication dans un congrès
hal-02068074
v1
|
|
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⟩
Communication dans un congrès
hal-02068095
v1
|
|
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⟩
Communication dans un congrès
hal-02068065
v1
|
|
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
Communication dans un congrès
hal-00873047
v1
|
|
Architecture for the heterogeneous federation of future internet experimentation facilities
Wim Vandenberghe
,
Brecht Vermeulen
,
Piet Demeester
,
Alexander Willner
,
Symeon Papavassiliou
et al.
Future Network & Mobile Summit 2013, Jul 2013, Lisbon, Portugal. pp.1--11
Communication dans un congrès
hal-00948947
v1
|
|
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⟩
Communication dans un congrès
hal-02068114
v1
|
|
Building Virtual Earth Observatories Using Ontologies and Linked Geospatial Data
Manolis Koubarakis
,
Manos Karpathiotakis
,
Kostis Kyzirakos
,
Charalampos Nikolaou
,
Stavros Vassos
et al.
Communication dans un congrès
hal-02068133
v1
|
|
Building Virtual Earth Observatories Using Ontologies, Linked Geospatial Data and Knowledge Discovery Algorithms
Manolis Koubarakis
,
Michael Sioutis
,
George Garbis
,
Manos Karpathiotakis
,
Kostis Kyzirakos
et al.
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⟩
Communication dans un congrès
hal-02068121
v1
|
|
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⟩
Communication dans un congrès
hal-02068140
v1
|