Applied Logic Lab

CS 1212

Study of the principles and applications of logic-based methods in databases, verification of concurrent systems, data mining, and Web information systems.

Pentium PC's

Linux, MS Windows

Gnome, GNU C, GNU C++, Latex, Emacs, Prolog

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.

In addition, there are a number of smaller projects in data mining, agent-based systems, and others.

Typically each graduate student can expect to have a personal computer and office space at their disposal

NSF

Dr. Michael Kifer, Dr. I.V. Ramakrishnan, Dr. C.R. Ramakrishnan, Dr. Terrance Swift, Dr. David S. Warren.

http://www.lmc.cs.sunysb.edu