Victor W Marek, Ph.D.


Research Areas: constraint satisfaction, design of databases and knowledge bases, Logical foundations of AI

University of Kentucky, College of Engineering
Computer Science - CS
303 DMB
Lexington, KY 40506-0633
Phone: 859-257-3496
Fax: 859-323-1971


Marek co-organized two international meetings, both in Lexington: Conference: 30 years of Nonmonotonic Reasoning and International Conferences on Logic Programming.

Current Project:

Marek’s current project is related to applications of logic to access control.