V. Wiktor Marek

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