Miroslaw Truszczynski
Mirosław Truszczyński studies logic-based representations of knowledge and reasoning when conclusions can change with new information. Truszczyński received his doctorate from Warsaw University of Technology in 1980. He joined Kentucky’s computer science department in 1984 and became a professor in 1991. Truszczyński served as chair of Kentucky’s computer science department from 1993 to 2007. His scholarly interests include logic programming, knowledge representation, and constraint satisfaction.
- Now at
- University of Kentucky
- Works
- 304
- Citations
- 7,423
- h-index
- 35
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
1980
Doctoral training
Truszczyński received his doctorate from Warsaw University of Technology in 1980. He joined Kentucky’s computer science department in 1984 and became a professor in 1991.
-
1993–2007
Department leadership
Truszczyński served as chair of Kentucky’s computer science department from 1993 to 2007. His scholarly interests include logic programming, knowledge representation, and constraint satisfaction.
-
2013
Research recognition
AAAI elected Miroslaw Truszczynski as a Fellow in 2013.
-
As of October 2026
Nonmonotonic logic
Truszczyński and Victor Marek wrote the research monograph Nonmonotonic Logic on the mathematical foundations of reasoning that can revise conclusions.
-
As of October 2026
Stable logic programming
Their shared paper Stable Logic Programming helped establish answer-set programming.
Sources and credits
Photo: www.cs.uky.edu; Miroslaw Truszczynski profile photograph; creator not stated. License: Not stated by source. Source: cs.uky.edu. Cropped to a square and resized. Ask us to remove or replace this photo.