Victor W. Marek

V. Wiktor Marek

	2009
119		Victor W. Marek, Jeffrey B. Remmel: Automata and Answer Set Programming. LFCS 2009: 323-337
118		V. Wiktor Marek, Jeffrey B. Remmel: Guarded resolution for answer set programming CoRR abs/0904.3953: (2009)
117		Victor W. Marek, Jeffrey B. Remmel: An Application of Proof-Theory in answer Set Programming CoRR abs/0905.0197: (2009)
	2008
116		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		Victor W. Marek: Quo Vadis Answer Set Programming? ICLP 2008: 83-87
114		Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel: Set based logic programming. Ann. Math. Artif. Intell. 52(1): 81-105 (2008)
113		Victor W. Marek, Miroslaw Truszczynski: Approximation Schemes in Logic and Artificial Intelligence. T. Rough Sets 9: 135-144 (2008)
112		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		Victor W. Marek, Jeffrey B. Remmel: Compactness Properties for Stable Semantics of Logic Programs. LFCS 2007: 379-400
109		Victor W. Marek, Miroslaw Truszczynski: Rough Sets and Approximation Schemes. RSEISP 2007: 22-28
108		Victor W. Marek, Jeffrey B. Remmel: Compactness Properties for Stable Semantics of Logic Programs. Fundam. Inform. 81(1-3): 211-239 (2007)
107		Victor W. Marek: Characterizing Pawlak's Approximation Operators. T. Rough Sets 7: 140-150 (2007)
106		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		Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone abstract constraint atoms CoRR abs/cs/0608103: (2006)
	2005
103		Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski: Approximating Answer Sets of Unitary Lifschitz-Woo Programs. LPNMR 2005: 66-78
102		Victor W. Marek, Jeffrey B. Remmel: Normal Form Theorem for Logic Programs with Cardinality Constraints. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
101		Jeffrey B. Remmel, Victor W. Marek: Set Based Logic Programming. Nonmonotonic Reasoning, Answer Set Programming and Constraints 2005
100		Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek: Logic programming with infinite sets. Ann. Math. Artif. Intell. 44(4): 309-339 (2005)
99		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		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		V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic Programs With Monotone Cardinality Atoms. LPNMR 2004: 154-166
94		V. Wiktor Marek, Jeffrey B. Remmel: Set Constraints in Logic Programming. LPNMR 2004: 167-179
93		Victor W. Marek, Jeffrey B. Remmel: Answer set programming with default logic. NMR 2004: 276-284
92		Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. Electr. J. Comb. 11(1): (2004)
91		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		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		Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski: Satisfiability and Computing van der Waerden Numbers. SAT 2003: 1-13
88		Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. 143(1): 79-122 (2003)
87		V. Wiktor Marek, Jeffrey B. Remmel: On the Expressibility of Stable Logic Programming CoRR cs.AI/0312053: (2003)
86		V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski: Logic programs with monotone cardinality atoms CoRR cs.LO/0310063: (2003)
85		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		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		V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski: Annotated revision programs. Artif. Intell. 138(1-2): 149-180 (2002)
79		Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Ultimate approximations in nonmonotonic knowledge representation systems CoRR cs.AI/0205014: (2002)
	2001
78		Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski: Computing stable models in parallel. Answer Set Programming 2001
77		Victor W. Marek, Jeffrey B. Remmel: On the Foundations of Answer Set Programming. Answer Set Programming 2001
76		Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski: Tabular Constraint-Satisfaction Problems and Answer Set Programming. Answer Set Programming 2001
75		V. Wiktor Marek, Jeffrey B. Remmel: On the Expressibility of Stable Logic Programming. LPNMR 2001: 107-120
74		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		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		Marc Denecker, Victor W. Marek, Miroslaw Truszczynski: Uniform semantic treatment of default and autoepistemic logics CoRR cs.AI/0002002: (2000)
	1999
69		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		Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk: Computing with Default Logic. Artif. Intell. 112(1-2): 105-146 (1999)
66		Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski: Fixpoint 3-valued semantics for autoepistemic logic CoRR cs.LO/9901003: (1999)
65		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		V. Wiktor Marek, Miroslaw Truszczynski: Rough Sets - What Are They About? Rough Sets and Current Trends in Computing 1998: 24
60		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		Bradley F. Burton, V. Wiktor Marek: Applications of the JAVA Programming Language to Database Management. SIGMOD Record 27(1): 27-34 (1998)
57		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		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		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		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		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] [119]
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