Miroslaw Truszczynski

Cited by

	All	Since 2020
Citations	10041	1851
h-index	47	18
i10-index	138	27

440

220

110

330

19901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202526 75 94 129 155 174 200 237 188 204 183 225 223 211 262 207 304 390 370 295 326 413 365 370 320 440 438 354 410 386 340 312 368 375 408 48

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
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 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	1264	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	1024	1999
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	567	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	221	2008
Disjunctive defaults M Gelfond, V Lifschitz, H Przymusinska, M Truszczynski Proc. Second International Conf. on Principles of Knowledge Representation …, 1991	210	1991
Answer set optimization G Brewka, I Niemelä, M Truszczynski IJCAI 3, 867-872, 2003	188	2003
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
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	169	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	147	2009
Uniform semantic treatment of default and autoepistemic logics M Denecker, VW Marek, M Truszczyński Artificial Intelligence 143 (1), 79-122, 2003	137	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	129*	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