My picture


My office hours are: M 15:45 - 17:00, W 13:15 - 14:30, and by appointment

Office: how and where to reach me
Teaching: information on my classes
Papers on-line
Short bio
My google scholar profile


AAAI Fellow (2013)
for significant contributions to the theory of nonmonotonic reasoning and to the invention of answer set programming

Theory and Practice of Logic Programming (TPLP)

TPLP is a primary venue for publishing original research results on logic programming. The journal is published by Cambridge University Press. Since January 1, 2015, I serve as its Editor-in-Chief. Consider submitting your work to TPLP. Please, contact me if you have quesitons.

LPNMR 2015

After twently years, Logic Programming and Non-monotonic Reasoning Conference, LPNMR, is back in Lexington! We hope to see you here. For information check the LPNMR 2015 website


NMR-04 - Invited talk (pdf file)
LASH-06 - Invited talk (pdf file)
CSL-06 - Invited talk (pdf file)
ASP-07 - Invited talk (pdf file)
ICLP-07 - Invited tutorial (pdf file)
ESSLLI-08 - Recent Advances in Nonmonotonic Reasoning (pdf file)
3rd International Compulog/ALP Summer School on Logic Programming and Computational Logic - tutorial on foundations of logic programming (pdf file)
ICLP 2009 Dinner Speech (pdf file)
PCC 2010, the Third Polish Combinatorial Conference, Bedlewo, Poland, 2010 - invited talk on combinatorics and preferences
KR 2018 - Answer Set Programming, a Story of Default Negation, Definitions and Informal Semantics; Great Moments in KR Invited Talk


University of Kentucky Computer Science Department
Association for the Advancement of Artificial Intelligence
Association for Logic Programming, ALP
Principles of Knowledge Representation and Reasoning, Incorporated (KR, Inc.)
International Workshops on Nonmonotonic Reasoning (NMR)


With Raphael Finkel and Victor Marek we use SAT techniques to generate sudoku puzzles. Try your skills at Puzzle of the Day