Follow
Victor Marek
Victor Marek
Professor of Computer Science, University of Kentucky
Verified email at cs.uky.edu
Title
Cited by
Cited by
Year
Stable models and an alternative logic programming paradigm
VW Marek, M Truszczyński
The logic programming paradigm: A 25-year perspective, 375-398, 1999
9791999
Nonmonotonic logic: context-dependent reasoning
VW Marek, M Truszczynski
Springer Science & Business Media, 2013
7182013
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
2842016
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
1832001
Relating Autoepistemic and Default Logics.
VW Marek, M Truszczynski
KR, 276-288, 1989
1631989
Default reasoning system DeReS
P Cholewinski, VW Marek, M Truszczynski
KR 96, 518-528, 1996
1561996
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
1542000
Uniform semantic treatment of default and autoepistemic logics
M Denecker, VW Marek, M Truszczyński
Artificial Intelligence 143 (1), 79-122, 2003
1262003
Revision programming
VW Marek
Theoretical Computer Science 190 (2), 241-277, 1998
1091998
Modal nonmonotonic logics: ranges, characterization, computation
VW Marek, GF Schwarz, M Truszczyński
Journal of the ACM (JACM) 40 (4), 961-988, 1993
1091993
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
922004
Logic programming revisited: Logic programs as inductive definitions
M Denecker, M Bruynooghe, V Marek
ACM Transactions on Computational Logic 2 (4), 623-654, 2001
922001
Revision specifications by means of programs
VW Marek, M Truszczyński
Logics in Artificial Intelligence: European Workshop JELIA'94 York, UK …, 1994
911994
Computing with default logic
P Cholewiński, VW Marek, M Truszczyński, A Mikitiuk
Artificial intelligence 112 (1-2), 105-146, 1999
871999
The Logic Programming Paradigm: A 25-Year Perspective
KR Apt, VW Marek, M Truszczynski, DS Warren
Springer Science & Business Media, 2012
792012
The stable models of a predicate logic program
VW Marek, A Nerode, JB Remmel
The Journal of Logic Programming 21 (3), 129-154, 1994
751994
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning.
VW Marek, VS Subrahmanian
ICLP 89, 600-617, 1989
741989
Revision programming, database updates and integrity constraints
VW Marek, M Truszczyński
International Conference on Database Theory, 368-382, 1995
681995
Computing Intersection of Autoepistemic Expansions.
VW Marek, M Truszczynski
LPNMR, 37-50, 1991
641991
Satisfiability and computing van der Waerden numbers
MR Dransfield, VW Marek, M Truszczyński
International Conference on Theory and Applications of Satisfiability …, 2003
622003
The system can't perform the operation now. Try again later.
Articles 1–20