Knowledge Systems Lab

Location	NCS-230
Mission	Study of the principles and applications of logic-based methods in databases, verification of concurrent systems, data mining, and Web information systems.
Details	Members of the Lab are engaged in three major projects: FLORA - a declarative object-oriented language for programming knowledge intensive applications. The LMC (Logic Programming-Based Model Checking) XSB - A high-performance logic programming and deductive database system.
Coordinator	Michael Kifer, I.V. Ramakrishnan, C.R. Ramakrishnan, Paul Fodor
Lab Web Page	Knowledge Systems Lab