| 2004 | ISAIM | Using Logic Programs to Reason about Infinite Sets. | Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel |
| 2004 | LPNMR | Logic Programs With Monotone Cardinality Atoms. | V. Wiktor Marek, Ilkka Niemel, Miroslaw Truszczynski |
| 2004 | LPNMR | Set Constraints in Logic Programming. | V. Wiktor Marek, Jeffrey B. Remmel |
| 2003 | SAT | Satisfiability and Computing van der Waerden Numbers. | Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski |
| 2002 | JELIA | Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. | Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski |
| 2002 | KR | Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 2001 | LPNMR | On the Expressibility of Stable Logic Programming. | V. Wiktor Marek, Jeffrey B. Remmel |
| 2000 | KR | Uniform semantic treatment of default and autoepistemic logic. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 1999 | LPNMR | Annotated Revision Programs. | V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |
| 1998 | AAAI | Fixpoint 3-Valued Semantics for Autoepistemic Logic. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 1998 | CSL | Revision Programming = Logic Programming + Integrity Constraints. | V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |
| 1997 | ISMIS | Intelligent Computation of Presentation Documents. | Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski |
| 1997 | LFCS | Basic Forward Chaining Construction for Logic Programs. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1996 | ISMIS | Toward Intelligent Representation of Database Content. | Joseph D. Oldham, V. Wiktor Marek |
| 1996 | JELIA | Infinitary Default Logic for Specification of Nonmonotonic Reasoning. | Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski |
| 1996 | KR | Default Reasoning System DeReS. | Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski |
| 1996 | LICS | On the Complexity of Abduction. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1995 | ICDT | Revision Programming, Database Updates and Integrity Constraints. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1995 | ICLP | Experimenting with Nonmonotonic Reasoning. | Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski |
| 1995 | LICS | Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1995 | LPNMR | On Logical Constraints in Logic Programming. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1994 | ICLP | Causal Models of Disjunctive Logic Programs. | Jrgen Dix, Georg Gottlob, V. Wiktor Marek |
| 1994 | JELIA | Revision Specifications by Means of Programs. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1993 | ISMIS | Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). | Helena Rasiowa, V. Wiktor Marek |
| 1993 | LPNMR | Reflective Autoepistemic Logic and Logic Programming. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1992 | ICLP | The Stable Models of a Predicate Logic Program. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1992 | ICLP | Rule Systems and Well-Orderings. | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1992 | ICLP | Complexity of Computing with Extended Propositional Logic Programs. | V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski |
| 1991 | KR | Modal Nonmonotonic Logics: Ranges, Characterization, Computation. | V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski |
| 1991 | LPNMR | Computing Intersection of Autoepistemic Expansions. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1990 | LICS | A Theory of Nonmonotonic Rule Systems | V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel |
| 1989 | EPIA | On the Classification and Existence of Structures in Default Logic. | Aidong Zhang, V. Wiktor Marek |
| 1989 | ICLP | The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. | V. Wiktor Marek, V. S. Subrahmanian |
| 1989 | KR | Relating Autoepistemic and Default Logics. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1987 | ISMIS | Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I. | Jerzy W. Jaromczyk, V. Wiktor Marek |
| 1986 | ISMIS | Approximating sets with equivalence relations. | V. Wiktor Marek, Helena Rasiowa |
| 1974 | ICALP | File Organization, An Application of Graph Theory. | Witold Lipski Jr., V. Wiktor Marek |