Directory of research groups in the field
Members of previous SIG-STER network
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:
Bob Kowalski and
Jim Cunningham.
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.
Non SIG-STER groups
Amsterdam: CCSOM,
Uni Amsterdam, Netherlands [CCSOM].
Austin:
The Artificial Intelligence Laboratory,
Uni. of Texas at Austin, USA [Texas-AIL].
Berkeley:
International Computer Science Institute, Berkeley, CA, USA. [ICSI].
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:
Leo Bertossi and
Javier Pinto.
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].
|