Miroslaw Truszczynski

Cited by

	All	Since 2019
Citations	9866	2082
h-index	47	19
i10-index	136	36

460

230

115

345

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 75 94 126 155 174 200 239 188 203 182 221 221 208 259 211 304 389 370 294 327 413 364 369 320 441 437 351 409 386 338 309 368 372 309

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityVerified email at informatik.uni-leipzig.de
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Marc DeneckerProf. at KU-LeuvenVerified email at cs.kuleuven.be
Yuliya LierlerProfessor of Computer Science, University of Nebraska at OmahaVerified email at unomaha.edu
Torsten SchaubUniversity of PotsdamVerified email at cs.uni-potsdam.de
Xudong LiuAssociate Professor, School of Computing, University of North FloridaVerified email at unf.edu
Joost VennekensDept. Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Vladimir LifschitzUniversity of Texas at AustinVerified email at cs.utexas.edu
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Zsolt TuzaMTA Rényi Institute, Budapest & University of Pannonia, VeszprémVerified email at dcs.uni-pannon.hu
Michael GelfondProfessor of Computer Science, Texas Tech UniversityVerified email at ttu.edu
Wolfgang FaberAlpen-Adria-Universität KlagenfurtVerified email at aau.at
Tran Cao SonProfessor of Computer Science, New Mexico State UniversityVerified email at nmsu.edu
Judy GoldsmithUniversity of KentuckyVerified email at cs.uky.edu
Jan TreurFull Professor of Artificial Intelligence, VU University AmsterdamVerified email at vu.nl
Melvin FittingProfessor, City University of New YorkVerified email at lehman.cuny.edu

Miroslaw Truszczynski

Professor of Computer Science, University of Kentucky

Verified email at cs.uky.edu

artificial intelligence knowledge representation nonmonotonic logics logic programming combinatorics


Title Sort by citations Sort by year Sort by 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	1197	2011
Stable models and an alternative logic programming paradigm VW Marek, M Truszczyński The logic programming paradigm: A 25-year perspective, 375-398, 1999	1007	1999
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	559	1991
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	220	2008
Disjunctive defaults M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski Proc. Second International Conf. on Principles of Knowledge Representation …, 1991	207	1991
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	188	2001
Answer set optimization G Brewka, I Niemelä, M Truszczynski IJCAI 3, 867-872, 2003	186	2003
Relating Autoepistemic and Default Logics. VW Marek, M Truszczynski KR, 276-288, 1989	172	1989
Stable Operators, Well-founded Fpixpoints and Applications in Nnonmonotonic Reasoning M Denecker, V Marek, M Truszczyriski Logic-based Artificial Intelligence 597, 127, 2000	164	2000
Default reasoning system DeReS P Cholewinski, VW Marek, M Truszczynski KR 96, 518-528, 1996	158	1996
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	146	2009
Uniform semantic treatment of default and autoepistemic logics M Denecker, VW Marek, M Truszczyński Artificial Intelligence 143 (1), 79-122, 2003	134	2003
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	126*	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	119	2007
Revision programming VW Marek, M Truszczyński Theoretical Computer Science 190 (2), 241-277, 1998	110	1998
Modal nonmonotonic logics: ranges, characterization, computation VW Marek, GF Schwarz, M Truszczyński Journal of the ACM (JACM) 40 (4), 961-988, 1993	107	1993
Stable semantics for logic programs and default theories W Marek, M Truszczynski University of Kentucky, Department of Computer Science, 1988	103	1988
Revision specifications by means of programs V Marek, M Truszczyński Logics in Artificial Intelligence, 122-136, 1994	92	1994
Computing with default logic P Cholewinski, VW Marek, M Truszczynski, A Mikitiuk Artificial intelligence 112 (1-2), 105-146, 1999	91	1999

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors