Knowledge Systems Lab
|Study of the principles and applications of logic-based methods in databases, verification of concurrent systems, data mining, and Web information systems.
Members of the Lab are engaged in three major projects:
|Michael Kifer, I.V. Ramakrishnan, C.R. Ramakrishnan, Paul Fodor
|Lab Web Page
|Knowledge Systems Lab