Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Mirosław Truszczyński
[go: Go Back, main page]

My picture

MIROSLAW (MIREK) TRUSZCZYNSKI

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

NonMon@30 - Thirty Years of Nonmonotonic Reasoniong, Lexington, KY, October 22-25
27th International Conference on Logic Programming, ICLP 2011

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)
Third Polish Combinatorial Conference, Bedlewo, Poland, 2010 - invited talk on combinatorics and preferences


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


FOR SUDOKU LOVERS

With Raphael Finkel and Victor Marek we use SAT techniques to generate
sudoku puzzles. If you want to try your skills, check out our book
Puzzles Galore Volume I (Sudoku and other puzzles).