Date: Tuesday, 26-Nov-96 00:54:05 GMT
Server: NCSA/1.3
MIME-version: 1.0
Content-type: text/html
Logic Programming and Nonmonotonic Reasoning at Kentucky
LPNMR AT KENTUCKY
Logic
programming and nonmonotonic reasoning (LPNMR) is an active research
area in the Computer Science Department
at the University of Kentucky.
The research group consists of three faculty of the Department:
These researchers work with a group of students including
Pawel Cholewinski ,
Artur Mikitiuk , Joseph Oldham ,
and Bill Brooks. Main research topics are:
- DERES - a Default Reasoning System
- TheoryBase - a workbench for experimenting with LPNMR
- Complexity and expressibility of LPNMR
- Revision programming
- Default Logic
- Disjunctive Logic Programming
- String Logic
ON-LINE PAPERS