V. Wiktor Marek

99 papers A* 9A 2B 17C 5Misc 3Journal 48Unranked 14

Year	Rank	Type	Title / 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