NORTH AMERICA

United States of America

Groups:

Constraints Research and Reading Group (CR2G)

Address: Department of Computer Science
University of Texas, El Paso
El Paso – 79902

• People:
  • Martine Ceberio (mceberio/cs.utep.edu)
• Links:
  • http://www.cs.utep.edu/mceberio
  • http://cr2g.constraintsolving.com/
• Projects:
  • Constraint Solving and flexible constraints
  • Interval Computations
  • Optimization
  • Multi-criteria decision making
  • Non-Square interval matrices

Knowledge representation, Logic, and Advanced Programming Laboratory (KLAP)

Address: Department of Computer Science
New Mexico State University
P.O Christian radio games for free. Box 30001, MSC CS
Las Cruces, NM 88003-0001

• People:
  • Enrico Pontelli(epontell/cs.nmsu.edu)
• Links:
  • http://www.cs.nmsu.edu/~epontell/
• Projects:
  • Optimizations of Parallel Systems
  • Towards the Extended Andorra Model
  • {log}: Constraint Logic Programming with Finite Sets

Computational Intelligence Research Laboratory (CIRL)

The Computational Intelligence Research Laboratory (CIRL) of the University of Oregon has a research focus on basic questions in artificial intelligence including search, knowledge representation, and reasoning garmin display design herunterladen. Emphasis is on planning, constraint satisfaction, and commonsense reasoning. Laboratory faculty members participate in some Computer and Information Sciences Department activities and shared recreational activities zeichnen app downloaden.

Address: CIRL
1269 University of Oregon
P.O. Box 30001, MSC CS
Eugene, OR USA 97403-1269

• People:
  • David W französisch lernprogramm kostenlos downloaden. Etherington (ether/cirl.uoregon.edu)
  • Matthew L. Ginsberg (ginsberg/cirl.uoregon.edu)
• Projects:
  • Context-based Nonmonotonic Reasoning
  • Optimization
  • Approximate Reasoning

Constraints Research Group

Address: University of Washington
Box 352350
Seattle, WA 98195-2350
USA

• People:
  • Alan Borning (borning/cs.washington.edu)
• Links:
  • http://www.cs.washington.edu/homes/borning/
• Research:
  • Land Use, Transportation, and Environmental Modeling
  • Constraints and Constraint Satisfaction Algorithms

Knowledge Representation Group (KRLab)

Address: Department of Computer Science
Texas Tech University
College of Engineering
Box 43104
Lubbock, Tx 79409

• People:
  • Michael Gelfond (mgelfond/cs.ttu.edu)
  • Richard Watson (rwatson/cs.ttu.edu)
  • Yuanlin Zhang (yzhang@redwood.cs.ttu.edu)
• Links:
  • http://www.krlab.cs.ttu.edu/
• Research:

Automated Reasoning Group

Address: School of Information and Computer Science
University of California,
Irvine, CA 92697-3435

• People:
  • Dr neflix. Rina Dechter (dechteri/cs.uci.edu)
• Link:
  • http://blogs.uci.edu/automatedreasoninggroup/
• Research:
  • Automated Reasoning,
  • Knowledge-Representation,
  • Planning and Learning

Institute for Computational Sustainability

Address: Dept how to pictures from instagram. Computer Science
Cornell University
Ithaca, NY   14853    USA

• People:
  • Carla P herunterladen. Gomes
  • David Shmoys
  • Thomas Dietterich
  • Mary Lou Zeeman
• Link:
  • http://www.cis.cornell.edu/ics/index.php
• Research:
  • Constraint reasoning
  • Optimization
  • Machine learning
  • Data mining
  • Dynamical systems

Intelligent Information Systems Institute

Cornell University
5133 Upson Hall
Ithaca, NY  14853

• People:
  • Claire Cardie
  • Rich Caruana
  • Jon Conrad
  • Raffaello D’Andrea
  • Johannes Gehrke
  • Carla Gomes
  • Joseph Halpern
  • Juris Hartmanis
  • John Hopcroft
  • Thorsten Joachims
  • Jon Kleinberg
  • Lillian Lee
  • William Lesser
  • José F quicksync gratis downloaden. Martínez
  • Ashish Sabharwal
  • Bart Selman
  • Phoebe Sengers
  • David Shmoys
  • Chris Shoemaker
  • Steve Strogatz
  • Stephen Wicker
• Link:
  • http://www.cis.cornell.edu/iisi/
• Research:
  • Automated Reasoning
  • Modeling Uncertainty
  • Machine Learning
  • Information Retrieval

Optimization Laboratory

Department of Computer Science
Brown University,
Box 1910
Providence, RI 02912, USA

• People:
  • Pascal Van Hentenryck
• Link:
  • http://www.cs.brown.edu/people/pvh/optLab/Welcome.html
• Research:
  • Constraint Programming
  • Global Optimization

People:

Laurent Michel

• Email:
  • Laurent Michel (ldm/engr.uconn.edu)
• Links:
  • http://www.engr.uconn.edu/~ldm/
• Projects:
  • Combinatorial Optimization
  • Constraint Programming
  • Local Search
  • Programming Languages
  • Artificial Intelligence
  • Voting Technology Research Center(VoTeR)

Canada

Groups:

Enterprise Integration Laboratory

• People:
  • Mark S download ccleaner for free. Fox (msf/eil.utoronto.ca)
• Links:
  • http://www.eil.utoronto.ca/profiles/foxpro.html
• Research:
  • Constraint directed scheduling
  • Agent-architecture and Coordination

People:

Maarten H. Van Emden

Maarten H. Van Emden (vanemden / cs.uvic.ca)

• Links: http://webhome.cs.uvic.ca/~vanemden/index.html
• Projects:
  • Algorithmic Art.
  • Elements of Programming