Victor W. Marek

V. Wiktor Marek

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009

118 EE Victor W. Marek, Jeffrey B. Remmel: Automata and Answer Set Programming. LFCS 2009: 323-337

117 EE V. Wiktor Marek, Jeffrey B. Remmel: Guarded resolution for answer set programming CoRR abs/0904.3953: (2009)

2008

116 EE Victor W. Marek, Jeffrey B. Remmel: On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. ICLP 2008: 223-237

115 EE Victor W. Marek: Quo Vadis Answer Set Programming? ICLP 2008: 83-87

114 EE Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel: Set based logic programming. Ann. Math. Artif. Intell. 52(1): 81-105 (2008)

113 EE Victor W. Marek, Miroslaw Truszczynski: Approximation Schemes in Logic and Artificial Intelligence. T. Rough Sets 9: 135-144 (2008)

112 EE Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms. TPLP 8(2): 167-199 (2008)

2007

111 James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko: Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II Springer 2007

110 EE Victor W. Marek, Jeffrey B. Remmel: Compactness Properties for Stable Semantics of Logic Programs. LFCS 2007: 379-400

109 EE Victor W. Marek, Miroslaw Truszczynski: Rough Sets and Approximation Schemes. RSEISP 2007: 22-28

108 EE Victor W. Marek, Jeffrey B. Remmel: Compactness Properties for Stable Semantics of Logic Programs. Fundam. Inform. 81(1-3): 211-239 (2007)

107 EE Victor W. Marek: Characterizing Pawlak's Approximation Operators. T. Rough Sets 7: 140-150 (2007)

106 EE Victor W. Marek: Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. TPLP 7(4): 499-503 (2007)

2006

105 Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel: Generating Cellular Puzzles with Logic Programs. IC-AI 2006: 403-407

104 EE Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms CoRR abs/cs/0608103: (2006)

2005

103 EE Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski: Approximating Answer Sets of Unitary Lifschitz-Woo Programs. LPNMR 2005: 66-78

102 EE Victor W. Marek, Jeffrey B. Remmel: Normal Form Theorem for Logic Programs with Cardinality Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005

101 EE Jeffrey B. Remmel, Victor W. Marek: Set Based Logic Programming. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005

100 EE Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek: Logic programming with infinite sets. Ann. Math. Artif. Intell. 44(4): 309-339 (2005)

99 EE Robert S. Boyer, Wilfred J. Legato, Victor W. Marek: Toward Automating the Discovery of Decreasing Measures. J. Autom. Reasoning 35(4): 355-371 (2005)

2004

98 Victor W. Marek, Miroslaw Truszczynski: Logic Programs with Abstract Constraint Atoms. AAAI 2004: 86-91

97 EE Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel: Using Logic Programs to Reason about Infinite Sets. AMAI 2004

96 Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Automatic Generation of English-language Steps in Puzzle Solving. IC-AI 2004: 437-442

95 EE V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic Programs With Monotone Cardinality Atoms. LPNMR 2004: 154-166

94 EE V. Wiktor Marek, Jeffrey B. Remmel: Set Constraints in Logic Programming. LPNMR 2004: 167-179

93 EE Victor W. Marek, Jeffrey B. Remmel: Answer set programming with default logic. NMR 2004: 276-284

92 EE Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. Electr. J. Comb. 11(1): (2004)

91 EE Marc Denecker, Victor W. Marek, Miroslaw Truszczynski: Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput. 192(1): 84-121 (2004)

90 EE Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Constraint Lingo: towards high-level constraint programming. Softw., Pract. Exper. 34(15): 1481-1504 (2004)

2003

89 EE Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. SAT 2003: 1-13

88 EE Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143(1): 79-122 (2003)

87 EE V. Wiktor Marek, Jeffrey B. Remmel: On the Expressibility of Stable Logic Programming CoRR cs.AI/0312053: (2003)

86 EE V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone cardinality atoms CoRR cs.LO/0310063: (2003)

85 EE Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and computing van der Waerden numbers CoRR cs.LO/0310064: (2003)

84 V. Wiktor Marek, Jeffrey B. Remmel: On the expressibility of stable logic programming. TPLP 3(4-5): 551-567 (2003)

2002

83 EE Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski: Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. JELIA 2002: 513-516

82 Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. KR 2002: 177-190

81 Victor W. Marek, Jeffrey B. Remmel: On logic programs with cardinality constraints. NMR 2002: 219-228

80 EE V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated revision programs. Artif. Intell. 138(1-2): 149-180 (2002)

79 EE Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Ultimate approximations in nonmonotonic knowledge representation systems CoRR cs.AI/0205014: (2002)

2001

78 EE Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski: Computing stable models in parallel. Answer Set Programming 2001

77 EE Victor W. Marek, Jeffrey B. Remmel: On the Foundations of Answer Set Programming. Answer Set Programming 2001

76 EE Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001

75 EE V. Wiktor Marek, Jeffrey B. Remmel: On the Expressibility of Stable Logic Programming. LPNMR 2001: 107-120

74 EE Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek: Logic programming revisited: Logic programs as inductive definitions. ACM Trans. Comput. Log. 2(4): 623-654 (2001)

73 EE V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated revision programs CoRR cs.AI/0107026: (2001)

72 Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Default logic and specification of nonmonotonic reasoning. J. Exp. Theor. Artif. Intell. 13(2): 99-112 (2001)

2000

71 Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logic. KR 2000: 74-84

70 EE Marc Denecker, Victor W. Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logics CoRR cs.AI/0002002: (2000)

1999

69 EE V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated Revision Programs. LPNMR 1999: 49-62

68 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Logic Programs, Well-Orderings, and Forward Chaining. Ann. Pure Appl. Logic 96(1-3): 231-276 (1999)

67 EE Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk: Computing with Default Logic. Artif. Intell. 112(1-2): 105-146 (1999)

66 EE Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Fixpoint 3-valued semantics for autoepistemic logic CoRR cs.LO/9901003: (1999)

65 EE V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Representation Theory for Default Logic CoRR cs.LO/9901016: (1999)

64 V. Wiktor Marek, Miroslaw Truszczynski: Contributions to the Theory of Rough Sets. Fundam. Inform. 39(4): 389-409 (1999)

1998

63 Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Fixpoint 3-Valued Semantics for Autoepistemic Logic. AAAI/IAAI 1998: 840-845

62 V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Revision Programming = Logic Programming + Integrity Constraints. CSL 1998: 73-89

61 EE V. Wiktor Marek, Miroslaw Truszczynski: Rough Sets - What Are They About? Rough Sets and Current Trends in Computing 1998: 24

60 EE Victor W. Marek, Miroslaw Truszczynski: Stable models and an alternative logic programming paradigm CoRR cs.LO/9809032: (1998)

59 Waldemar W. Koczkodaj, Marian Orlowski, V. Wiktor Marek: Myths about Rough Set Theory. Commun. ACM 41(11): 102-103 (1998)

58 EE Bradley F. Burton, V. Wiktor Marek: Applications of the JAVA Programming Language to Database Management. SIGMOD Record 27(1): 27-34 (1998)

57 EE V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming. Theor. Comput. Sci. 190(2): 241-277 (1998)

1997

56 Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski: Intelligent Computation of Presentation Documents. ISMIS 1997: 560-569

55 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Basic Forward Chaining Construction for Logic Programs. LFCS 1997: 214-225

54 V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Representation Theory for Default Logic. Ann. Math. Artif. Intell. 21(2-4): 343-358 (1997)

53 EE V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Nonmonotonic rule systems with recursive sets of restraints. Arch. Math. Log. 36(4-5): 339-384 (1997)

52 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Recursive Normal Default Logic. Fundam. Inform. 32(2): 139-147 (1997)

1996

51 Joseph D. Oldham, V. Wiktor Marek: Toward Intelligent Representation of Database Content. ISMIS 1996: 274-284

50 Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA 1996: 224-236

49 Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski: Default Reasoning System DeReS. KR 1996: 518-528

48 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: On the Complexity of Abduction. LICS 1996: 513-522

47 Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Inform. 28(1-2): 87-100 (1996)

1995

46 V. Wiktor Marek, Anil Nerode: Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings Springer 1995

45 EE V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming, Database Updates and Integrity Constraints. ICDT 1995: 368-382

44 Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski: Experimenting with Nonmonotonic Reasoning. ICLP 1995: 267-281

43 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning LICS 1995: 178-185

42 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: On Logical Constraints in Logic Programming. LPNMR 1995: 43-56

41 William Brooks, V. Wiktor Marek, Miroslaw Truszczynski: Algorithms for Maintaining Authorization Bases. OOIS 1995: 99-110

40 Howard A. Blair, V. Wiktor Marek, John S. Schlipf: The Expressiveness of Locally Stratified Programs. Ann. Math. Artif. Intell. 15(2): 209-229 (1995)

39 V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski: Complexity of Computing with Extended Propositional Logic Programs. Ann. Math. Artif. Intell. 15(3-4): 357-378 (1995)

1994

38 Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302

37 V. Wiktor Marek, Miroslaw Truszczynski: Revision Specifications by Means of Programs. JELIA 1994: 122-136

36 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Ann. Pure Appl. Logic 67(1-3): 269-323 (1994)

35 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994)

1993

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

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

32 V. Wiktor Marek, Miroslaw Truszczynski: Reflective Autoepistemic Logic and Logic Programming. LPNMR 1993: 115-131

31 EE V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. J. ACM 40(4): 963-990 (1993)

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

1992

29 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. JICSLP 1992: 446-460

28 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Rule Systems and Well-Orderings. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 69-92

27 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: 93-102

26 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems II. Ann. Math. Artif. Intell. 5(2-4): 229-263 (1992)

25 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: How Complicated is the Set of Stable Models of a Recursive Logic Program? Ann. Pure Appl. Logic 56(1-3): 119-135 (1992)

24 V. Wiktor Marek, Miroslaw Truszczynski: More on modal aspects of default logic. Fundam. Inform. 17(1-2): 99-116 (1992)

23 Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski: The Pure Logic of Necessitation. J. Log. Comput. 2(3): 349-373 (1992)

22 V. Wiktor Marek, V. S. Subrahmanian: The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. Theor. Comput. Sci. 103(2): 365-386 (1992)

1991

21 V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. KR 1991: 395-404

20 V. Wiktor Marek, Miroslaw Truszczynski: Computing Intersection of Autoepistemic Expansions. LPNMR 1991: 37-50

19 V. Wiktor Marek, Miroslaw Truszczynski: Normal Form Results for Default Logic. Nonmonotonic and Inductive Logic 1991: 270-283

18 EE V. Wiktor Marek, Miroslaw Truszczynski: Autoepistemic Logic. J. ACM 38(3): 588-619 (1991)

1990

17 V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems LICS 1990: 79-94

16 V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski: Ranges of Strong Modal Nonmonotonic Logics. Nonmonotonic and Inductive Logic 1990: 85-99

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

14 V. Wiktor Marek, Miroslaw Truszczynski: Modal Logic for Default Reasoning. Ann. Math. Artif. Intell. 1: (1990)

1989

13 Aidong Zhang, V. Wiktor Marek: On the Classification and Existence of Structures in Default Logic. EPIA 1989: 129-140

12 V. Wiktor Marek, V. S. Subrahmanian: The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. ICLP 1989: 600-617

11 V. Wiktor Marek, Miroslaw Truszczynski: Relating Autoepistemic and Default Logics. KR 1989: 276-288

10 V. Wiktor Marek, Miroslaw Truszczynski: Stable Semantics for Logic Programs and Default Theories. NACLP 1989: 243-256

1988

9 V. Wiktor Marek: A Natural Semantics for Modal Logic Over Databases. Theor. Comput. Sci. 56: 187-209 (1988)

1987

8 Jerzy W. Jaromczyk, V. Wiktor Marek: Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I. ISMIS 1987: 96-106

1986

7 V. Wiktor Marek: Completeness and Consistency in Knowledge Base Systems. Expert Database Conf. 1986: 119-126

6 V. Wiktor Marek, Helena Rasiowa: Approximating Sets with Equivalence Relations. Theor. Comput. Sci. 48(3): 145-152 (1986)

1984

5 V. Wiktor Marek: A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. NMR 1984: 194-240

1979

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

1976

3 V. Wiktor Marek, Zdzislaw Pawlak: Information Storage and Retrieval Systems: Mathematical Foundations. Theor. Comput. Sci. 1(4): 331-354 (1976)

1974

2 Witold Lipski Jr., V. Wiktor Marek: File Organization, An Application of Graph Theory. ICALP 1974: 270-279

1973

1 V. Wiktor Marek, M. Srebrny: On Transitive Models for Fragments of Set Theory. Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys. 21(5): 389-392 (1973)

2009
118	EE	Victor W. Marek, Jeffrey B. Remmel: Automata and Answer Set Programming. LFCS 2009: 323-337
117	EE	V. Wiktor Marek, Jeffrey B. Remmel: Guarded resolution for answer set programming CoRR abs/0904.3953: (2009)
2008
116	EE	Victor W. Marek, Jeffrey B. Remmel: On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. ICLP 2008: 223-237
115	EE	Victor W. Marek: Quo Vadis Answer Set Programming? ICLP 2008: 83-87
114	EE	Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel: Set based logic programming. Ann. Math. Artif. Intell. 52(1): 81-105 (2008)
113	EE	Victor W. Marek, Miroslaw Truszczynski: Approximation Schemes in Logic and Artificial Intelligence. T. Rough Sets 9: 135-144 (2008)
112	EE	Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms. TPLP 8(2): 167-199 (2008)
2007
111		James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko: Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II Springer 2007
110	EE	Victor W. Marek, Jeffrey B. Remmel: Compactness Properties for Stable Semantics of Logic Programs. LFCS 2007: 379-400
109	EE	Victor W. Marek, Miroslaw Truszczynski: Rough Sets and Approximation Schemes. RSEISP 2007: 22-28
108	EE	Victor W. Marek, Jeffrey B. Remmel: Compactness Properties for Stable Semantics of Logic Programs. Fundam. Inform. 81(1-3): 211-239 (2007)
107	EE	Victor W. Marek: Characterizing Pawlak's Approximation Operators. T. Rough Sets 7: 140-150 (2007)
106	EE	Victor W. Marek: Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. TPLP 7(4): 499-503 (2007)
2006
105		Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel: Generating Cellular Puzzles with Logic Programs. IC-AI 2006: 403-407
104	EE	Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms CoRR abs/cs/0608103: (2006)
2005
103	EE	Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski: Approximating Answer Sets of Unitary Lifschitz-Woo Programs. LPNMR 2005: 66-78
102	EE	Victor W. Marek, Jeffrey B. Remmel: Normal Form Theorem for Logic Programs with Cardinality Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
101	EE	Jeffrey B. Remmel, Victor W. Marek: Set Based Logic Programming. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
100	EE	Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek: Logic programming with infinite sets. Ann. Math. Artif. Intell. 44(4): 309-339 (2005)
99	EE	Robert S. Boyer, Wilfred J. Legato, Victor W. Marek: Toward Automating the Discovery of Decreasing Measures. J. Autom. Reasoning 35(4): 355-371 (2005)
2004
98		Victor W. Marek, Miroslaw Truszczynski: Logic Programs with Abstract Constraint Atoms. AAAI 2004: 86-91
97	EE	Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel: Using Logic Programs to Reason about Infinite Sets. AMAI 2004
96		Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Automatic Generation of English-language Steps in Puzzle Solving. IC-AI 2004: 437-442
95	EE	V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic Programs With Monotone Cardinality Atoms. LPNMR 2004: 154-166
94	EE	V. Wiktor Marek, Jeffrey B. Remmel: Set Constraints in Logic Programming. LPNMR 2004: 167-179
93	EE	Victor W. Marek, Jeffrey B. Remmel: Answer set programming with default logic. NMR 2004: 276-284
92	EE	Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. Electr. J. Comb. 11(1): (2004)
91	EE	Marc Denecker, Victor W. Marek, Miroslaw Truszczynski: Ultimate approximation and its application in nonmonotonic knowledge representation systems. Inf. Comput. 192(1): 84-121 (2004)
90	EE	Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Constraint Lingo: towards high-level constraint programming. Softw., Pract. Exper. 34(15): 1481-1504 (2004)
2003
89	EE	Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. SAT 2003: 1-13
88	EE	Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143(1): 79-122 (2003)
87	EE	V. Wiktor Marek, Jeffrey B. Remmel: On the Expressibility of Stable Logic Programming CoRR cs.AI/0312053: (2003)
86	EE	V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone cardinality atoms CoRR cs.LO/0310063: (2003)
85	EE	Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and computing van der Waerden numbers CoRR cs.LO/0310064: (2003)
84		V. Wiktor Marek, Jeffrey B. Remmel: On the expressibility of stable logic programming. TPLP 3(4-5): 551-567 (2003)
2002
83	EE	Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski: Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. JELIA 2002: 513-516
82		Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. KR 2002: 177-190
81		Victor W. Marek, Jeffrey B. Remmel: On logic programs with cardinality constraints. NMR 2002: 219-228
80	EE	V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated revision programs. Artif. Intell. 138(1-2): 149-180 (2002)
79	EE	Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Ultimate approximations in nonmonotonic knowledge representation systems CoRR cs.AI/0205014: (2002)
2001
78	EE	Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski: Computing stable models in parallel. Answer Set Programming 2001
77	EE	Victor W. Marek, Jeffrey B. Remmel: On the Foundations of Answer Set Programming. Answer Set Programming 2001
76	EE	Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001
75	EE	V. Wiktor Marek, Jeffrey B. Remmel: On the Expressibility of Stable Logic Programming. LPNMR 2001: 107-120
74	EE	Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek: Logic programming revisited: Logic programs as inductive definitions. ACM Trans. Comput. Log. 2(4): 623-654 (2001)
73	EE	V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated revision programs CoRR cs.AI/0107026: (2001)
72		Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Default logic and specification of nonmonotonic reasoning. J. Exp. Theor. Artif. Intell. 13(2): 99-112 (2001)
2000
71		Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logic. KR 2000: 74-84
70	EE	Marc Denecker, Victor W. Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logics CoRR cs.AI/0002002: (2000)
1999
69	EE	V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated Revision Programs. LPNMR 1999: 49-62
68		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Logic Programs, Well-Orderings, and Forward Chaining. Ann. Pure Appl. Logic 96(1-3): 231-276 (1999)
67	EE	Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk: Computing with Default Logic. Artif. Intell. 112(1-2): 105-146 (1999)
66	EE	Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Fixpoint 3-valued semantics for autoepistemic logic CoRR cs.LO/9901003: (1999)
65	EE	V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Representation Theory for Default Logic CoRR cs.LO/9901016: (1999)
64		V. Wiktor Marek, Miroslaw Truszczynski: Contributions to the Theory of Rough Sets. Fundam. Inform. 39(4): 389-409 (1999)
1998
63		Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Fixpoint 3-Valued Semantics for Autoepistemic Logic. AAAI/IAAI 1998: 840-845
62		V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Revision Programming = Logic Programming + Integrity Constraints. CSL 1998: 73-89
61	EE	V. Wiktor Marek, Miroslaw Truszczynski: Rough Sets - What Are They About? Rough Sets and Current Trends in Computing 1998: 24
60	EE	Victor W. Marek, Miroslaw Truszczynski: Stable models and an alternative logic programming paradigm CoRR cs.LO/9809032: (1998)
59		Waldemar W. Koczkodaj, Marian Orlowski, V. Wiktor Marek: Myths about Rough Set Theory. Commun. ACM 41(11): 102-103 (1998)
58	EE	Bradley F. Burton, V. Wiktor Marek: Applications of the JAVA Programming Language to Database Management. SIGMOD Record 27(1): 27-34 (1998)
57	EE	V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming. Theor. Comput. Sci. 190(2): 241-277 (1998)
1997
56		Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski: Intelligent Computation of Presentation Documents. ISMIS 1997: 560-569
55		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Basic Forward Chaining Construction for Logic Programs. LFCS 1997: 214-225
54		V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Representation Theory for Default Logic. Ann. Math. Artif. Intell. 21(2-4): 343-358 (1997)
53	EE	V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Nonmonotonic rule systems with recursive sets of restraints. Arch. Math. Log. 36(4-5): 339-384 (1997)
52		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Recursive Normal Default Logic. Fundam. Inform. 32(2): 139-147 (1997)
1996
51		Joseph D. Oldham, V. Wiktor Marek: Toward Intelligent Representation of Database Content. ISMIS 1996: 274-284
50		Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski: Infinitary Default Logic for Specification of Nonmonotonic Reasoning. JELIA 1996: 224-236
49		Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski: Default Reasoning System DeReS. KR 1996: 518-528
48		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: On the Complexity of Abduction. LICS 1996: 513-522
47		Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Inform. 28(1-2): 87-100 (1996)
1995
46		V. Wiktor Marek, Anil Nerode: Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings Springer 1995
45	EE	V. Wiktor Marek, Miroslaw Truszczynski: Revision Programming, Database Updates and Integrity Constraints. ICDT 1995: 368-382
44		Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski: Experimenting with Nonmonotonic Reasoning. ICLP 1995: 267-281
43		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning LICS 1995: 178-185
42		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: On Logical Constraints in Logic Programming. LPNMR 1995: 43-56
41		William Brooks, V. Wiktor Marek, Miroslaw Truszczynski: Algorithms for Maintaining Authorization Bases. OOIS 1995: 99-110
40		Howard A. Blair, V. Wiktor Marek, John S. Schlipf: The Expressiveness of Locally Stratified Programs. Ann. Math. Artif. Intell. 15(2): 209-229 (1995)
39		V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski: Complexity of Computing with Extended Propositional Logic Programs. Ann. Math. Artif. Intell. 15(3-4): 357-378 (1995)
1994
38		Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302
37		V. Wiktor Marek, Miroslaw Truszczynski: Revision Specifications by Means of Programs. JELIA 1994: 122-136
36		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Ann. Pure Appl. Logic 67(1-3): 269-323 (1994)
35		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. J. Log. Program. 21(3): 129-153 (1994)
1993
34		Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993: 142-151
33		V. Wiktor Marek: Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract). Kurt Gödel Colloquium 1993: 61
32		V. Wiktor Marek, Miroslaw Truszczynski: Reflective Autoepistemic Logic and Logic Programming. LPNMR 1993: 115-131
31	EE	V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. J. ACM 40(4): 963-990 (1993)
30		Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. J. Intell. Inf. Syst. 2(2): 149-164 (1993)
1992
29		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: The Stable Models of a Predicate Logic Program. JICSLP 1992: 446-460
28		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: Rule Systems and Well-Orderings. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 69-92
27		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: 93-102
26		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems II. Ann. Math. Artif. Intell. 5(2-4): 229-263 (1992)
25		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: How Complicated is the Set of Stable Models of a Recursive Logic Program? Ann. Pure Appl. Logic 56(1-3): 119-135 (1992)
24		V. Wiktor Marek, Miroslaw Truszczynski: More on modal aspects of default logic. Fundam. Inform. 17(1-2): 99-116 (1992)
23		Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski: The Pure Logic of Necessitation. J. Log. Comput. 2(3): 349-373 (1992)
22		V. Wiktor Marek, V. S. Subrahmanian: The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. Theor. Comput. Sci. 103(2): 365-386 (1992)
1991
21		V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski: Modal Nonmonotonic Logics: Ranges, Characterization, Computation. KR 1991: 395-404
20		V. Wiktor Marek, Miroslaw Truszczynski: Computing Intersection of Autoepistemic Expansions. LPNMR 1991: 37-50
19		V. Wiktor Marek, Miroslaw Truszczynski: Normal Form Results for Default Logic. Nonmonotonic and Inductive Logic 1991: 270-283
18	EE	V. Wiktor Marek, Miroslaw Truszczynski: Autoepistemic Logic. J. ACM 38(3): 588-619 (1991)
1990
17		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems LICS 1990: 79-94
16		V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski: Ranges of Strong Modal Nonmonotonic Logics. Nonmonotonic and Inductive Logic 1990: 85-99
15		V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel: A Theory of Nonmonotonic Rule Systems I. Ann. Math. Artif. Intell. 1: (1990)
14		V. Wiktor Marek, Miroslaw Truszczynski: Modal Logic for Default Reasoning. Ann. Math. Artif. Intell. 1: (1990)
1989
13		Aidong Zhang, V. Wiktor Marek: On the Classification and Existence of Structures in Default Logic. EPIA 1989: 129-140
12		V. Wiktor Marek, V. S. Subrahmanian: The Relationship Between Logic Program Semantics and Non-Monotonic Reasoning. ICLP 1989: 600-617
11		V. Wiktor Marek, Miroslaw Truszczynski: Relating Autoepistemic and Default Logics. KR 1989: 276-288
10		V. Wiktor Marek, Miroslaw Truszczynski: Stable Semantics for Logic Programs and Default Theories. NACLP 1989: 243-256
1988
9		V. Wiktor Marek: A Natural Semantics for Modal Logic Over Databases. Theor. Comput. Sci. 56: 187-209 (1988)
1987
8		Jerzy W. Jaromczyk, V. Wiktor Marek: Investigating Logical Properties of the Rule-Based Expert Systems Using Combinatorial and Geometrical Techniques I. ISMIS 1987: 96-106
1986
7		V. Wiktor Marek: Completeness and Consistency in Knowledge Base Systems. Expert Database Conf. 1986: 119-126
6		V. Wiktor Marek, Helena Rasiowa: Approximating Sets with Equivalence Relations. Theor. Comput. Sci. 48(3): 145-152 (1986)
1984
5		V. Wiktor Marek: A Natural Semantics for Modal Logic over Databases and Model-Theoretic Forcing. NMR 1984: 194-240
1979
4		Witold Lipski Jr., V. Wiktor Marek: Information systems: on queries involving cardinalities. Inf. Syst. 4(1): 241-246 (1979)
1976
3		V. Wiktor Marek, Zdzislaw Pawlak: Information Storage and Retrieval Systems: Mathematical Foundations. Theor. Comput. Sci. 1(4): 331-354 (1976)
1974
2		Witold Lipski Jr., V. Wiktor Marek: File Organization, An Application of Graph Theory. ICALP 1974: 270-279
1973
1		V. Wiktor Marek, M. Srebrny: On Transitive Models for Fragments of Set Theory. Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys. 21(5): 389-392 (1973)

Coauthor Index

1 Howard A. Blair [40] [114]

2 Robert S. Boyer [99]

3 William Brooks [41]

4 Maurice Bruynooghe [74]

5 Bradley F. Burton [58]

6 Douglas A. Cenzer (Douglas Cenzer) [97] [100]

7 Pawel Cholewinski [44] [49] [67]

8 Marc Denecker [63] [66] [70] [71] [74] [79] [82] [88] [91]

9 Jürgen Dix [38] [47]

10 Michael R. Dransfield [85] [89] [92]

11 Joeri Engelfriet [50] [72]

12 Raphael A. Finkel [76] [78] [83] [90] [96] [105]

13 Melvin Fitting [23]

14 Georg Gottlob [38] [47]

15 Jerzy W. Jaromczyk [8]

16 Waldemar W. Koczkodaj [59]

17 Wilfred J. Legato [99]

18 Witold Lipski Jr. [2] [4]

19 Lengning Liu [92]

20 Artur Mikitiuk [44] [67]

21 Neil Moore [78]

22 Anil Nerode [15] [17] [25] [26] [28] [29] [35] [36] [42] [43] [46] [48] [52] [53] [55] [68]

23 Ilkka Niemelä [86] [95] [104] [112]

24 Joseph D. Oldham [51] [56]

25 Ewa Orlowska [111]

26 Marian Orlowski [59]

27 Zdzislaw Pawlak [3]

28 James F. Peters [111]

29 Inna Pivkina [62] [69] [73] [80] [103]

30 Hemantha Ponnuru [96]

31 Arcot Rajasekar [27] [39]

32 Helena Rasiowa [6] [30] [34]

33 Jeffrey B. Remmel [15] [17] [25] [26] [28] [29] [35] [36] [42] [43] [48] [52] [53] [55] [68] [75] [77] [81] [84] [87] [93] [94] [97] [100] [101] [102] [108] [110] [114] [116] [117] [118]

34 John S. Schlipf [40]

35 Grigori Schwarz [16]

36 Grigori F. Shvarts [21] [31]

37 Andrzej Skowron [111]

38 Roman Slowinski [111]

39 M. Srebrny [1]

40 V. S. Subrahmanian [12] [22]

41 Jan Treur [50] [54] [65] [72]

42 Miroslaw Truszczynski [10] [11] [14] [16] [18] [19] [20] [21] [23] [24] [27] [31] [32] [37] [39] [41] [44] [45] [49] [50] [54] [56] [57] [60] [61] [62] [63] [64] [65] [66] [67] [69] [70] [71] [72] [73] [76] [78] [79] [80] [82] [83] [85] [86] [88] [89] [90] [91] [92] [95] [96] [98] [103] [104] [105] [109] [112] [113]

43 Aidong Zhang [13]

44 Wojciech Ziarko [111]

Colors in the list of coauthors

1	Howard A. Blair	[40] [114]
2	Robert S. Boyer	[99]
3	William Brooks	[41]
4	Maurice Bruynooghe	[74]
5	Bradley F. Burton	[58]
6	Douglas A. Cenzer (Douglas Cenzer)	[97] [100]
7	Pawel Cholewinski	[44] [49] [67]
8	Marc Denecker	[63] [66] [70] [71] [74] [79] [82] [88] [91]
9	Jürgen Dix	[38] [47]
10	Michael R. Dransfield	[85] [89] [92]
11	Joeri Engelfriet	[50] [72]
12	Raphael A. Finkel	[76] [78] [83] [90] [96] [105]
13	Melvin Fitting	[23]
14	Georg Gottlob	[38] [47]
15	Jerzy W. Jaromczyk	[8]
16	Waldemar W. Koczkodaj	[59]
17	Wilfred J. Legato	[99]
18	Witold Lipski Jr.	[2] [4]
19	Lengning Liu	[92]
20	Artur Mikitiuk	[44] [67]
21	Neil Moore	[78]
22	Anil Nerode	[15] [17] [25] [26] [28] [29] [35] [36] [42] [43] [46] [48] [52] [53] [55] [68]
23	Ilkka Niemelä	[86] [95] [104] [112]
24	Joseph D. Oldham	[51] [56]
25	Ewa Orlowska	[111]
26	Marian Orlowski	[59]
27	Zdzislaw Pawlak	[3]
28	James F. Peters	[111]
29	Inna Pivkina	[62] [69] [73] [80] [103]
30	Hemantha Ponnuru	[96]
31	Arcot Rajasekar	[27] [39]
32	Helena Rasiowa	[6] [30] [34]
33	Jeffrey B. Remmel	[15] [17] [25] [26] [28] [29] [35] [36] [42] [43] [48] [52] [53] [55] [68] [75] [77] [81] [84] [87] [93] [94] [97] [100] [101] [102] [108] [110] [114] [116] [117] [118]
34	John S. Schlipf	[40]
35	Grigori Schwarz	[16]
36	Grigori F. Shvarts	[21] [31]
37	Andrzej Skowron	[111]
38	Roman Slowinski	[111]
39	M. Srebrny	[1]
40	V. S. Subrahmanian	[12] [22]
41	Jan Treur	[50] [54] [65] [72]
42	Miroslaw Truszczynski	[10] [11] [14] [16] [18] [19] [20] [21] [23] [24] [27] [31] [32] [37] [39] [41] [44] [45] [49] [50] [54] [56] [57] [60] [61] [62] [63] [64] [65] [66] [67] [69] [70] [71] [72] [73] [76] [78] [79] [80] [82] [83] [85] [86] [88] [89] [90] [91] [92] [95] [96] [98] [103] [104] [105] [109] [112] [113]
43	Aidong Zhang	[13]
44	Wojciech Ziarko	[111]