Gérard Ligozat's publications

Books

G. Ligozat (Ed.), Raisonnement qualitatif sur les systèmes dynamiques, le temps et l'espace, in P. Marquis, O. Papini, H. Prade (Eds.), Panorama de l'intelligence artificielle: Ses bases méthodologiques, ses développements, Cépaduès Éditions, 2014.

G. Ligozat, Qualitative Spatial and Temporal reasoning, ISTE/Wiley, London, UK/Hoboken, NJ, 2012.

G. Ligozat, Raisonnement qualitatif sur le temps et l'espace , Hermès/Lavoisier, Paris, December 2010.

K. Stewart Hornsby, C. Claramunt, M. Denis, G. Ligozat (Eds.), Spatial Information Theory, Proc. of the 9th International Conference COSIT 2009, Aber Wrac'h, France, September 2009; Springer LNCS 5756, 2009.

Th. Barkowsky, M. Knauff, G. Ligozat, D. R. Montello, (Eds.), Spatial Cognition V: Reasoning, Action, Interaction, Lecture Notes in Computer Science, Vol. 4387, Springer, 2007.

F. Le Ber, G. Ligozat, O. Papini, Raisonnements sur l'espace et le temps, Traité sur l'Information géographique et Aménagement du Territoire, Hermès / Lavoisier, 2007.

G. Ligozat, Représentation des connaissances et linguistique, Collection a2i, Armand Colin, Paris, 1994.

H. Bestougeff and G. Ligozat, Logical Tools for Temporal Knowledge Representation, Ellis Horwood in Artificial Intelligence, Ellis Horwood, New York, London, 1992.

H. Bestougeff and G. Ligozat, Outils logiques pour le traitement du temps: de la linguistique à l'intelligence artificielle, Masson, Paris, 1989.

Invited lectures and courses since 2010

G. Ligozat Aspects topologiques et géométriques du raisonnement qualitatif sur le temps et l'espace, exposé au Séminaire Philosophie et mathématiques, ENS rue d'Ulm, 1er février 2016.

G. Ligozat, Qualitative Spatial and Temporal reasoning, invited lecture at the University of São Paulo (USP), São Paulo, Brazil, April, 2014.

G. Ligozat, Three decades of qualitative spatial and temporal reasoning, invited lecture at the Münster GI Forum, Münster, Germany, June 18, 2013.

G. Ligozat, Qualitative Spatial Reasoning, one-week course at the International Spatial Cognition Summer Institute (ISCSI 2013), UCSB, Santa Barbara, CA, 18-25 August 2013.

G. Ligozat, Three decades of qualitative spatial and temporal reasoning, Invited keynote talk at the Spatio-Temporal Dynamics Workshop (STeDy 2012) at ECAI 2012, Montpellier, France, August 27, 2012.

G. Ligozat, Qualitative spatial and temporal reasoning, lectures at the GEOCROWD Summer School 2012, organized by NTUA Athens, Free University of Berlin, Aarhus University, St. Andrews University, National University of Ireland, ETH Zurich, and the University of Bremen, Chania, Crete, 30 June - 4 July 2012.

G. Ligozat, Extracting, Annotating and Reasoning about Time and Space in Texts and Discourse, notes for a crash course given at Poznan Adam Mickiewicz University, November 2011.

Publications

2015 Publications

International conferences:

G. Ligozat, P. E. Santos, M. Samghabadi, An Occlusion Calculus based on an Interval Algebra, Brazilian Conference on Intelligent Systems (BRACIS 2015), Nadal, Brazil, November 4-7, 2015.

G. Ligozat, P. E. Santos, Spatial Occlusion within an Interval Algebra, Logical Formalization of Commonsense Reasoning Papers, AAAI Spring Symposium, 2015.

2011 Publications

International journal:

G. Ligozat, Z. Vetulani, J. Osinski, Spatio-temporal Aspects of the Monitoring of Complex Events for Public Security Purposes, Spatial Cognition & Computation: An Interdisciplinary Journal, Volume 11, Issue 1, 2011, pages 103 - 128.

2009 Publications

International conference:

G. Ligozat, Z. Vetulani, J. Osinski, Spatiotemporal Aspects of the Monitoring of Complex Events for Public Security Purposes, IJCAI 2009 Workshop on Spatial and Temporal Reasoning, Pasadena, CA, 2009.

2007 Publications

International conference:

G. Ligozat, J. Nowak and D. Schmitt, From language to pictorial representations, Proc. of the Language and Technology Conference (L&TC'07), Poznan, Poland, 5-7 September, 2007.

National conference:

J.-F. Condotta, G. Ligozat and M. Saade, Eligibilité de contraintes pour la résolution de réseaux de contraintes qualitatives temporelles et spatiales, Atelier RTE 2007, plateforme AFIA, 2 juillet 2007, Grenoble, France.

Invited conference:

G. Ligozat, Raisonnements sur le temps : au carrefour des disciplines, Séminaire LIDILEM, Grenoble, 29 juin 2007.

2006 Publications

International journals

P. Balbiani, J.-F. Condotta and G. Ligozat, On the Consistency Problem for the INDU Calculus, Journal of Applied Logic 4, pp. 119-140, 2006.

M. Bouzid, C. Combi, M. Fisher and G. Ligozat, Guest editorial: Temporal representation and reasoning, Ann. Math. Artif. Intell., 46{3}, pp. 231-234, 2006.

International conferences:

J.-F. Condotta, G. Ligozat and M. Saade, The QAT: A Qualitative Algebra Toolkit, 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06), April 24-28, Damascus, Syria, 2006.

J.-F. Condotta, G. Ligozat and M. Saade, A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi, Symposium TIME-06, Budapest, June 15-17, 2006.

J.-F. Condotta, G. Ligozat, M. Saade, and S. Tripakis, Ultimately Periodic Simple Temporal Networks in Temporal and Spatial Calculi, TIME-06 Symposium, Budapest, June 15-17, 2006.

G. Ligozat, J. Nowak and D. Schmitt, Caesar statuit sibi Rhenum esse transeundum: From language to choremes, in M. Raubal, M.J. Miller, A.U. Frank, M.F. Goodchild (eds.), Proc. of the GIScience Conference, M{\"u}nster, Germany, 20-23 September, 2006, Springer LNCS 4197.

J.-F. Condotta, G. Ligozat and M. Saade, An Empirical Study of Algorithms for Qualitative Temporal or Spatial Networks, in ECAI-2006 Workshop on Spatial and Temporal Reasoning, Riva del Garda, Italy, 28 August-1 September 2006, pp. 34--43, 2006.

Invited conferences:

G. Ligozat, A general algebraic framework for qualitative and temporal reasoning, invited talk at the SFB/TR8 Collaborative Research Center on Spatial Cognition, 19 January 2006, Freiburg, Germany.

G. Ligozat, Invitation au raisonnement temporel: logiques temporelles et raisonnement qualitatif, Séminaire MaMUX, IRCAM, 25 février 2006, Paris.

G. Ligozat, Mathematical Aspects of Spatial and Temporal Reasoning, invited talk at the Workshop on Qualitative Reasoning, Künstliche Intelligenz 2006 (KI'2006), 14-19 June 2006, Bremen, Germany.

G. Ligozat, Pictorial Aspects of Spatial and Temporal Reasoning, Invited talk at the Spatial Cognition 2006 Conference, 24-28 September 2006, Bremen, Germany.

2005 Publications

International journals

G. Ligozat and J.-F. Condotta, On the relevance of conceptual spaces for spatial and temporal reasoning, Spatial Cognition and Computation 5(1), pp. 1-27, 2005.

International conferences:

G. Ligozat 2005, Categorical methods in qualitative reasoning: the case for Weak Representations, in: A. G. Cohn and D. M. Mark (eds) Proceedings of COSIT'05, Ellicottville, New York, 2005. Springer LNCS 3693, pp. 265-282, 2005.

G. Ligozat 2005, Using language for spatial navigation: a progress report. Proc. of the 40th Linguistics Colloquium, Moscow, 2005.

J. Renz and G. Ligozat 2005, Weak Composition for Qualitative Spatial and Temporal Reasoning, in: Proceedings of Constraint Programming 2005 (CP 2005), Sitges, Spain; Springer LNCS 3709, pp. 534-548, 2005.

J.-F. Condotta, G. Ligozat, and S. Tripakis 2005, Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. Proc. of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'2005), 14th-16th November, Hong Kong, pp. 584-588, 2005.

National conference:

J.-F. Condotta, S. Kaci, G. Ligozat, and P. Marquis 2005, Une feuille de route pour la fusion de réseaux de contraintes qualitatives, Actes de l'Atelier RTE 2005, Journés AFIA, 30 mai 2005, Nice, France, 2005.

Invited conference:

G. Ligozat 2005, Un cadre général pour les formalismes de raisonnnement qualitatif sur le temps et l'espace, Atelier RTE 2005, Journés AFIA, 30 mai 2005, Nice, France, 2005.

2004 Publications

International journals

G. Edwards, G. Ligozat 2004, A formal model for structuring local perceptions of environment space, Cognitive Processing: International quarterly of Cognitive Science, Vol. 5, Nr. 1, pp. 3-9, 2004.

E. Przytula-Machrouh, G. Ligozat and M. Denis 2004, Vers des ontologies transmodales pour la description d'itinéraires: Le concept de scène élémentaire, numéro spécial sur les ontologies spatiales de la Revue Internationale de Géomatique, Vol. 14, Nr. 2, pp. 285-302, 2004.

G. Ligozat, D. Mitra, J.-F. Condotta 2004, Spatial and temporal reasoning: beyond Allen's calculus, AI Communications, vol. 17, Nr. 4, pp. 223-233, 2004.

International conferences:

J.-F. Condotta and G. Ligozat 2004, Axiomatizing the Cyclic Interval Calculus. In: Proceedings of KR-2004, Whistler, Canada, pp. 95-105, 2004.

E. Przytula-Machrouh, G. Ligozat and M. Denis 2004, Graphical vs. Verbal Route Descriptions: Looking for Supra-modal Invariants. Poster presentation, Spatial Cognition Conference, Frauenchiemsee Island, Bavaria, Germany, October 10-13, 2004.

G. Ligozat and J. Renz 2004, What is a qualitative calculus? A general framework. In Proceedings of PRICAI'04, Auckland, New Zealand, Springer LNCS 3157, pp. 53- 64, 2004.

G. Ligozat and J. Renz 2004, Problems with local consistency for Qualitative Calculi. In Proceedings of ECAI 2004, pp. 1047-1048, Valencia, Spain, 2004.

National conference:

J.-F. Condotta and G. Ligozat 2004. Une axiomatisation des relations qualitatives du calcul des intervalles cycliques, Actes du quatorzième Congrés Francophone AFRIF-AFIA sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA-2004), vol. 2, pp. 1071-1080, Toulouse France, janvier 2004.

2003 Publications

International conferences:

P. Balbiani, J.-F. Condotta, and G. Ligozat 2003. Reasoning about cyclic space: axiomatic and computational aspects. In Christian Freksa, Wilfried Brauer, Christopher Habel, Karl F. Wender (Eds.), Spatial Cognition III, Routes and Navigation, Human Memory and Learning, Spatial Representation and Spatial Reasoning, Springer LNAI 2685 , 2003.

G. Ligozat , D. Mitra and J.-F. Condotta 2003. Spatial and temporal reasoning: Beyond Allen's calculus. In Proceedings of the AAAI Spring Symposium on Foundations and Applications of Spatio-Temporal Reasoning (FASTR, 2003).

P. Balbiani, J.-F. Condotta and G. Ligozat 2003. On the Consistency Problem for the INDU Calculus, in Proc. of TIME-ICTL 2003, 8-10 July, 2003, Cairns, Australia, 2003.

National conference:

P. Balbiani , J.-F. Condotta and G. Ligozat 2003. Le problème de la cohérence des réseaux de contraintes du formalisme INDU. in Actes des 9èmes Journées Nationales sur la Résolution Pratique des problèmes NP-complets (JNPC'03), 2003, paper selected for publication in JEDIA (Journal Electronique d'Intelligence Artificielle).

Invited talks:

G. Ligozat 2003, Constraint-based temporal and spatial and reasoning à la Allen : Some open questions, Invited talk at the COST 274 / TARSKI Workshop, 22-25 January, 2003, Leeds, UK.

G. Ligozat 2003. Aspects of Constraint-Based Qualitative Spatial Reasoning. Lectures at the "International Summer Course on Spatial Information (ISCSI)", Bad Zwischenahn, Germany, September 1-5, 2003.

2002 Publications

International journal:

D. Mitra, G. Ligozat 2002, Spatial Reasoning for Agents in Multiple Dimensions, Journal of Universal Computer Science, vol. 8, Nr. 8, pp. 774-791, 2002.

International conferences:

E. Galiotou, G. Ligozat 2002, A representational scheme for temporal and causal information processing, LREC 2002 Workshop on "Annotation standards for temporal information in natural language", 27th May 2002, Las Palmas, Canary Islands, Spain.

E. Galiotou, G. Ligozat, A Formal Model for the Representation of Processes having an Internal Structure, Fifth European Conference on System Science, 16-19 October 2002, Hersonissos, Crete, Greece.

Invited talks:

G. Ligozat 2002, Qualitative Spatial and Temporal Reasoning. Invited talk at Artificial Intelligence: Theory and Practice, KBCS-2002 Conference, Bombay, India, December 2002.

G. Ligozat 2002, From Local to Global: Suggestions for Future Work, GEOIDE Workshop, Toronto, Canada, 20 mai 2002.

2001 Publications

International conferences:

D. Mitra, G. Ligozat, L. Hossain 2001, Modeling of Multidimensional Relational Constraints between Point-Objects , in : Proceedings of the FLAIRS-2001 Conference, Key West, Florida, pp. 562-567, 2001.

D. Mitra, G. Ligozat 2001, Multidimensional Point-Based Reasoning for Mobile Agents , Working Notes of the IJCAI-01 Workshop Spatial-Temporal Reasoning with Agents Focus, Seattle, WA, 2001, pp. 51-58.

G. Ligozat 2001, When Tables Tell It All , COSIT'01 (Conference on Spatial Information Theory), Morro Bay, CA, Springer LNCS 2205, pp. 60-75, 2001.

2000 Publications

International journal:

G. Ligozat, G. Edwards 2000, Implicit Spatial Reference Systems using Proximity and Alignment Knowledge, Spatial Cognition and Computation: An Interdisciplinary Journal, vol. 2, Nr. 4, pp. 373-392, 2000.

International conferences:

Ph. Balbiani, J.-F. Condotta, G. Ligozat 2000, Reasoning about generalized intervals; preconvex relations and tractability, Proceedings of the TIME-2000 Conference.

G. Ligozat 2000 , From Language to Motion, and Back: Generating and Using Route Descriptions. Proc. of the Second International Conference on Natural Language Processing, NLP-2000, Patras, Greece, Springer LNAI 1835, pp. 328-345.

G. Ligozat 2000 , Invitation au raisonnement temporel, in: Thematic School on Documents and Evolution, Marseilles, France, Cépaduès Editions, Toulouse, France, 2000.

1999 Publications

International conferences:

G. Ligozat 1999, What Composition Tables Tell Us, Proceedings of the IJCAI-99 Workshop on Hot Topics in Spatial and Temporal Reasoning, Stockholm, Sweden.

G. Ligozat 1999, Simple Models for Simple Calculi, Proceedings of COSIT'99, Stade, Germany.

G. Ligozat 1999, Reasoning with Diagrams: The Semantics of Arrows, Proceedings of IEA/AIE-99, Cairo, Egypt. Springer LNAI 1611, 236-245.

G. Ligozat 1998, Generalized Intervals: A Guided Tour, Proceedings of the ECAI-98 Workshop on Spatial and Temporal Reasoning, Brighton, UK.

G. Ligozat 1998 , ''Corner'' Relations in Allen's Algebra, Constraints: An International Journal, 3 , 165-177 (1998).

G. Ligozat 1998 , Reasoning about Cardinal Directions, Journal of Visual Languages and Computing (1998) 9 , 23-44.

G. Ligozat, J. Marciniak, J. Martinek and Z. Vetulani 1997 , Modelling Linguistic Competence for Guiding a Robot: A Corpus-Based Approach, Proceedings of the IJCAI-97 Workshop on Spatial and Temporal Reasoning, Nagoya, Japan.

A. Gryl, G. Edwards, G. Ligozat, B. Moulin 1997, The semantics of spatial expressions and the Voronoi Model, Proceedings of the RIAO Conference, Montreal, Canada.

G. Ligozat 1997, Figures for Thought: Temporal Reasoning with Pictures, Proceedings of the AAAI-97 Workshop on Spatial and Temporal Reasoning, Providence, RI.

A. Gryl, M. Denis and G. Ligozat, Gérard 1996 , La description d'itinéraires: éléments pour un générateur en langage naturel, Actes du XXVIème Congrès International de Psychologie, Montréal, Canada.

G. Edwards, G. Ligozat, A. Gryl, L. Fraczak, B. Moulin and C.M. Gold 1996, A Voronoi-based Pivot Representation of Spatial Concepts and Its Application to Route Descriptions Expressed in Natural Language, Proceedings of the 7th International Conference on Spatial Data Handling, Delft, The Netherlands.

A. Gryl, G. Ligozat and G. Edwards 1996, Spatial and temporal elements of route descriptions, Proceedings of the AAAI-96 Workshop on Spatial and Temporal Reasoning, Thirteenth National Conference on Aritificial Intelligence, Portland, Oregon.

Gérard Ligozat 1996, ''Corner'' relations in Allen's algebra, Actes AAAI-96 Workshop on Spatial and Temporal Reasoning, Portland, Oregon.

Christian Bessière, Amar Isli and Gérard Ligozat 1996, Global consistency in interval algebra networks: tractable subclasses, Proceedings of ECAI-96, Budapest, Hungary.

Gérard Ligozat 1996, A New Proof of Tractability for ORD-Horn Relations, Proceedings of the National Conference on Artificial Intelligence (AAAI-96), Portland, Oregon.

Gérard Ligozat 1996, Representations of Space and Time in Survey of the state of the art in human language technology, R. A. Cole, J. Mariani, H. Uskoreit, A. Zaenen and V. Zue (éd.), Kluwer Academic Press.

Geoffrey Edwards, Gérard Ligozat, Agnès Gryl, Lidia Fraczak, Bernard Moulin and C. M. Gold 1995, Un modèle pivot de l'espace basé sur les diagrammes de Voronoï : application aux descriptions d'itinéraires en langage naturel, Actes des Journées Cassini, Marseille.

Agnes Gryl and Gérard Ligozat 1995, Generating Route Descriptions: a Stratified Approach, Proceedings of the IJCAI-95 Workshop on Spatial and Temporal Reasoning, Montréal, Québec.

Robert A. Morris, Lina Khatib and Gérard Ligozat 1995, Generating Scenarios from Specifications of Repeating Events, Proceedings of TIME-95, FLAIRS-95, Melbourne, Florida.

Amar Isli and Gérard Ligozat 1995, Reasoning in Allen's algebra: the pointizable subclass revisited.

Amar Isli and Gérard Ligozat 1995, The constraint propagation algorithm and the convex part of generalized interval algebra.

Amar Isli and Gérard Ligozat 1994, An optimal backtrack algorithm for Allen's interval algebra [topological closure, pre-convex, minimal].

Gérard Ligozat 1994, Towards a general characterization of conceptual neighborhoods in temporal and spatial reasoning, Proceedings of the AAAI-94 Workshop on Spatial and Temporal Reasoning, Seattle, WA.

Gérard Ligozat 1994, Tractable relations in temporal reasoning: pre-convex relations, Proceedings of the ECAI-94 Workshop W12 on Spatial and Temporal Reasoning, Amsterdam, The Netherlands.

Gérard Ligozat 1994, Towards a general characterization of conceptual neighborhoods in temporal and spatial reasoning, Proceedings of the AAAI-94 Workshop on Spatial and Temporal Reasoning, Seattle, WA.

Gérard Ligozat 1994, Temporal Reasoning Made Simpler, Proceedings of Industrial and Engineeering Applications of Artificial Intelligence and Expert Systems AIEA/AIE-94, Austin, Texas.

Christian Freksa and Gérard Ligozat 1993, European Activities in the Area of Qualitative Spatial Reasoning.

Gérard Ligozat 1993, Importing Temporal Calculi for Spatial Reasoning, Proceedings of the COSIT'93 Workshop, Marciana Marina, Italy.

Gérard Ligozat 1993, Spatio-temporal reasoning in AI: its relevance to GIS research, Proceedings of the ACM Workshop on Advances in Geographic Information Systems, Arlington, Virginia.

Gérard Ligozat 1993, Models for Qualitative Spatial Reasoning, Proceedings of the IJCAI'93 Workshop, Chambéry, France.

Gérard Ligozat 1993, Qualitative Triangulation for Spatial Reasoning, Proceedings of COSIT'93 European Conference on Spatial Information Theory, Marciana Marina, Elba Island, Italy.

Gérard Ligozat and Michael Zock 1992, How to visualize Time, Tense, and Aspect?, Proceedings of COLING-92, Nantes.

Gérard Ligozat 1992, Strategies for route description: an interdisciplinary approach, Proceedings of the ECAI-92 Workshop W19, Spatial Concepts: Connecting Cognitive Theories with Formal Representations, Vienna, Austria.

G. Ligozat and H. Bestougeff 1991, Reasoning about temporal knowledgeProceedings of the 24th Linguistisches Kolloquium: Betriebslinguistik und Linguistikbetrieb, Niemeyer,.

G. Ligozat and Michael Zock 1991, Generating Temporal Expressions from Icons dans Proceedings of the 25th Linguistisches Kolloquium:: Neue Fragen der Linguistik, Niemeyer, Tübingen.

Gérard Ligozat 1991, On Generalized Interval Calculi, Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), Anaheim, CA, pp.234-240.

G. Ligozat 1990, Intervalles généralisés I, Comptes Rendus de l'Académie des Sciences de Paris, Série A, volume 310.

G. Ligozat 1990, Intervalles généralisés II, Comptes Rendus de l'Académie des Sciences de Paris, Série A, volume 310.

Gérard Ligozat 1990, Weak Representations of Interval Algebras, Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), Boston, MA, pp. 715-720.

G. Ligozat 1989, Two level Morphology with an Application to Turkish dans Proceedings of the 23nd Linguistisches Kolloquium, Niemeyer.

G. Ligozat and H. Bestougeff 1989, On Relations between Intervals , Information Processing Letters, volume 32.

G. Ligozat 1988, Computational Morphological Analysis of Turkish, Proceedings of the ALLC Conference, Jerusalem, Israel.

H. Bestougeff and G. Ligozat 1987, Plausible reasoning in expert systems, Proceedings of the IASTED International Conference on EXPERT SYSTEMS, Geneva, Switzerland.

G. Ligozat 1986, Points et intervalles combinatoires, TA Informations, volume 27, numéro 1.

H. Bestougeff and G. Ligozat 1985, Parametrized abstract objects for linguistic information processing, Proceedings of the Second Conference of the European Chapter of the Association for Computational Linguistics, Geneva, Switzerland.

H. Bestougeff and G. Ligozat 1984, Processing tense information in French utterances, Proceedings of the Sixth European Conference on Artificial Intelligence (ECAI 84), Pisa, Italy.

H. Bestougeff and G. Ligozat 1984, La déduction temporelle en situation orientée par l'action, Actes Colloque GRECO, Nancy, France.