Follow
Miroslaw Truszczynski
Miroslaw Truszczynski
Professor of Computer Science, University of Kentucky
Verified email at cs.uky.edu
Title
Cited by
Cited by
Year
Answer set programming at a glance
G Brewka, T Eiter, M Truszczyński
Communications of the ACM 54 (12), 92-103, 2011
12302011
Stable models and an alternative logic programming paradigm
VW Marek, M Truszczyński
The logic programming paradigm: A 25-year perspective, 375-398, 1999
10161999
Nonmonotonic logic: Context-dependent reasoning
VW Marek, M Truszczynski
Springer-Verlag New York, Inc., 1997
728*1997
Autoepistemic logic
W Marek, M Truszczyński
Journal of the ACM (JACM) 38 (3), 587-618, 1991
5641991
The computational complexity of dominance and consistency in CP-nets
J Goldsmith, J Lang, M Truszczynski, N Wilson
Journal of Artificial Intelligence Research 33, 403-432, 2008
2202008
Disjunctive defaults
M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski
Proc. Second International Conf. on Principles of Knowledge Representation …, 1991
2101991
Answer set optimization
G Brewka, I Niemelä, M Truszczynski
IJCAI 3, 867-872, 2003
1882003
Computer architecture and process of patient generation, evolution, and simulation for computer based testing system
RJ Rivonelli, IIW Sumner, VW Marek, M Truszczynski
US Patent 6,246,975, 2001
1882001
Relating Autoepistemic and Default Logics.
VW Marek, M Truszczynski
KR, 276-288, 1989
1721989
Stable Operators, Well-founded Fpixpoints and Applications in Nnonmonotonic Reasoning
M Denecker, V Marek, M Truszczyriski
Logic-based Artificial Intelligence 597, 127, 2000
1672000
Default reasoning system DeReS
P Cholewinski, VW Marek, M Truszczynski
KR 96, 518-528, 1996
1581996
The second answer set programming competition
M Denecker, J Vennekens, S Bond, M Gebser, M Truszczyński
Logic Programming and Nonmonotonic Reasoning, 637-654, 2009
1462009
Uniform semantic treatment of default and autoepistemic logics
M Denecker, VW Marek, M Truszczyński
Artificial Intelligence 143 (1), 79-122, 2003
1352003
Ultimate approximation and its application in nonmonotonic knowledge representation systems
M Denecker, VW Marek, M Truszczyński
Information and Computation 192 (1), 84-121, 2004
127*2004
The first answer set programming system competition
M Gebser, L Liu, G Namasivayam, A Neumann, T Schaub, M Truszczyński
Logic Programming and Nonmonotonic Reasoning, 3-17, 2007
1192007
Revision programming
VW Marek, M Truszczyński
Theoretical Computer Science 190 (2), 241-277, 1998
1101998
Modal nonmonotonic logics: ranges, characterization, computation
VW Marek, GF Schwarz, M Truszczyński
Journal of the ACM (JACM) 40 (4), 961-988, 1993
1071993
Stable semantics for logic programs and default theories
W Marek, M Truszczynski
University of Kentucky, Department of Computer Science, 1988
1031988
Revision specifications by means of programs
V Marek, M Truszczyński
Logics in Artificial Intelligence, 122-136, 1994
921994
Computing with default logic
P Cholewinski, VW Marek, M Truszczynski, A Mikitiuk
Artificial intelligence 112 (1-2), 105-146, 1999
911999
The system can't perform the operation now. Try again later.
Articles 1–20