The objective of this project is to develop a unified framework for modeling, expressing and efficiently supporting semantic concepts and constraints required for building the next generation of intelligent information systems. The proposed unification will include non-determinism in deductive rules and active rules for databases, non monotonic logic and common-sense reasoning. The project goals will achieved through the collaborative of leading research teams who are currently active in these areas in the U.S. and Europe. Dissemination of the research results will be through scholarly publications and a major international workshop organized in the second year of the project. Specific research tasks will address.

Agency
National Science Foundation (NSF)
Institute
Division of Information and Intelligent Systems (IIS)
Type
Standard Grant (Standard)
Application #
9314905
Program Officer
Program Director
Project Start
Project End
Budget Start
1994-09-15
Budget End
1996-08-31
Support Year
Fiscal Year
1993
Total Cost
$20,000
Indirect Cost
Name
University of California Los Angeles
Department
Type
DUNS #
City
Los Angeles
State
CA
Country
United States
Zip Code
90095