متابعة
Miroslaw Truszczynski
Miroslaw Truszczynski
Professor of Computer Science, University of Kentucky
بريد إلكتروني تم التحقق منه على cs.uky.edu
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Answer set programming at a glance
G Brewka, T Eiter, M Truszczyński
Communications of the ACM 54 (12), 92-103, 2011
11272011
Stable models and an alternative logic programming paradigm
VW Marek, M Truszczyński
The logic programming paradigm: A 25-year perspective, 375-398, 1999
9811999
Nonmonotonic logic: Context-dependent reasoning
VW Marek, M Truszczynski
Springer-Verlag New York, Inc., 1997
729*1997
Autoepistemic logic
W Marek, M Truszczyński
Journal of the ACM (JACM) 38 (3), 587-618, 1991
5511991
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
2182008
Disjunctive defaults
M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski
Proc. Second International Conf. on Principles of Knowledge Representation …, 1991
2041991
Answer set optimization
G Brewka, I Niemelä, M Truszczynski
IJCAI 3, 867-872, 2003
1842003
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
1842001
Relating Autoepistemic and Default Logics.
VW Marek, M Truszczynski
KR, 276-288, 1989
1661989
Default reasoning system DeReS
P Cholewinski, VW Marek, M Truszczynski
KR 96, 518-528, 1996
1561996
Stable Operators, Well-founded Fpixpoints and Applications in Nnonmonotonic Reasoning
M Denecker, V Marek, M Truszczyriski
Logic-based Artificial Intelligence 597, 127, 2000
1552000
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
1262003
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
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
119*2004
Revision programming
VW Marek, M Truszczyński
Theoretical Computer Science 190 (2), 241-277, 1998
1091998
Modal nonmonotonic logics: ranges, characterization, computation
VW Marek, GF Schwarz, M Truszczyński
Journal of the ACM (JACM) 40 (4), 961-988, 1993
1091993
Stable semantics for logic programs and default theories
W Marek, M Truszczynski
University of Kentucky, Department of Computer Science, 1988
1021988
Revision specifications by means of programs
V Marek, M Truszczyński
Logics in Artificial Intelligence, 122-136, 1994
911994
Computing with default logic
P Cholewinski, VW Marek, M Truszczynski, A Mikitiuk
Artificial intelligence 112 (1-2), 105-146, 1999
871999
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20