http://cirl.uoregon.edu/ (World Wide Web Directory, ~04/1995)
Computational Intelligence Research Laboratory
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.
Emphasis is on planning, constraint satisfaction, and reasoning about
action and physical devices. Laboratory faculty members participate in some
Computer and Information Science activities, including the supervision of
graduate students.
The laboratory provides financial support for students and fosters an
intimate relationship among a small group of researchers working in
closely-related areas and the graduate students they supervise. The
Computational Intelligence Research Laboratory is committed to having no
more than twice as many students as faculty members.
CIRL is located in the Riverfront Research Park in Eugene, the mailing
address is 1269 University of Oregon, Eugene, OR 97403-1269, phone
503/346-0470.
Faculty
Graduate Students
Software
Satisfiability Solvers
We have a satisfiability demo on line,
that allows you to test a number of solvers on different problems.
The binaries for a few solvers can be downloaded. These are compiled for
SunOS 4.1.3. If you are not familiar with how to download binaries, click
here for a few hints.
- Isamp
- Tableau Owned by AT&T; contact Crawford for more information
- Wsat, from Baker
Inference Engines
- MVL, from Ginsberg
- DTP, from Geddis
Other
Ginsberg is maintaining a list of
publicly available AI systems.
Documents
Ginsberg's recent papers.
Papers and other information on
scheduling work done at CIRL.
More documents are available in CIRL's FTP directory.
Additional information about the University of Oregon computer science
department, including application materials for potential graduate
students, can be obtained from Betty Lockwood
<betty@cs.uoregon.edu>.
CIRL faculty can also be contacted if you have questions about
research agendas, etc.
<WebMaster@Wrigley.UOregon.EDU>
http://cirl.uoregon.edu/ (World Wide Web Directory, ~04/1995)