This list contains research groups that are specifically dedicated to spatial and temporal reasoning, with a clear emphasis on reasoning about actions and change. Also included are departments or institutes where this research topic is a large, but not a dominant activity. Finally, the list includes a few networks and cooperation projects.
The list is generated from a small database of research groups, universities, cities, etc. The abbreviation or code within brackets is the identifier that is used in the database for the group in question.
This section of the list contains Compulog nodes (or substructures of Compulog nodes) which have applied to be included in SIG-STER.
Amsterdam: Institute for Logic, Language and Computation, Uni Amsterdam, Netherlands [ILLC].
Barcelona: Institut d'Investigació en Intel.ligència Artificial, Uni Barcelona, Spain [IIIA]. Contact: Lluís Vila.
Bologna: CIRFID, Uni Bologna, Italy [CIRFID]. Contact: Alessandro Provetti.
Brussels: CS department, Uni Brussels (ULB), Belgium [ULBrussels-CS]. Contact: Marianne Baudinet.
Darmstadt: Dept of Artificial Intelligence, TU Darmstadt, Germany [Darmstadt-AI]. Contact: Wolfgang Bibel.
Genova: Mechanized Reasoning Group, Uni Genova, Italy [Genova-MRG]. Contact: Enrico Giunchiglia.
Karlsruhe: Computational Logic Group, Uni Karlsruhe, Germany [Karlsruhe-CL]. Contact: Christoph Brzoska.
Leeds: Spatial Reasoning Group, Uni of Leeds, United Kingdom [Leeds-SRG]. Contact: Anthony Cohn.
Leuven: Logic Programming and Artificial Intelligence Group, KU Leuven, Belgium [Leuven-LPAIG].
Linköping: Knowledge Processing Laboratory, Uni Linköping, Sweden [Linkoping-KPL]. Contact: Patrick Doherty.
Lisbon: Center for Artificial Intelligence, Uninova, Lisbon, Portugal [CRIA]. Contact: Renwei Li.
Lisbon: Computational Logic Group, New University of Lisbon, Portugal [GLOC]. Contact: António Porto.
Lisbon: Natural Language Group, New University of Lisbon, Portugal [GLiNt]. Contact: Gabriel Pereira Lopes.
London: Department of Computing, Imperial College, London, United Kingdom [Imperial-CS]. Contact:
London: Department of Computer Science, Queen Mary and Westfield College, London, United Kingdom [QMW-CS]. Contact: Murray Shanahan.
Marseille: Laboratoire d'Informatique de Marseille, Université de la Méditerrannée, Marseille, France [LIM-CNRS]. Contact: Camilla Schwind.
München: Institut für Informatik, Ludwig-Maximilians-Universität München, Germany [Munich-CS]. Contact: Thom Frühwirth.
Paris: Verso project, INRIA - Rocquencourt, Paris, France [Verso]. Contact: Stephane Grumbach.
Pisa: Models and Languages Group, CNUCE, Pisa, Italy [CNUCE-ML]. Contact: Fosca Giannotti.
Povo TN: Knowledge Representation and Reasoning Group, Institute for Research in Science and Technology (IRST), Povo TN, Italy [IRST-KRR]. Contact: Enrico Franconi.
Rome: Artificial Intelligence Group, Uni Rome 'La Sapienza', Italy [Rome-AI]. Contact: Marco Schaerf.
Saarbrücken: Deutsches Forschungszentrum für Künstliche Intelligenz, Saarbrücken, Germany. [DFKI]. Contact: Gerd Herzog.
Torino: Logic Programming and Automatic Reasoning Group, Uni Torino, Italy [Torino-LP]. Contact: Alberto Martelli.
Toulouse: Institute for Research in Informatics in Toulouse, France. [IRIT]. Contact: Luis Fariñas del Cerro.
Ulm: A.I. group, Dept of Computer Science, Uni Ulm, Germany [Ulm-AI]. Contact: Bernhard Nebel.
Uppsala: CS Department, Uppsala Uni, Sweden [Uppsala-CS]. Contact: Jonas Barklund.
This section contains a list of other similar interest groups.
This section of the list contains other research groups in the field, besides those who have applied to be SIG-STER member nodes. Groups both inside and outside of Europe are included. Most of the entries have been obtained, with his approval, from a collection by Rob Miller: "a WWW page giving a list of research groups and individual researchers concerned with Reasoning About Actions." We will be happy to include additional groups; contributions are invited.
Amsterdam: CCSOM, Uni Amsterdam, Netherlands [CCSOM].
Austin: The Artificial Intelligence Laboratory, Uni. of Texas at Austin, USA [Texas-AIL].
Berkeley: Dept of Computer Science, Uni of California at Berkeley, USA [Berkeley-CS].
Cambridge, MA: Artificial Intelligence Laboratory, MIT, Cambridge, MA, USA [MIT-AI].
Edinburgh: Dept of Artificial Intelligence, Uni of Edinburgh, United Kingdom [Edinburgh-AI].
El Paso: Knowledge Representation Group, Uni of Texas at El Paso, USA [ElPaso-KRG].
Eugene: Computational Intelligence Research Laboratory (CIRL), Uni of Oregon, Eugene, USA [Oregon-CIRL].
Irvine: Dept of Information and Computer Science, Uni of California at Irvine, USA [Irvine-ICS].
Lafayette: Center for Advanced Computer Studies, Uni of Southwestern Louisiana, Lafayette, USA [CACS].
College Park, MD: Active Logic Group, Uni of Maryland, College Park, MD, USA [ALG].
Milwaukee: Dept of EE and Computer Science, Uni of Wisconsin at Milwaukee, USA [Milwaukee-EECS].
New York: Dept of Computer Science, New York University, USA [NYU-CS].
Oslo: Dept of Philosophy, Uni Oslo, Norway [Oslo-phil].
Pittsburgh: Robotics Institute, Carnegie-Mellon Uni, Pittsburgh, Penn., USA [CMU-RI].
Rochester: TRAINS Project, Uni of Rochester, NY, USA [TRAINS].
Rotterdam: Dept of Philosophy, Erasmus Uni, Rotterdam, Netherlands [ErasmusU-phil].
Santiago: LYRCC group: Lógica y Representación Computacional de Conocimiento, Pontificia Universidad Católica de Chile, Santiago, Chile [LYRCC]. Contact:
São Paolo: Laboratory for Integrated Systems, Uni São Paolo, Brazil [SaoPaolo-LIS].
Stanford: The Formal Reasoning Group, Stanford Uni, Stanford, CA, USA [Stanford-FRG].
Syracuse: Dept of Philosophy, Syracuse Uni, NY, USA [Syracuse-phil].
Toronto: Cognitive Robotics Group, Uni of Toronto, Canada [Toronto-CRG].
Toronto: Enterprise Integration Laboratory, Uni of Toronto, Canada [EIL].