Research Groups
Laboratory for Logic, Databases, and Advanced Programming (NM, USA)
XSB Research Group (Stony Brook, USA)
Knowledge Representation Group (El Paso, USA)
Artificial Intelligence and Logic Research Group (Univ. of Kentucky).
University of Arizona.
Logic and Functional Programming Group (Simon Fraser University).
UFRGS Logic Programming Group, Rio Grande do Sol, Brazil.
UFRJ Logic Programming Group, Rio de Janeiro, Brazil.
Laboratory for Integrated Knowledge Systems (Univ. of Maryland).