| 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 |
Gerhard BrewkaProfessor of Computer Science, Leipzig University在 informatik.uni-leipzig.de 的电子邮件经过验证
