Jean-François Condotta
According to our database1,
Jean-François Condotta
authored at least 70 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024
Proceedings of the Thirty-Seventh International Florida Artificial Intelligence Research Society Conference, 2024
2023
2022
Proceedings of the 34th IEEE International Conference on Tools with Artificial Intelligence, 2022
2021
Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021
2020
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020
Proceedings of the A Guided Tour of Artificial Intelligence Research: Volume I: Knowledge Representation, 2020
2019
Collective singleton-based consistency for qualitative constraint networks: Theory and practice.
Theor. Comput. Sci., 2019
2018
A Hybrid Evolutionary Algorithm for Maximizing Satisfiability in Temporal or Spatial Qualitative Constraints.
Proceedings of the 10th Hellenic Conference on Artificial Intelligence, 2018
Using the hybrid ILS/VND method for solving the patients scheduling problem in emergency department: a case study.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018
2017
Studying the use and effect of graph decomposition in qualitative spatial and temporal reasoning.
Knowl. Eng. Rev., 2017
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
A Lazy Algorithm to Efficiently Approximate Singleton Path Consistency for Qualitative Constraint Networks.
Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017
2016
Int. J. Artif. Intell. Tools, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
A SAT Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Local Search for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2016
2015
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015
On the use and effect of graph decomposition in qualitative spatial and temporal reasoning.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework.
Proceedings of the Artificial Intelligence Applications and Innovations, 2015
A Practical Approach for Maximizing Satisfiability in Qualitative Spatial and Temporal Constraint Networks.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015
Proceedings of the Twenty-Eighth International Florida Artificial Intelligence Research Society Conference, 2015
Proceedings of the 2nd Workshop on Linked Data Quality co-located with 12th Extended Semantic Web Conference (ESWC 2015), 2015
2014
Proceedings of the Artificial Intelligence: Methods and Applications, 2014
Proceedings of the Artificial Intelligence: Methods and Applications, 2014
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2014
2013
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013
Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints.
Proceedings of the IJCAI 2013, 2013
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013
2012
From Path-Consistency to Global Consistency in Temporal Qualitative Constraint Networks.
Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012
2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the ECAI 2010, 2010
2009
Proceedings of the ICTAI 2009, 2009
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009
Proceedings of the Spatial Information Theory, 9th International Conference, 2009
Proceedings of the Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, 2009
2008
Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, 2008
2007
Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), 2007
Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks.
Proceedings of the Principles and Practice of Constraint Programming, 2007
2006
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006
Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 2006
2005
Spatial Cogn. Comput., 2005
Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005
2004
Constraints An Int. J., 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
2003
Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003
Proceedings of the Spatial Cognition III, Routes and Navigation, Human Memory and Learning, 2003
2002
Computational Complexity of Propositional Linear Temporal Logics Based on Qualitative Spatial or Temporal Reasoning.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002
2000
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000
The Augmented Interval and Rectangle Networks.
Proceedings of the KR 2000, 2000
Tractable Sets of the Generalized Interval Algebra.
Proceedings of the ECAI 2000, 2000
1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations.
Proceedings of the Progress in Artificial Intelligence, 1999
1998
A Model for Reasoning about Bidemsional Temporal Relations.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Proceedings of the Artificial Intelligence: Methodology, 1998