Stable models and an alternative logic programming paradigm VW Marek, M Truszczyński The logic programming paradigm: A 25-year perspective, 375-398, 1999 | 981 | 1999 |
Nonmonotonic logic: context-dependent reasoning VW Marek, M Truszczynski Springer Science & Business Media, 2013 | 719 | 2013 |
Solving and verifying the boolean pythagorean triples problem via cube-and-conquer MJH Heule, O Kullmann, VW Marek International Conference on Theory and Applications of Satisfiability …, 2016 | 292 | 2016 |
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 | 184 | 2001 |
Relating Autoepistemic and Default Logics. VW Marek, M Truszczynski KR, 276-288, 1989 | 165 | 1989 |
Default reasoning system DeReS P Cholewinski, VW Marek, M Truszczynski KR 96, 518-528, 1996 | 156 | 1996 |
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning M Denecker, V Marek, M Truszczyński Logic-based artificial intelligence, 127-144, 2000 | 155 | 2000 |
Uniform semantic treatment of default and autoepistemic logics M Denecker, VW Marek, M Truszczyński Artificial Intelligence 143 (1), 79-122, 2003 | 126 | 2003 |
Revision programming VW Marek Theoretical Computer Science 190 (2), 241-277, 1998 | 109 | 1998 |
Modal nonmonotonic logics: ranges, characterization, computation VW Marek, GF Schwarz, M Truszczyński Journal of the ACM (JACM) 40 (4), 961-988, 1993 | 109 | 1993 |
Logic programming revisited: Logic programs as inductive definitions M Denecker, M Bruynooghe, V Marek ACM Transactions on Computational Logic 2 (4), 623-654, 2001 | 93 | 2001 |
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 | 92 | 2004 |
Revision specifications by means of programs VW Marek, M Truszczyński Logics in Artificial Intelligence: European Workshop JELIA'94 York, UK …, 1994 | 91 | 1994 |
Computing with default logic P Cholewiński, VW Marek, M Truszczyński, A Mikitiuk Artificial intelligence 112 (1-2), 105-146, 1999 | 87 | 1999 |
The Logic Programming Paradigm: A 25-Year Perspective KR Apt, VW Marek, M Truszczynski, DS Warren Springer Science & Business Media, 2012 | 79 | 2012 |
The stable models of a predicate logic program VW Marek, A Nerode, JB Remmel The Journal of Logic Programming 21 (3), 129-154, 1994 | 75 | 1994 |
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. VW Marek, VS Subrahmanian ICLP 89, 600-617, 1989 | 74 | 1989 |
Revision programming, database updates and integrity constraints VW Marek, M Truszczyński International Conference on Database Theory, 368-382, 1995 | 68 | 1995 |
Computing Intersection of Autoepistemic Expansions. VW Marek, M Truszczynski LPNMR, 37-50, 1991 | 64 | 1991 |
Satisfiability and computing van der Waerden numbers MR Dransfield, VW Marek, M Truszczyński International Conference on Theory and Applications of Satisfiability …, 2003 | 62 | 2003 |