Location

CS 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

http://www.cs.stonybrook.edu/~lmc/