On Transitive Models for Fragments of Set Theory. - V. Wiktor Marek; M. Srebrny (Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys., 1973)

Observations Concerning Elementary Extensions of omega-Models. II. - Victor W. Marek (J. Symb. Log., 1973)

File Organization, An Application of Graph Theory. - Witold Lipski Jr.; V. Wiktor Marek (ICALP, 1974)

No minimal transitive model of Z-. - V. Wiktor Marek; M. Srebrny (Math. Log. Q., 1975)

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

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

On Some σ-Algebras Containing the Projective Sets I. - Carlos A. Di Prisco; V. Wiktor Marek (Math. Log. Q., 1982)

A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. - V. Wiktor Marek (NMR, 1984)

Completeness and Consistency in Knowledge Base Systems. - V. Wiktor Marek (Expert Database Conf., 1986)

Executing Temporal Logic Programs by Ben Moszkowski. - V. Wiktor Marek (SIGART Newsl., 1986)

Approximating Sets with Equivalence Relations. - V. Wiktor Marek; Helena Rasiowa (Theor. Comput. Sci., 1986)

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

Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press). - V. Wiktor Marek (SIGART Newsl., 1987)

Book review: The Art of Prolog Advanced Programming Techniques by L. Sterling and E. Shapiro (The MIT Press). - V. Wiktor Marek (SIGART Newsl., 1988)

A Natural Semantics for Modal Logic Over Databases. - V. Wiktor Marek (Theor. Comput. Sci., 1988)

On the Classification and Existence of Structures in Default Logic. - Aidong Zhang; V. Wiktor Marek (EPIA, 1989)

The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. - V. Wiktor Marek; V. S. Subrahmanian (ICLP, 1989)

Relating Autoepistemic and Default Logics. - V. Wiktor Marek; Miroslaw Truszczynski (KR, 1989)

Stable Semantics for Logic Programs and Default Theories. - V. Wiktor Marek; Miroslaw Truszczynski (NACLP, 1989)

A Theory of Nonmonotonic Rule Systems - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (LICS, 1990)

Ranges of Strong Modal Nonmonotonic Logics. - V. Wiktor Marek; Grigori Schwarz; Miroslaw Truszczynski (Nonmonotonic and Inductive Logic, 1990)

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

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

Computing Intersection of Autoepistemic Expansions. - V. Wiktor Marek; Miroslaw Truszczynski (LPNMR, 1991)

Normal Form Results for Default Logic. - V. Wiktor Marek; Miroslaw Truszczynski (Nonmonotonic and Inductive Logic, 1991)

Autoepistemic Logic. - V. Wiktor Marek; Miroslaw Truszczynski (J. ACM, 1991)

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

A Theory of Nonmonotonic Rule Systems II. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Ann. Math. Artif. Intell., 1992)

How Complicated is the Set of Stable Models of a Recursive Logic Program? - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1992)

More on modal aspects of default logic. - V. Wiktor Marek; Miroslaw Truszczynski (Fundam. Informaticae, 1992)

The Pure Logic of Necessitation. - Melvin Fitting; V. Wiktor Marek; Miroslaw Truszczynski (J. Log. Comput., 1992)

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

Nonmonotonic logic - context-dependent reasoning. - Victor W. Marek; Miroslaw Truszczynski (Springer, 1993)

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

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

Reflective Autoepistemic Logic and Logic Programming. - V. Wiktor Marek; Miroslaw Truszczynski (LPNMR, 1993)

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

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

Causal Models of Disjunctive Logic Programs. - Jürgen Dix; Georg Gottlob; V. Wiktor Marek (ICLP, 1994)

Revision Specifications by Means of Programs. - V. Wiktor Marek; Miroslaw Truszczynski (JELIA, 1994)

On Logical Constraints in Logic Programming. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (ILPS Workshop: Constraints and Databases, 1994)

A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1994)

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

Introduction. - Anil Nerode; Victor W. Marek; V. S. Subrahmanian (Methods Log. Comput. Sci., 1994)

Revision Programming, Database Updates and Integrity Constraints. - V. Wiktor Marek; Miroslaw Truszczynski (ICDT, 1995)

Experimenting with Nonmonotonic Reasoning. - Pawel Cholewinski; V. Wiktor Marek; Artur Mikitiuk; Miroslaw Truszczynski (ICLP, 1995)

Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (LICS, 1995)

Algorithms for Maintaining Authorization Bases. - William Brooks; V. Wiktor Marek; Miroslaw Truszczynski (OOIS, 1995)

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

Complexity of Computing with Extended Propositional Logic Programs. - V. Wiktor Marek; Arcot Rajasekar; Miroslaw Truszczynski (Ann. Math. Artif. Intell., 1995)

Toward Intelligent Representation of Database Content. - Joseph D. Oldham; V. Wiktor Marek (ISMIS, 1996)

Infinitary Default Logic for Specification of Nonmonotonic Reasoning. - Joeri Engelfriet; V. Wiktor Marek; Jan Treur; Miroslaw Truszczynski (JELIA, 1996)

Default Reasoning System DeReS. - Pawel Cholewinski; V. Wiktor Marek; Miroslaw Truszczynski (KR, 1996)

On the Complexity of Abduction. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (LICS, 1996)

Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. - Jürgen Dix; Georg Gottlob; V. Wiktor Marek (Fundam. Informaticae, 1996)

Intelligent Computation of Presentation Documents. - Joseph D. Oldham; V. Wiktor Marek; Miroslaw Truszczynski (ISMIS, 1997)

Basic Forward Chaining Construction for Logic Programs. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (LFCS, 1997)

Representation Theory for Default Logic. - V. Wiktor Marek; Jan Treur; Miroslaw Truszczynski (Ann. Math. Artif. Intell., 1997)

Nonmonotonic rule systems with recursive sets of restraints. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Arch. Math. Log., 1997)

Complexity of Recursive Normal Default Logic. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Fundam. Informaticae, 1997)

Fixpoint 3-Valued Semantics for Autoepistemic Logic. - Marc Denecker; V. Wiktor Marek; Miroslaw Truszczynski (AAAI/IAAI, 1998)

Simulating patients with Parallel Health State Networks. - Walton Sumner; Miroslaw Truszczynski; Victor W. Marek (AMIA, 1998)

Revision Programming = Logic Programming + Integrity Constraints. - V. Wiktor Marek; Inna Pivkina; Miroslaw Truszczynski (CSL, 1998)

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

Myths about Rough Set Theory. - Waldemar W. Koczkodaj; Marian Orlowski; V. Wiktor Marek (Commun. ACM, 1998)

Stable models and an alternative logic programming paradigm - Victor W. Marek; Miroslaw Truszczynski (CoRR, 1998)

Applications of the JAVA Programming Language to Database Management. - Bradley F. Burton; V. Wiktor Marek (SIGMOD Rec., 1998)

Revision Programming. - V. Wiktor Marek; Miroslaw Truszczynski (Theor. Comput. Sci., 1998)

Stable Models and an Alternative Logic Programming Paradigm. - Victor W. Marek; Miroslaw Truszczynski (The Logic Programming Paradigm, 1999)

Computing with Default Logic. - Pawel Cholewinski; V. Wiktor Marek; Miroslaw Truszczynski; Artur Mikitiuk (Artif. Intell., 1999)

Logic Programs, Well-Orderings, and Forward Chaining. - V. Wiktor Marek; Anil Nerode; Jeffrey B. Remmel (Ann. Pure Appl. Log., 1999)

Contributions to the Theory of Rough Sets. - V. Wiktor Marek; Miroslaw Truszczynski (Fundam. Informaticae, 1999)

Uniform semantic treatment of default and autoepistemic logic. - Marc Denecker; V. Wiktor Marek; Miroslaw Truszczynski (KR, 2000)

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

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

On the Foundations of Answer Set Programming. - Victor W. Marek; Jeffrey B. Remmel (Answer Set Programming, 2001)

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

Foundations of Mathematics in the Twentieth Century. - V. Wiktor Marek; Jan Mycielski (Am. Math. Mon., 2001)

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

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

Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. - Marc Denecker; V. Wiktor Marek; Miroslaw Truszczynski (KR, 2002)

On logic programs with cardinality constraints. - Victor W. Marek; Jeffrey B. Remmel (NMR, 2002)

Annotated revision programs. - V. Wiktor Marek; Inna Pivkina; Miroslaw Truszczynski (Artif. Intell., 2002)

Satisfiability and Computing van der Waerden Numbers. - Michael R. Dransfield; V. Wiktor Marek; Miroslaw Truszczynski (SAT, 2003)

Uniform semantic treatment of default and autoepistemic logics. - Marc Denecker; V. Wiktor Marek; Miroslaw Truszczynski (Artif. Intell., 2003)

On the expressibility of stable logic programming. - V. Wiktor Marek; Jeffrey B. Remmel (Theory Pract. Log. Program., 2003)

Logic Programs with Abstract Constraint Atoms. - Victor W. Marek; Miroslaw Truszczynski (AAAI, 2004)

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

Using Logic Programs to Reason about Infinite Sets. - Douglas Cenzer; V. Wiktor Marek; Jeffrey B. Remmel (AI&M, 2004)

Logic Programs With Monotone Cardinality Atoms. - V. Wiktor Marek; Ilkka Niemelä; Miroslaw Truszczynski (LPNMR, 2004)

Set Constraints in Logic Programming. - V. Wiktor Marek; Jeffrey B. Remmel (LPNMR, 2004)

Answer set programming with default logic. - Victor W. Marek; Jeffrey B. Remmel (NMR, 2004)

Satisfiability and Computing van der Waerden Numbers. - Michael R. Dransfield; Lengning Liu; Victor W. Marek; Miroslaw Truszczynski (Electron. J. Comb., 2004)

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

Constraint Lingo: towards high-level constraint programming. - Raphael A. Finkel; Victor W. Marek; Miroslaw Truszczynski (Softw. Pract. Exp., 2004)

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

Set Based Logic Programming. - Jeffrey B. Remmel; Victor W. Marek (Nonmonotonic Reasoning, Answer Set Programming and Constraints, 2005)

Approximating Answer Sets of Unitary Lifschitz-Woo Programs. - Victor W. Marek; Inna Pivkina; Miroslaw Truszczynski (LPNMR, 2005)

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

Toward Automating the Discovery of Decreasing Measures. - Robert S. Boyer; Wilfred J. Legato; Victor W. Marek (J. Autom. Reason., 2005)

Generating Cellular Puzzles with Logic Programs. - Miroslaw Truszczynski; V. Wiktor Marek; Raphael A. Finkel (IC-AI, 2006)

Rough Sets and Approximation Schemes. - Victor W. Marek; Miroslaw Truszczynski (RSEISP, 2007)

Compactness Properties for Stable Semantics of Logic Programs. - Victor W. Marek; Jeffrey B. Remmel (Fundam. Informaticae, 2007)

Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. - Victor W. Marek (Theory Pract. Log. Program., 2007)

Characterizing Pawlak's Approximation Operators. - Victor W. Marek (Trans. Rough Sets, 2007)

Quo Vadis Answer Set Programming? - Victor W. Marek (ICLP, 2008)

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

Set based logic programming. - Howard A. Blair; Victor W. Marek; Jeffrey B. Remmel (Ann. Math. Artif. Intell., 2008)

Logic programs with monotone abstract constraint atoms. - Victor W. Marek; Ilkka Niemelä; Miroslaw Truszczynski (Theory Pract. Log. Program., 2008)

Approximation Schemes in Logic and Artificial Intelligence. - Victor W. Marek; Miroslaw Truszczynski (Trans. Rough Sets, 2008)

Automata and Answer Set Programming. - Victor W. Marek; Jeffrey B. Remmel (LFCS, 2009)

The complexity of recursive constraint satisfaction problems. - Victor W. Marek; Jeffrey B. Remmel (Ann. Pure Appl. Log., 2009)

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

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

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

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

Preface. - Mauricio Osorio 001; Victor W. Marek (Fundam. Informaticae, 2011)

Guarded resolution for Answer Set Programming. - Victor W. Marek; Jeffrey B. Remmel (Theory Pract. Log. Program., 2011)

Disjunctive Programs with Set Constraints. - Victor W. Marek; Jeffrey B. Remmel (Correct Reasoning, 2012)

Index sets for Finite Normal Predicate Logic Programs - Douglas Cenzer; Victor W. Marek; Jeffrey B. Remmel (CoRR, 2013)

Zdzisław Pawlak, Databases and Rough Sets. - Victor W. Marek (Rough Sets and Intelligent Systems (1), 2013)

Professor Zdzisław Pawlak (1926-2006): Founder of the Polish School of Artificial Intelligence. - Andrzej Skowron; Mihir K. Chakraborty; Jerzy W. Grzymala-Busse; Victor W. Marek; Sankar K. Pal; James F. Peters; Grzegorz Rozenberg; Dominik Slezak; Roman Slowinski; Shusaku Tsumoto; Alicja Wakulicz-Deja; Guoyin Wang 001; et al. (Rough Sets and Intelligent Systems (1), 2013)

Scalable hybrid stream and hadoop network analysis system. - Vernon K. C. Bumgardner; Victor W. Marek (ICPE, 2014)

Satisfiability-based Set Membership Filters. - Sean A. Weaver; Katrina J. Ray; Victor W. Marek; Andrew J. Mayer; Alden Walker (J. Satisf. Boolean Model. Comput., 2014)

Rough Sets and Matroids. - Victor W. Marek; Andrzej Skowron (Trans. Rough Sets, 2014)

Cresco: A distributed agent-based edge computing framework. - Vernon K. Cody Bumgardner; Victor W. Marek; Caylin D. Hickey (CNSM, 2016)

Working with Zdzislaw Pawlak - Personal Reminiscences. - Victor W. Marek (FedCSIS, 2016)

Constellation: A secure self-optimizing framework for genomic processing. - Vernon K. Cody Bumgardner; Victor W. Marek; Caylin D. Hickey; Kanna Nandakumar (HealthCom, 2016)

Index Sets for Finite Normal Predicate Logic Programs with Function Symbols. - Douglas A. Cenzer; Victor W. Marek; Jeffrey B. Remmel (LFCS, 2016)

Collating time-series resource data for system-wide job profiling. - Vernon K. Cody Bumgardner; Victor W. Marek; Ray L. Hyatt (NOMS, 2016)

Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer. - Marijn J. H. Heule; Oliver Kullmann; Victor W. Marek (SAT, 2016)

Preface. - Daniela Inclezan; Marco Maratea; Victor W. Marek (Fundam. Informaticae, 2016)

All about Proofs, Proofs for All, Bruno Woltzenlogel Paleo and David Delahaye, Eds., College Publications, Series Mathematical Logic and Foundations, vol. 55., 2015. Paperback, ISBN 978-1-84890-166-7, vii + 240 pages. - Victor W. Marek (Theory Pract. Log. Program., 2016)

Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method. - Marijn J. H. Heule; Oliver Kullmann; Victor W. Marek (IJCAI, 2017)

Edge-enabled Distributed Network Measurement. - Vernon K. Cody Bumgardner; Caylin D. Hickey; Victor W. Marek (PerCom Workshops, 2018)

An Edge-Focused Model for Distributed Streaming Data Applications. - Vernon K. Cody Bumgardner; Caylin D. Hickey; Victor W. Marek (PerCom Workshops, 2018)

On the use of group theory to generalize elements of pairwise comparisons matrix: A cautionary note. - Waldemar W. Koczkodaj; Fang Liu 017; Victor W. Marek; Jirí Mazurek; Miroslaw Mazurek; Ludmil Mikhailov; Cenap Özel; Witold Pedrycz; Artur Przelaskowski; Andrew Schumann; Ryszard Smarzewski; Dominik Strzalka; et al. (Int. J. Approx. Reason., 2020)

On the complexity of index sets for finite predicate logic programs which allow function symbols. - Douglas Cenzer; Victor W. Marek; Jeffrey B. Remmel (J. Log. Comput., 2020)

Answer Set Programming, by Vladimir Lifschitz, Springer NatureSwitzerland AG, ISBN 978-3-030-24657-0. - Victor W. Marek (Theory Pract. Log. Program., 2020)

Pairwise comparisons matrix decomposition into approximation and orthogonal component using Lie theory. - Waldemar W. Koczkodaj; Victor W. Marek; Yusuf Yayli (Int. J. Approx. Reason., 2021)