Victor W. Marek

Douglas Cenzer, Victor W. Marek, Jeffrey B. Remmel: Index sets for Finite Normal Predicate Logic Programs. CoRR abs/1303.6555 (2013)

Victor W. Marek, Jeffrey B. Remmel: Disjunctive Programs with Set Constraints. Correct Reasoning 2012: 471-486

Mauricio Osorio, Victor W. Marek: Preface. Fundam. Inform. 113(1) (2011)

Victor W. Marek, Jeffrey B. Remmel: Guarded resolution for Answer Set Programming. TPLP 11(1): 111-123 (2011)

Victor W. Marek, Jeffrey B. Remmel: Effectively Reasoning about Infinite Sets in Answer Set Programming. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 131-147

Marc Denecker, Victor W. Marek, Miroslaw Truszczynski: Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too. CoRR abs/1108.3278 (2011)

Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Origins of Answer-Set Programming - Some Background And Two Personal Accounts. CoRR abs/1108.3281 (2011)

Victor W. Marek, Jeffrey B. Remmel: The complexity of recursive constraint satisfaction problems. Ann. Pure Appl. Logic 161(3): 447-457 (2009)

Victor W. Marek, Jeffrey B. Remmel: Automata and Answer Set Programming. LFCS 2009: 323-337

V. Wiktor Marek, Jeffrey B. Remmel: Guarded resolution for answer set programming. CoRR abs/0904.3953 (2009)

Victor W. Marek, Jeffrey B. Remmel: An Application of Proof-Theory in answer Set Programming. CoRR abs/0905.0197 (2009)

Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel: Set based logic programming. Ann. Math. Artif. Intell. 52(1): 81-105 (2008)

Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms. TPLP 8(2): 167-199 (2008)

Victor W. Marek, Miroslaw Truszczynski: Approximation Schemes in Logic and Artificial Intelligence. T. Rough Sets 9: 135-144 (2008)

Victor W. Marek: Quo Vadis Answer Set Programming? ICLP 2008: 83-87

Victor W. Marek, Jeffrey B. Remmel: On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. ICLP 2008: 223-237

Victor W. Marek, Jeffrey B. Remmel: Compactness Properties for Stable Semantics of Logic Programs. Fundam. Inform. 81(1-3): 211-239 (2007)

Victor W. Marek: Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. TPLP 7(4): 499-503 (2007)

Victor W. Marek: Characterizing Pawlak's Approximation Operators. T. Rough Sets 7: 140-150 (2007)

Victor W. Marek, Jeffrey B. Remmel: Compactness Properties for Stable Semantics of Logic Programs. LFCS 2007: 379-400

Victor W. Marek, Miroslaw Truszczynski: Rough Sets and Approximation Schemes. RSEISP 2007: 22-28

James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko (Eds.): Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II. Lecture Notes in Computer Science 4400, Springer 2007, isbn 978-3-540-71662-4

Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel: Generating Cellular Puzzles with Logic Programs. IC-AI 2006: 403-407

Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms. CoRR abs/cs/0608103 (2006)

Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek: Logic programming with infinite sets. Ann. Math. Artif. Intell. 44(4): 309-339 (2005)

Robert S. Boyer, Wilfred J. Legato, Victor W. Marek: Toward Automating the Discovery of Decreasing Measures. J. Autom. Reasoning 35(4): 355-371 (2005)

Victor W. Marek, Jeffrey B. Remmel: Normal Form Theorem for Logic Programs with Cardinality Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005

Jeffrey B. Remmel, Victor W. Marek: Set Based Logic Programming. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005

Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski: Approximating Answer Sets of Unitary Lifschitz-Woo Programs. LPNMR 2005: 66-78

Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. Electr. J. Comb. 11(1) (2004)

Marc Denecker, Victor W. Marek, Miroslaw Truszczynski: Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput. 192(1): 84-121 (2004)

Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Constraint Lingo: towards high-level constraint programming. Softw., Pract. Exper. 34(15): 1481-1504 (2004)

Victor W. Marek, Miroslaw Truszczynski: Logic Programs with Abstract Constraint Atoms. AAAI 2004: 86-91

Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel: Using Logic Programs to Reason about Infinite Sets. AMAI 2004

Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Automatic Generation of English-language Steps in Puzzle Solving. IC-AI 2004: 437-442

Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel: Using Logic Programs to Reason about Infinite Sets. ISAIM 2004

V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic Programs With Monotone Cardinality Atoms. LPNMR 2004: 154-166

V. Wiktor Marek, Jeffrey B. Remmel: Set Constraints in Logic Programming. LPNMR 2004: 167-179

Victor W. Marek, Jeffrey B. Remmel: Answer set programming with default logic. NMR 2004: 276-284

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143(1): 79-122 (2003)

V. Wiktor Marek, Jeffrey B. Remmel: On the expressibility of stable logic programming. TPLP 3(4-5): 551-567 (2003)

Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. SAT 2003: 1-13

V. Wiktor Marek, Jeffrey B. Remmel: On the Expressibility of Stable Logic Programming. CoRR cs.AI/0312053 (2003)

V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone cardinality atoms. CoRR cs.LO/0310063 (2003)

Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and computing van der Waerden numbers. CoRR cs.LO/0310064 (2003)

V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated revision programs. Artif. Intell. 138(1-2): 149-180 (2002)

Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski: Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. JELIA 2002: 513-516

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. KR 2002: 177-190

Victor W. Marek, Jeffrey B. Remmel: On logic programs with cardinality constraints. NMR 2002: 219-228

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Ultimate approximations in nonmonotonic knowledge representation systems. CoRR cs.AI/0205014 (2002)

Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Default logic and specification of nonmonotonic reasoning. J. Exp. Theor. Artif. Intell. 13(2): 99-112 (2001)

V. Wiktor Marek, Jan Mycielski: Foundations of Mathematics in the Twentieth Century. The American Mathematical Monthly 108(5): 449-468 (2001)

Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek: Logic programming revisited: Logic programs as inductive definitions. ACM Trans. Comput. Log. 2(4): 623-654 (2001)

Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski: Computing stable models in parallel. Answer Set Programming 2001

Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001

Victor W. Marek, Jeffrey B. Remmel: On the Foundations of Answer Set Programming. Answer Set Programming 2001

V. Wiktor Marek, Jeffrey B. Remmel: On the Expressibility of Stable Logic Programming. LPNMR 2001: 107-120

V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated revision programs. CoRR cs.AI/0107026 (2001)

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logic. KR 2000: 74-84

Marc Denecker, Victor W. Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logics. CoRR cs.AI/0002002 (2000)

Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk: Computing with Default Logic. Artif. Intell. 112(1-2): 105-146 (1999)

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Logic Programs, Well-Orderings, and Forward Chaining. Ann. Pure Appl. Logic 96(1-3): 231-276 (1999)

V. Wiktor Marek, Miroslaw Truszczynski: Contributions to the Theory of Rough Sets. Fundam. Inform. 39(4): 389-409 (1999)

V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated Revision Programs. LPNMR 1999: 49-62

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Fixpoint 3-valued semantics for autoepistemic logic. CoRR cs.LO/9901003 (1999)

V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Representation Theory for Default Logic. CoRR cs.LO/9901016 (1999)

Waldemar W. Koczkodaj, Marian Orlowski, V. Wiktor Marek: Myths about Rough Set Theory. Commun. ACM 41(11): 102-103 (1998)

Bradley F. Burton, V. Wiktor Marek: Applications of the JAVA Programming Language to Database Management. SIGMOD Record 27(1): 27-34 (1998)

V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming. Theor. Comput. Sci. 190(2): 241-277 (1998)

Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Fixpoint 3-Valued Semantics for Autoepistemic Logic. AAAI/IAAI 1998: 840-845

V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Revision Programming = Logic Programming + Integrity Constraints. CSL 1998: 73-89

V. Wiktor Marek, Miroslaw Truszczynski: Rough Sets - What Are They About? Rough Sets and Current Trends in Computing 1998: 24

Victor W. Marek, Miroslaw Truszczynski: Stable models and an alternative logic programming paradigm. CoRR cs.LO/9809032 (1998)

V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Representation Theory for Default Logic. Ann. Math. Artif. Intell. 21(2-4): 343-358 (1997)

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Nonmonotonic rule systems with recursive sets of restraints. Arch. Math. Log. 36(4-5): 339-384 (1997)

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Recursive Normal Default Logic. Fundam. Inform. 32(2): 139-147 (1997)

Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski: Intelligent Computation of Presentation Documents. ISMIS 1997: 560-569

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Basic Forward Chaining Construction for Logic Programs. LFCS 1997: 214-225

Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Inform. 28(1-2): 87-100 (1996)

Joseph D. Oldham, V. Wiktor Marek: Toward Intelligent Representation of Database Content. ISMIS 1996: 274-284

Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA 1996: 224-236

Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski: Default Reasoning System DeReS. KR 1996: 518-528

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: On the Complexity of Abduction. LICS 1996: 513-522

Howard A. Blair, V. Wiktor Marek, John S. Schlipf: The Expressiveness of Locally Stratified Programs. Ann. Math. Artif. Intell. 15(2): 209-229 (1995)

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski: Complexity of Computing with Extended Propositional Logic Programs. Ann. Math. Artif. Intell. 15(3-4): 357-378 (1995)

V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming, Database Updates and Integrity Constraints. ICDT 1995: 368-382

Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski: Experimenting with Nonmonotonic Reasoning. ICLP 1995: 267-281

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning. LICS 1995: 178-185

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: On Logical Constraints in Logic Programming. LPNMR 1995: 43-56

William Brooks, V. Wiktor Marek, Miroslaw Truszczynski: Algorithms for Maintaining Authorization Bases. OOIS 1995: 99-110

V. Wiktor Marek, Anil Nerode (Eds.): Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings. Lecture Notes in Computer Science 928, Springer 1995, isbn 3-540-59487-6

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Ann. Pure Appl. Logic 67(1-3): 269-323 (1994)

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994)

Anil Nerode, Victor W. Marek, V. S. Subrahmanian: Introduction. Meth. of Logic in CS 1(1): 1-3 (1994)

Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302

V. Wiktor Marek, Miroslaw Truszczynski: Revision Specifications by Means of Programs. JELIA 1994: 122-136

Victor W. Marek, Miroslaw Truszczynski: Nonmonotonic logic - context-dependent reasoning. Artificial intelligence, Springer 1993, isbn 978-3-540-56448-5, pp. I-XII, 1-417

V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. J. ACM 40(4): 963-990 (1993)

Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. J. Intell. Inf. Syst. 2(2): 149-164 (1993)

Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993: 142-151

V. Wiktor Marek: Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract). Kurt Gödel Colloquium 1993: 61

V. Wiktor Marek, Miroslaw Truszczynski: Reflective Autoepistemic Logic and Logic Programming. LPNMR 1993: 115-131

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems II. Ann. Math. Artif. Intell. 5(2-4): 229-263 (1992)

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: How Complicated is the Set of Stable Models of a Recursive Logic Program? Ann. Pure Appl. Logic 56(1-3): 119-135 (1992)

V. Wiktor Marek, Miroslaw Truszczynski: More on modal aspects of default logic. Fundam. Inform. 17(1-2): 99-116 (1992)

Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski: The Pure Logic of Necessitation. J. Log. Comput. 2(3): 349-373 (1992)

V. Wiktor Marek, V. S. Subrahmanian: The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. Theor. Comput. Sci. 103(2): 365-386 (1992)

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Rule Systems and Well-Orderings. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 69-92

V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski: Complexity of Computing with Extended Propositional Logic Programs. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 93-102

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. JICSLP 1992: 446-460

V. Wiktor Marek, Miroslaw Truszczynski: Autoepistemic Logic. J. ACM 38(3): 588-619 (1991)

V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. KR 1991: 395-404

V. Wiktor Marek, Miroslaw Truszczynski: Computing Intersection of Autoepistemic Expansions. LPNMR 1991: 37-50

V. Wiktor Marek, Miroslaw Truszczynski: Normal Form Results for Default Logic. Nonmonotonic and Inductive Logic 1991: 270-283

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems I. Ann. Math. Artif. Intell. 1: 241-273 (1990)

V. Wiktor Marek, Miroslaw Truszczynski: Modal Logic for Default Reasoning. Ann. Math. Artif. Intell. 1: 275-302 (1990)

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems. LICS 1990: 79-94

V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski: Ranges of Strong Modal Nonmonotonic Logics. Nonmonotonic and Inductive Logic 1990: 85-99

Aidong Zhang, V. Wiktor Marek: On the Classification and Existence of Structures in Default Logic. EPIA 1989: 129-140

V. Wiktor Marek, V. S. Subrahmanian: The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. ICLP 1989: 600-617

V. Wiktor Marek, Miroslaw Truszczynski: Relating Autoepistemic and Default Logics. KR 1989: 276-288

V. Wiktor Marek, Miroslaw Truszczynski: Stable Semantics for Logic Programs and Default Theories. NACLP 1989: 243-256

V. Wiktor Marek: A Natural Semantics for Modal Logic Over Databases. Theor. Comput. Sci. 56: 187-209 (1988)

Jerzy W. Jaromczyk, V. Wiktor Marek: Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I. ISMIS 1987: 96-106

V. Wiktor Marek, Helena Rasiowa: Approximating Sets with Equivalence Relations. Theor. Comput. Sci. 48(3): 145-152 (1986)

V. Wiktor Marek: Completeness and Consistency in Knowledge Base Systems. Expert Database Conf. 1986: 119-126

V. Wiktor Marek: A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. NMR 1984: 194-240

Witold Lipski Jr., V. Wiktor Marek: Information systems: on queries involving cardinalities. Inf. Syst. 4(1): 241-246 (1979)

V. Wiktor Marek, Zdzislaw Pawlak: Information Storage and Retrieval Systems: Mathematical Foundations. Theor. Comput. Sci. 1(4): 331-354 (1976)

Witold Lipski Jr., V. Wiktor Marek: File Organization, An Application of Graph Theory. ICALP 1974: 270-279

V. Wiktor Marek, M. Srebrny: On Transitive Models for Fragments of Set Theory. Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys. 21(5): 389-392 (1973)