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, 375-398, 1999
8261999
Nonmonotonic logic: context-dependent reasoning
VW Marek, M Truszczynski
Springer Science & Business Media, 2013
6692013
Relating autoepistemic and default logics
W Marek, M Truszczyński
Proceedings of the first international conference on Principles of knowledge …, 1989
1631989
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
1582001
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
1412016
Default reasoning system DeReS
P Cholewinski, VW Marek, M Truszczynski
KR 96, 518-528, 1996
1411996
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
1222000
Uniform semantic treatment of default and autoepistemic logics
M Denecker, VW Marek, M Truszczyński
Artificial Intelligence 143 (1), 79-122, 2003
1052003
Revision programming
VW Marek
Theoretical Computer Science 190 (2), 241-277, 1998
1051998
Modal nonmonotonic logics
VW Marek, M Truszczyński
Nonmonotonic Logic, 249-288, 1993
1031993
Production of methyl bromide and methyl chloride in laboratory cultures of marine phytoplankton II
MG Scarratt, RM Moore
Marine Chemistry 59 (3-4), 311-320, 1998
991998
The Logic Programming Paradigm: A 25-Year Perspective
KR Apt, VW Marek, M Truszczynski, DS Warren
Springer Science & Business Media, 2012
962012
Logic programming revisited: Logic programs as inductive definitions
M Denecker, M Bruynooghe, V Marek
ACM Transactions on Computational Logic 2 (4), 623-654, 2001
872001
Computing with default logic
P Cholewiński, VW Marek, M Truszczyński, A Mikitiuk
Artificial intelligence 112 (1-2), 105-146, 1999
851999
Revision specifications by means of programs
VW Marek, M Truszczyński
European Workshop on Logics in Artificial Intelligence, 122-136, 1994
831994
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
772004
The stable models of a predicate logic program
VW Marek, A Nerode, JB Remmel
The Journal of Logic Programming 21 (3), 129-154, 1994
721994
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning.
VW Marek, VS Subrahmanian
ICLP 89, 600-617, 1989
711989
Computing Intersection of Autoepistemic Expansions.
VW Marek, M Truszczynski
LPNMR, 37-50, 1991
631991
Revision programming, database updates and integrity constraints
VW Marek, M Truszczyński
International Conference on Database Theory, 368-382, 1995
621995
The system can't perform the operation now. Try again later.
Articles 1–20