Miroslaw Truszczynski

Cited by

	All	Since 2019
Citations	9720	1949
h-index	46	18
i10-index	133	34

440

220

110

330

1990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202426 75 94 126 155 174 200 239 188 203 182 220 221 208 259 209 300 389 379 286 326 413 363 368 318 439 438 351 410 386 335 307 367 374 180

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	1144	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	994	1999
Nonmonotonic logic: Context-dependent reasoning VW Marek, M Truszczynski Springer-Verlag New York, Inc., 1997	726*	1997
Autoepistemic logic W Marek, M Truszczyński Journal of the ACM (JACM) 38 (3), 587-618, 1991	555	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	217	2008
Disjunctive defaults M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski Proc. Second International Conf. on Principles of Knowledge Representation …, 1991	206	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	186	2001
Answer set optimization G Brewka, I Niemelä, M Truszczynski IJCAI 3, 867-872, 2003	185	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	159	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	145	2009
Uniform semantic treatment of default and autoepistemic logics M Denecker, VW Marek, M Truszczyński Artificial Intelligence 143 (1), 79-122, 2003	131	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	121*	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	90	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