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