Miroslaw Truszczynski

Cited by

	All	Since 2018
Citations	9177	1928
h-index	46	18
i10-index	128	40

460

230

115

345

19911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202369 89 136 140 176 184 226 193 188 179 209 205 221 265 233 294 374 361 274 322 422 372 371 320 444 433 351 410 392 337 296 363 129

Public access

View all

20 articles

1 article

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
Joost VennekensDept. Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Xudong LiuAssociate Professor, School of Computing, University of North FloridaVerified email at unf.edu
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
Wolfgang FaberAlpen-Adria-Universität KlagenfurtVerified email at aau.at
Michael GelfondProfessor of Computer Science, Texas Tech UniversityVerified email at ttu.edu
Tran Cao SonProfessor of Computer Science, New Mexico State UniversityVerified email at cs.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	993	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	942	1999
Nonmonotonic logic: Context-dependent reasoning VW Marek, M Truszczynski Springer-Verlag New York, Inc., 1997	708*	1997
Autoepistemic logic W Marek, M Truszczyński Journal of the ACM (JACM) 38 (3), 587-618, 1991	540	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	209	2008
Disjunctive defaults M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski Proc. Second International Conf. on Principles of Knowledge Representation …, 1991	196	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	173	2001
Answer set optimization G Brewka, I Niemelä, M Truszczynski IJCAI 3, 867-872, 2003	171	2003
Relating Autoepistemic and Default Logics. VW Marek, M Truszczynski KR, 276-288, 1989	164	1989
Default reasoning system DeReS P Cholewinski, VW Marek, M Truszczynski KR 96, 518-528, 1996	150	1996
Stable Operators, Well-founded Fpixpoints and Applications in Nnonmonotonic Reasoning M Denecker, V Marek, M Truszczyriski Logic-based Artificial Intelligence 597, 127, 2000	145	2000
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	143	2009
Uniform semantic treatment of default and autoepistemic logics M Denecker, VW Marek, M Truszczyński Artificial Intelligence 143 (1), 79-122, 2003	123	2003
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	116	2007
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	116*	2004
Revision programming VW Marek, M Truszczyński Theoretical Computer Science 190 (2), 241-277, 1998	107	1998
Modal nonmonotonic logics: ranges, characterization, computation VW Marek, GF Schwarz, M Truszczyński Journal of the ACM (JACM) 40 (4), 961-988, 1993	106	1993
The Logic Programming Paradigm: A 25-Year Perspective KR Apt, VW Marek, M Truszczynski, DS Warren Springer Science & Business Media, 2012	98	2012
Stable semantics for logic programs and default theories W Marek, M Truszczynski University of Kentucky, Department of Computer Science, 1988	96	1988
Revision specifications by means of programs V Marek, M Truszczyński Logics in Artificial Intelligence, 122-136, 1994	88	1994

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