V. Wiktor Marek

Publication Activity (10 Years)

Years Active: 1973-2009
Publications (10 Years): 0

Publications

V. Wiktor Marek, Jeffrey B. Remmel
Guarded resolution for answer set programming CoRR (2009)
Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel
Generating Cellular Puzzles with Logic Programs. IC-AI (2006)
Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel
Using Logic Programs to Reason about Infinite Sets. AI&M (2004)
V. Wiktor Marek, Jeffrey B. Remmel
Set Constraints in Logic Programming. LPNMR (2004)
V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski
Logic Programs With Monotone Cardinality Atoms. LPNMR (2004)
Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski
Satisfiability and Computing van der Waerden Numbers. SAT (2003)
V. Wiktor Marek, Jeffrey B. Remmel
On the expressibility of stable logic programming. Theory Pract. Log. Program. 3 (4-5) (2003)
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143 (1) (2003)
Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski
Satisfiability and computing van der Waerden numbers CoRR (2003)
V. Wiktor Marek, Jeffrey B. Remmel
On the Expressibility of Stable Logic Programming CoRR (2003)
V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski
Logic programs with monotone cardinality atoms CoRR (2003)
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
Ultimate approximations in nonmonotonic knowledge representation systems CoRR (2002)
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. KR (2002)
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
Annotated revision programs. Artif. Intell. 138 (1-2) (2002)
Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. JELIA (2002)
Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek
Logic programming revisited: Logic programs as inductive definitions. ACM Trans. Comput. Log. 2 (4) (2001)
V. Wiktor Marek, Jeffrey B. Remmel
On the Expressibility of Stable Logic Programming. LPNMR (2001)
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
Annotated revision programs CoRR (2001)
V. Wiktor Marek, Jan Mycielski
Foundations of Mathematics in the Twentieth Century. Am. Math. Mon. 108 (5) (2001)
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
Default logic and specification of nonmonotonic reasoning. J. Exp. Theor. Artif. Intell. 13 (2) (2001)
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
Uniform semantic treatment of default and autoepistemic logic. KR (2000)
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
Fixpoint 3-valued semantics for autoepistemic logic CoRR (1999)
Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk
Computing with Default Logic. Artif. Intell. 112 (1-2) (1999)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Logic Programs, Well-Orderings, and Forward Chaining. Ann. Pure Appl. Log. 96 (1-3) (1999)
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
Annotated Revision Programs. LPNMR (1999)
V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
Representation Theory for Default Logic CoRR (1999)
V. Wiktor Marek, Miroslaw Truszczynski
Contributions to the Theory of Rough Sets. Fundam. Informaticae 39 (4) (1999)
Bradley F. Burton, V. Wiktor Marek
Applications of the JAVA Programming Language to Database Management. SIGMOD Rec. 27 (1) (1998)
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
Revision Programming = Logic Programming + Integrity Constraints. CSL (1998)
Waldemar W. Koczkodaj, Marian Orlowski, V. Wiktor Marek
Myths about Rough Set Theory. Commun. ACM 41 (11) (1998)
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
Fixpoint 3-Valued Semantics for Autoepistemic Logic. AAAI/IAAI (1998)
V. Wiktor Marek, Miroslaw Truszczynski
Rough Sets - What Are They About? Rough Sets and Current Trends in Computing (1998)
V. Wiktor Marek, Miroslaw Truszczynski
Revision Programming. Theor. Comput. Sci. 190 (2) (1998)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Nonmonotonic rule systems with recursive sets of restraints. Arch. Math. Log. 36 (4-5) (1997)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Basic Forward Chaining Construction for Logic Programs. LFCS (1997)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Complexity of Recursive Normal Default Logic. Fundam. Informaticae 32 (2) (1997)
Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski
Intelligent Computation of Presentation Documents. ISMIS (1997)
V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
Representation Theory for Default Logic. Ann. Math. Artif. Intell. 21 (2-4) (1997)
Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski
Default Reasoning System DeReS. KR (1996)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
On the Complexity of Abduction. LICS (1996)
Joseph D. Oldham, V. Wiktor Marek
Toward Intelligent Representation of Database Content. ISMIS (1996)
Jürgen Dix, Georg Gottlob, V. Wiktor Marek
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Informaticae 28 (1-2) (1996)
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA (1996)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
On Logical Constraints in Logic Programming. LPNMR (1995)
William Brooks, V. Wiktor Marek, Miroslaw Truszczynski
Algorithms for Maintaining Authorization Bases. OOIS (1995)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning LICS (1995)
Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski
Experimenting with Nonmonotonic Reasoning. ICLP (1995)
Howard A. Blair, V. Wiktor Marek, John S. Schlipf
The Expressiveness of Locally Stratified Programs. Ann. Math. Artif. Intell. 15 (2) (1995)
V. Wiktor Marek, Miroslaw Truszczynski
Revision Programming, Database Updates and Integrity Constraints. ICDT (1995)
V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski
Complexity of Computing with Extended Propositional Logic Programs. Ann. Math. Artif. Intell. 15 (3-4) (1995)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
The Stable Models of a Predicate Logic Program. J. Log. Program. 21 (3) (1994)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
On Logical Constraints in Logic Programming. ILPS Workshop: Constraints and Databases (1994)
V. Wiktor Marek, Miroslaw Truszczynski
Revision Specifications by Means of Programs. JELIA (1994)
Jürgen Dix, Georg Gottlob, V. Wiktor Marek
Causal Models of Disjunctive Logic Programs. ICLP (1994)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Ann. Pure Appl. Log. 67 (1-3) (1994)
V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski
Modal Nonmonotonic Logics: Ranges, Characterization, Computation. J. ACM 40 (4) (1993)
V. Wiktor Marek
Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract). Kurt Gödel Colloquium (1993)
Helena Rasiowa, V. Wiktor Marek
Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. J. Intell. Inf. Syst. 2 (2) (1993)
Helena Rasiowa, V. Wiktor Marek
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS (1993)
V. Wiktor Marek, Miroslaw Truszczynski
Reflective Autoepistemic Logic and Logic Programming. LPNMR (1993)
V. Wiktor Marek, Miroslaw Truszczynski
More on modal aspects of default logic. Fundam. Informaticae 17 (1-2) (1992)
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)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
The Stable Models of a Predicate Logic Program. JICSLP (1992)
Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski
The Pure Logic of Necessitation. J. Log. Comput. 2 (3) (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) (1992)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
Rule Systems and Well-Orderings. Structural Complexity and Recursion-theoretic methods in Logic-Programming (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. Log. 56 (1-3) (1992)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
A Theory of Nonmonotonic Rule Systems II. Ann. Math. Artif. Intell. 5 (2-4) (1992)
V. Wiktor Marek, Miroslaw Truszczynski
Normal Form Results for Default Logic. Nonmonotonic and Inductive Logic (1991)
V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski
Modal Nonmonotonic Logics: Ranges, Characterization, Computation. KR (1991)
V. Wiktor Marek, Miroslaw Truszczynski
Autoepistemic Logic. J. ACM 38 (3) (1991)
V. Wiktor Marek, Miroslaw Truszczynski
Computing Intersection of Autoepistemic Expansions. LPNMR (1991)
V. Wiktor Marek, Miroslaw Truszczynski
Modal Logic for Default Reasoning. Ann. Math. Artif. Intell. 1 (1990)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
A Theory of Nonmonotonic Rule Systems I. Ann. Math. Artif. Intell. 1 (1990)
V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
A Theory of Nonmonotonic Rule Systems LICS (1990)
V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski
Ranges of Strong Modal Nonmonotonic Logics. Nonmonotonic and Inductive Logic (1990)
V. Wiktor Marek, Miroslaw Truszczynski
Stable Semantics for Logic Programs and Default Theories. NACLP (1989)
V. Wiktor Marek, V. S. Subrahmanian
The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. ICLP (1989)
V. Wiktor Marek, Miroslaw Truszczynski
Relating Autoepistemic and Default Logics. KR (1989)
Aidong Zhang, V. Wiktor Marek
On the Classification and Existence of Structures in Default Logic. EPIA (1989)
V. Wiktor Marek
A Natural Semantics for Modal Logic Over Databases. Theor. Comput. Sci. 56 (1988)
V. Wiktor Marek
Book review: The Art of Prolog Advanced Programming Techniques by L. Sterling and E. Shapiro (The MIT Press). SIGART Newsl. 105 (1988)
Jerzy W. Jaromczyk, V. Wiktor Marek
Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I. ISMIS (1987)
V. Wiktor Marek
Book review: Combinatorics, Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability by B. Bollobas (Cambridge University Press). SIGART Newsl. 101 (1987)
V. Wiktor Marek
Completeness and Consistency in Knowledge Base Systems. Expert Database Conf. (1986)
V. Wiktor Marek
Executing Temporal Logic Programs by Ben Moszkowski. SIGART Newsl. 98 (1986)
V. Wiktor Marek, Helena Rasiowa
Approximating Sets with Equivalence Relations. Theor. Comput. Sci. 48 (3) (1986)
V. Wiktor Marek, Helena Rasiowa
Approximating sets with equivalence relations. ISMIS (1986)
V. Wiktor Marek
A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. NMR (1984)
Carlos A. Di Prisco, V. Wiktor Marek
On Some σ-Algebras Containing the Projective Sets I. Math. Log. Q. 28 (33-38) (1982)
Witold Lipski Jr., V. Wiktor Marek
Information systems: on queries involving cardinalities. Inf. Syst. 4 (1) (1979)
V. Wiktor Marek, Zdzislaw Pawlak
Information Storage and Retrieval Systems: Mathematical Foundations. Theor. Comput. Sci. 1 (4) (1976)
V. Wiktor Marek, M. Srebrny
. Math. Log. Q. 21 (1) (1975)
Witold Lipski Jr., V. Wiktor Marek
File Organization, An Application of Graph Theory. ICALP (1974)
V. Wiktor Marek, M. Srebrny
On Transitive Models for Fragments of Set Theory. Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys. 21 (5) (1973)