Selected Publications
Read at your own risk, it could change your
life...
Online Publications
This is an incomplete list for a variety of reasons. I did not include papers
that were published before the advent of serious electronic publishing, that is
TeX. Some older papers exist in troff form, but are not included. Then,
possibly, there were papers prepared electronically in that (not so distant)
past, but I have no record of those. Most of papers below are published, but
some are not. Some are so old that they show (for unclear reasons) from last to
first page. Moreover, these papers are reproduced as they are in my files, not
necessarily using the style files required by conferences, journals etc.
 2016 and earlier.
 A paper on CRESCO, Cody Bumgardner edge
computing framework, coauthored with V.K.C. Bumgardner and C.D. Hickey.
In: Proceedings of CNSM 2016.
 A paper on partial regularity of the
Pythagorean equation, coauthored with M. Heule and O. Kullmann,
In: N. Creignou and D. Le Berre, eds. Theory and
Applications of Satisfiability Testing, SAT 2016.
Springer Lecture Notes in Computer Science 9710, pages 228  245, 2016.
 A short version of the arXiv paper
with D. Cenzer and J. Remmel listed below (in 2014 list).
In: Artemov, S. and Nerode A. eds. Logical Foundations of Computer Science.
Springer Lecture Notes in Computer Science 9537, pages 6075, 2016.
 A short text on Zdzislaw Pawlak.
In: Proceedings of FedCSIS 2016, Annals of Computer Science and Information
Systems, vol 8, pages 189190.
 A review of the collection All about
Proofs, Proofs for All B. Woltzenfogel Paleo and D. Delahaye, eds.
College Publications, 2015.
Theory and Practice of Logic Programming, vol 16(2), pp. 236241, 2016.
 A paper on history of logic in Poland
after WWII, but before 1975, coauthored with J. Wolenski.
European Review, 23(1) (2015), pages 159171.
 2014 and earlier.
 A paper on
rough sets and matroids, coauthored with A. Skowron.
Transactions on Rough Sets, 17 (2014), pages 7481.
 A paper on SAT filters,
coauthored with S.A. Weaver, K. Ray, A.J. Mayer, and A.K. Walker.
Journal on Satisfiability, Boolean Modelling, and Computation
8 (2014), pages 129148.
 An unpublished paper on index sets
of finite predicate logic programs coauthored with D. Cenzer and
J.B. Remmel. Also available on ArXiv.

A short paper commemorating Professor A. Mostowski centenary.
Newsletter of European Mathematical Society 88 (June 2013).
 2012 and earlier.

Introduction to life and work of Z. Pawlak
coauthored with large group of Pawlak's collaborators, headed by A. Skowron.
In: Rough Sets and Intelligent Systems  Professor Zdzisław Pawlak in
Memoriam, vol.1. Intelligent Systems Reference Library, Vol. 42,
Springer, Heidelberg (2013)
(Warning: very large file)
 A short text on the work of Z. Pawlak
on Information Systems and on Rough Sets.
In: Rough Sets and Intelligent Systems  Professor Zdzisław Pawlak in
Memoriam, vol.1. Intelligent Systems Reference Library, Vol. 42,
Springer, Heidelberg (2013)
 A paper coauthored with J.B. Remmel on
disjunctive programs with set constraints.
In: Correct Reasoning  Essays on LogicBased AI in Honor of Vladimir
Lifschitz, E. Erdom, J. Lee, Y. Lierler, and D. Pearce eds.
Springer Lecture Notes in Computer Science 7265, pages 471486,
2012.
 A paper coauthored with M. Denecker and
M. Truszczynski on the relationship of Default and Autoepistemic Logics.
In: G. Brewka, V.M. Marek, and M.
Truszczynski, eds. Nonmonotonic Reasoning  Essays Celebrating its 30th
Anniversary, College Publications, 2011.
 A paper coauthored with I. Niemela and
M. Truszczynski on
the origins of Answer Set Programming.
In: G. Brewka, V.M. Marek, and M.
Truszczynski, eds. Nonmonotonic Reasoning  Essays Celebrating its 30th
Anniversary, College Publications, 2011.
 A paper coauthored with J.B. Remmel on
extensions of Answer Set Programming.
In: G. Brewka, V.M. Marek, and M.
Truszczynski, eds. Nonmonotonic Reasoning  Essays Celebrating its 30th
Anniversary, College Publications, 2011.
 2010 and earlier.
 2008 and earlier.
 A paper coauthored with J,B. Remmel on
the continuity of GelfondLifschitz operator for stable semantics of logic
programs.
V.W. Marek and J.B. Remmel. On the Continuity of GelfondLifschitz
Operator and Other Applications of Prooftheory in Answer Set
Programming.
Proceedings of ICLP 2008, Springer Lecture Notes in Computer Science 5366,
pages 223237, 2008, updated version in: Foundational Explorations, Essays to
Honor H.M. Friedman's 60th Birthday, N. Tennant, ed., College Publications,
pp. 285305.
 A position paper
delivered at the session "20 years of Stable Semantics", ICLP 2008
V.W. Marek. Quo Vadis Answer Set Programming?
Proceedings of ICLP 2008, Springer Lecture Notes in Computer Science 5366,
pages 8387, 2008.
 A review (in Polish)
of the book "Teoria Mnogosci" (Set Theory) by A. Blaszczyk and S. Turek.
Wiadomosci Matematyczne vol. 45, pages 157161.
 A paper coauthored with
J.B. Remmel on the complexity of recursive constraint satisfaction
problems.
Annals of Pure and Applied Logic 161:447457, 2009. DOI
information: 10.1016/j.apal.2009.07.005.
 A paper coauthored with
H.A. Blair and J.B. Remmel on the Logic Programming with sets and monotone
idempotent operators.
H.A. Blair, V.W. Marek, and J.B. Remmel. Setbased Logic Programming.
Annals of Mathematics and Artificial
Intelligence 52:81105, 2008.
 A paper
coauthored with
I. Niemela and M. Truszczynski on abstract constraint atoms in logic
programming.
V.W. Marek, I. Niemela, and M. Truszczynski.
Logic Programs with Monotone Abstract Constraint Atoms.
Theory and Practice of Logic Programming 8:167199, 2008
 2007 and earlier.

A paper coauthored with M. Truszczynski on Rough Sets.
V.W. Marek and M. Truszczynski. Rough Sets and Approximation
Schemes. Proceedings of the Conference Rough
Sets and Emerging Intelligent Systems Paradigmes, Springer Lecture
Notes in Computer Science 4585, pages 2228. 2007.
 A paper coauthored with J.B.
Remmel on the compactness properties of the stable semantics of logic
programs. This is a short version (without proofs).
It was published in the Proceedings of
Logical Foundations of Computer Science Conference
(in honor of A. Nerode 75th birthday),
Long version was published in Fundamenta
Informaticae, in the volume dedicated to the 85th birthday of
Andrzej Grzegorczyk. Anyone interested in longer version (i.e.
one with proofs) please contact us.
V.W. Marek and J. Remmel, Compactness properties for stable semantics of
logic programs, Logical Foundations of Computer Science,
Springer Lecture Notes in
Computer Science 4514, pages 379400, 2007.
 A review of the book by A.
Bochman "Explanatory Nonmonotonic Reasoning".
Theory and Practice of Logic Programming vol. 7, issue 4, 2007.
 A paper on the characterization of
rough sets. Dedicated to the memory of Zdzislaw Pawlak.
V.W. Marek. Characterizing Pawlak's Rough Sets.
Transactions on Rough Sets 7:140150, 2007.
 2006 and earlier.
 An unpublished paper coauthored
with M. Truszczynski on the
complexity issues associated with the notion of autarky.
 A paper coauthored with
R. Boyer and W. Legato on decreasing measures for rule selection in ATP.
R.S. Boyer, W.J. Legato and V.W. Marek.
Toward Automating the Discovery
of Decreasing Measures. Journal of Automated Reasoning, 35:355371,
2005.
 A paper coauthored with
D. Cenzer and J. Remmel on logic programming with infinite sets.
D. Cenzer, V.W. Marek and J.B.Remmel.
Using logic programs to reason about infinite sets.
Annals of Mathematics and Artificial
Intelligence, 44:309339, 2005.
 A paper coauthored with
I. Pivkina and M. Truszczynski about an approximation scheme for unitary
LifschitzWoo programs (i.e. revision programs).
V.W. Marek, I. Pivkina and M. Truszczynski.
Approximating answer sets
of unitary LifschitzWoo programs.
Logic Programming and
Nonmonotonic Reasoning, Proceedings of
the 8th International Conference, Springer Lecture Notes in Computer
Science, 2005.
 2004 and earlier.
 A paper coauthored with
H. Ponnuru, R. Finkel and M. Truszczynski on automatic generation of
explanations.
H. Ponnuru, R. Finkel, V.W. Marek and M. Truszczynski. Automatic
Generation of Englishlanguage Steps
in Puzzle Solving. Proceedings of the International Conference on
Artificial Intelligence 2004, H.R. Arabnia, editor, pages 437442,
2004.
 A paper coauthored with
R.A. Finkel and M. Truszczynski on a language to express (mainly)
tabular constraints.
R.A. Finkel, V.W. Marek and M. Truszczynski, Constraint Lingo:
Towards
highlevel constraint programming. Software: Practice and
Experience 34(15):14811504, 2004.
 A paper coauthored with
J. Remmel on Answer Set Programming with Default Logic.
V.W. Marek and J.B. Remmel.
Answer Set Programming with Default Logic.
Proceedings of the 10^{th} International Workshop on Nonmonotonic
Reasoning, pages 276284, 2004.
 A paper coauthored with
M. Dransfield, L. Liu and M. Truszczynski on SAT and van der Waerden
numbers.
M.R. Dransfield, L. Liu, V.W. Marek and M. Truszczynski. Satisfiability and
Computing van der Waerden Numbers,
Electronic Journal of Combinatorics 11(1):R41, 2004.
 A paper coauthored with
I. Niemela and M. Truszczynski on monotone cardinality atoms.
V.W. Marek, I. Niemela, and M. Truszczynski.
Logic programs with monotone cardinality atoms.
Logic Programming and Nonmonotonic Reasoning, Proceedings of
the 7th International Conference,
Springer Lecture Notes in Computer Science 2923, pages 168179, 2004.
 A paper coauthored with
M. Truszczynski on programs with abstract monotone atoms.
V. Marek and M. Truszczynski, Logic programs with abstract constraint
atoms.
Proceedings of the 19th National Conference on Artificial
Intelligence (AAAI04) , pages 8691, AAAI Press, 2004.
 A paper coauthored with
M. Denecker and M.Truszczynski on the ultimate approximation of operators
in lattices.
M. Denecker, V. Marek, M. Truszczynski,
Ultimate approximation
and its applications in nonmonotonic knowledge representation systems.
(complete version of the KR'2002 paper). Information and
Computation 192:84121, 2004.
 A paper coauthored with
H. Blair and J. Remmel on setbased logic programming.
H.A. Blair, V.W. Marek, J.B. Remmal and A. Riviera.
Proceedings of the Fourth Workshop
Computational Logic and MultiAgent Systems, 2004
 A paper coauthored with
I. Niemela and M. Truszczynski on monotone cardinality atoms.
V.W. Marek, I. Niemela and M. Truszczynski, Logic programs with monotone
cardinality atoms.
Logic Programming and Nonmonotonic Reasoning, Proceedings of
the 7th International Conference,
Springer Lecture Notes in Computer Science 2923, pages 168179, 2004.
 A paper coauthored with
J. Remmel on the general form of constraints in ASP.
V.W. Marek and J.B. Remmel.
Set Constraints in Logic Programming.
Logic Programming and Nonmonotonic Reasoning, Proceedings of
the 7th International Conference,
Springer Lecture Notes in Computer Science 2923, pages 154167, 2004.
 A paper coauthored with
M. Denecker and M.Truszczynski on the relationship between Autoepistemic
Logic and Default Logic.
M. Denecker, V. Marek, M. Truszczynski,
Uniform semantic treatment of default and autoepistemic logics.
Artificial Intelligence Journal, 143 (2003), pp. 79122
 A paper coauthored with
J. Remmel on the expressibility of Logic Programming with stable
semantics.
V.W. Marek and J.B. Remmel,
On the expressibility of stable logic programming,
Theory and Practice of Logic Programming
3(4,5) pages 551567, 2003.
 A paper coauthored with
R. Finkel and M. Truszczynski on the ConstraintLingo, the language to
solve CFP(FD) problems.
R.A. Finkel, V.W. Marek, and M. Truszczynski. Constraint Lingo: Towards
highlevel constraint programming. Software: Practice and
experience 34(15):14811504, 2004.
 2002 and earlier.
 A conference paper coauthored with
M. Denecker and M. Truszczynski on the ultimate approximation of
operators in lattices.
M. Denecker, V. Marek and M. Truszczy\'nski
Ultimate approximations in nonmonotonic knowledge representation
systems. Principles of Knowledge Representation and Reasoning,
Proceedings of the
Eights International Conference, pages 177188, MorganKaufmann, 2002.
 A paper coauthored with
R. Finkel, N. Moore and M. Truszczynski on the computation of stable
models in parallel.
R.A. Finkel, V.W. Marek, N. Moore and M. Truszczynski,
Computing Stable Models in Parallel.
In: Answer Set Programming: Towards Efficient and Scalable Knowledge
Representation and Reasoning, AAAI Press, Palo Alto, CA,
pages 7276, 2001.
 A paper coauthored with
J. Mycielski on logic in twentieth century.
V. W. Marek and J. Mycielski.
Foundations of Mathematics in the Twentieth
Century. The American Mathematical Monthly 108(5):449468, 2001.
Appeared as a chapter in the book Mathematical Evolutions,
A. Shenitzer and J. Stillwell, editors. Mathematical Association of
America.
 A paper coauthored with
H. Blair and J. Remmel containing preliminary results on a formalism called
Spatial Logic Programming.
H.A. Blair, V.W. Marek and J.Bi Remmel, Spatial Logic
Programming, In: Proceedings of 5th World Multiconference on
Systems, Cybernetics and Informatics, 2001, Orlando, FL,
Volume XVII, Cybernetics and Informatics:
Concepts and Applications (Part II), pp. 212218.
 A paper coauthored with
M. Denecker and M. Bruynooghe on inductive definitions and Logic
Programming.
M. Denecker, V.W. Marek and M. Bruynooghe. Logic Programming Revisited:
Logic Programs as Inductive Definitions. ACM Transactions on
Computational Logic 2(4):623654, 2001.
 A paper coauthored with
J. Engelfriet, J. Treur and M.
Truszczynski on infinitary specifications.
J. Engelfriet, V.W. Marek, J. Treur and M. Truszczynski,
Default Logic and Specification of Nonmonotonic Reasoning.
Journal of Experimental and Theoretical Artificial Intelligence
13, pages ~99112. 2001.
 2000 and earlier.
 A paper
coauthored with M. Denecker and M. Truszczynski on the uniform
treatment of Reiter's Default Logic and Moore's Autoepistemic Logic,
conference version.
M. Denecker, V.W. Marek, and M. Truszczynski,
Uniform treatment of default and autoepistemic logics.
Principles of Knowledge Representation and Reasoning, Proceedings of the
Seventh International Conference, pages ~7484, MorganKaufmann, 2000.
 A paper coauthored with I. Pivkina
and M. Truszczynski on Annotated Revision Programming.
V. Marek, I. Pivkina, M. Truszczynski, Annotated Revision Programming,
Logic Programming and
Nonmonotonic Reasoning, Proceedings of
the 5th International Conference,
Springer Lecture Notes in Computer Science 1730, pages 4962, 1999.
 A paper coauthored with M.
Denecker and M. Truszczynski, full version of our work
operatorbased approach to AEL,
M.
Denecker, V.W. Marek, M. Truszczynski, Fixpoint 3valued semantics for
autoepistemic logic. In: Logical Foundations for
Cognitive Agents: Contributions in Honor of Ray Reiter,
SpringerVerlag, pp. 113136, 1999.
 A paper coauthored with M.
Truszczynski on Rough Sets.
V.W. Marek, M.
Truszczynski, Contributions to the Theory of Rough Sets
Fundamenta Informaticae, 39(1999), pp. 389489.
 A paper coauthored with M.
Truszczynski that started Answer Set Programming.
V.W. Marek, and M. Truszczynski, Stable logic
programming  an
alternative logic programming paradigm. In: 25 years of Logic
Programming Paradigm, pages ~375398. SpringerVerlag, 1999.
 A paper coauthored with M.
Denecker and M. Truszczynski, preliminary version of our work
operatorbased approach to AEL,
M. Denecker, V.W. Marek, and M. Truszczynski,
Proceedings of AAAI98, pp. 840845, MIT Press 1998.
 A paper coauthored with I. Pivkina
and M. Truszczynski on Revision Programming.
V. W. Marek, I.Pivkina, and M. Truszczynski,
Revision programming =
logic programming + constraints, Proceedings of the Computer Science
Logic Conference (CSL 98), Brno, Lecture Notes in Computer
Science, 1584. pages 7389. SpringerVerlag, 1999.
 A paper coauthored with P.
Cholewinski, A. Mikitiuk and M. Truszczynski; the final report on
DeReS ASP system.
P. Cholewinski, W. Marek, A. Mikitiuk
and M. Truszczynski,
Computing with Default Logic, Artificial
Intelligence Journal
112:105146, 1999.
 A paper coauthored with B. Burton
on managing databases from within JAVA.
B.F. Burton and V.W. Marek, A`pplications of JAVA
programming language to database management,
SIGMOD Record 27(1):2734, 1998.
 A paper coauthored with M.
Truszczynski on Revision Programming.
V.W. Marek and M. Truszczynski, Revision
programming. Theoretical
Computer Science 190(2):241277, 1998.

A paper coauthored with A. Nerode and J. Remmel on forward chaining in
logic programing with stable sematics. An alternative processing
algorithm.
W. Marek, A. Nerode and J. Remmel,
Logic Programs, Wellorderings, and Forward Chaining,
Annals of Pure and Applied Logic 96:231276, 1999.
 1997 and earlier.
 An unpublished paper
coauthored with V.S. Subrahmanian attempting to formalize the notion of
an interesting query.
 A paper coauthored with J. Oldham
and M. Truszczynski
on data presentation in natural language.
V.W. Marek, J. Oldham, and M. Truszczynski,
Intelligent Computation of Presentation Documents
Lecture Notes in Artificial Intelligence, 1325,
Foundations of Intelligent Systems, Proceedings of ISMIS97,
pages 560569, SpringerVerlag, 1997.
 An unpublished paper
coauthored with H.Blair on firstorder default logic.
 A paper coauthored with W.
Sumner and M. Truszczynski on patient simulation.
W. Marek, W. Sumner and M. Truszczynski,
Creating Evolution Scenarios for Hybrid Systems
Proceedings of IEEESMC Symposium on Control, Optimization and
Supervision, at CESA96, Lille, pages 512516, 1996.
 A paper coauthored with P.
Cholewinski and M. Truszczynski on DeReS ASP system.
P. Cholewinski, W. Marek, and M. Truszczynski,
Default Reasoning System DeReS,
Proceedings of the International Conference on Principles of
Knowledge Representation and Reasoning, L. Carlucci Aiello, J. Doyle and
S. Shapiro, (eds.), KR'96, pages 518528, 1996.
 A paper coauthored with J. Dix and
G. Gottlob on propositional theories that can be perceived as logic
programs.
J. Dix, G. Gottlob, and W. Marek,
Reducing Disjunctive to NonDisjunctive
Semantics by ShiftOperations. Fundamenta Informaticae
27(12):87100, 1996.
 A paper coauthored with J. Treur and
M. Truszczynski on representability for Normal Default Logic of
Reiter.
V.W. Marek, J. Treur, and M. Truszczynski,
Representation Theory for Default Logic. Annals of Mathematics and
Artificial Intelligence 21(24):343358, 1997.
 A paper coauthored with J. Oldham
on data presentation in natural language.
V.W. Marek and J. Oldham,
Toward Intelligent Representation of Database
Content.
Proceedings of International Symposium on Methodologies of
Intelligent Systems 1996, Z.W. Ras, M. Michalewicz, editors,
pages 274284, Springer Lecture Notes in Computer Science 1079, 1996.
 First results on Deres ASP
system.
P.Cholewinski, V.W. Marek, A. Mikitiuk, and M.
Truszczynski, Experimenting with nonmonotonic reasoning,
Proceedings of Twelfth International Conference on Logic
Programming, pages ~267281, MIT Press, 1995.
 An unpublished but comprehensive
paper with M. Truszczynski on programming where execution of a rule is
associated with cost.
 A paper with W. Brooks and M.
Truszczynski on the authorizations in databases.
W. Brooks, W. Marek, and M. Truszczynski.
Algorithms for maintenance of
authorization bases, Proceedings of 2nd International Conference on
ObjectOriented Information Systems, OOIS95 , Springer Verlag, pages
99110, 1995.
 A paper
coauthored with A. Rajasekar and M.
Truszczynski on a complexity issues associated with a class of logic
programs.
W. Marek, A. Rajasekar and M. Truszczynski.
Complexity of computing with extended propositional
logic programs, Annals of Mathematics and Artificial
Intelligence 15(34):357378, 1995.
 A paper with H. Blair and J.
Schlipf on locally stratified logic programs.
H.A. Blair, W. Marek, and J.S. Schlipf,
The expressiveness of locally
stratified programs, Annals of Mathematics and Artificial
Intelligence 15(2):209229, 1995.

A short unpublished note coauthored with J. Remmel showing
that stable semantics for logic programs is not compact.

A paper coauthored with A. Nerode and J. Remmel on complexity of
normal default logic.
W. Marek, A. Nerode and J. Remmel,
Complexity of Recursive
Normal Default Logic. Fundamenta Informaticae 32(2):139148,
1997.

An extended abstract coauthored with A. Nerode and J. Remmel on
forward chaining.
W. Marek, A. Nerode and J. Remmel,
Basic forward chaining construction for logic programs.
Lecture Notes in Computer Science, 1234,
Logical Foundations of Computer Science' 97, Logic at Yaroslavl,
pages ~214225, SpringerVerlag, 1997.

A paper coauthored with A. Nerode and J. Remmel on nonmonotonic rule
systems with recursive sets of restraints.
W. Marek, A. Nerode and J. Remmel,
Nonmonotonic Rule Systems with
recursive sets of restraints. Archiv fuer Mathematische Logik
36:339384, 1997.

An unpublished paper coauthored with A. Nerode and J. Remmel on logic
programs with constraints. Short version was published in LPNMR95.
 1994 and earlier.
 A paper coauthored with M.
Truszczynski on reflexive autoepistemic logic of Schwartz and Logic
Programming.
W. Marek and M. Truszczynski.
Reflexive Autoepistemic Logic and Logic
Programming, Logic Programming and Nonmonotonic Reasoning,
MIT Press, pages 115131, 1993.
 A paper coauthored with H.
Rasiowa on reaching consensus.
V.W. Marek and H. Rasiowa. Mechanical Proof Systems for Logic II,
Consensus Programs and Their Processing,
Journal of Intelligent Information Systems 2:149164, 1993.
 A paper coauthored with M.
Truszczynski on normal form in Reiter's Default Logic.
W. Marek and M. Truszczynski
Normal form results for default logic,
Springer Lecture Notes in
Computer Science 659, pages ~270283, 1993.

A paper coauthored with A. Nerode and J. Remmel on forwardchaining in
nonmonotonic rule systems.
W. Marek, A. Nerode and J. Remmel,
A Context for Belief Revision:
Forward ChainingNormal Nonmonotonic Rule Systems,
Annals of Pure and Applied Logic 67(13):269323, 1994.

A paper coauthored with A. Nerode and J. Remmel on the
stable models of finite (predicate) logic programs.
W. Marek, A. Nerode and J. Remmel,
The stable models of a predicate logic program.
Journal of Logic Programming 21(3):129154, 1994.

An unpublished paper coauthored with A. Nerode on a decision procedure
for Default Logic of Reiter.

A review paper coauthored with A. Nerode.
W. Marek, A. Nerode, Nonmonotonic Reasoning,
Encyclopedia of Computer
Science and Technology. vol. 34, pages 281289, Marcel Dekker, 1994.
 1992 and earlier.

A paper coauthored with M. Truszczynski on modal aspects of Reiter's
Default logic.
W. Marek and M. Truszczynski.
More on modal aspects of default logic,
Fundamenta Informaticae 17(12):99116, 1992.

A paper coauthored with A. Nerode and J. Remmel on the
nonmonotonic rule systems. First part of full version.
W. Marek, A. Nerode and J. Remmel,
A Theory of Nonmonotonic
Rule Systems I,
Annals of Mathematics and Artificial Intelligence
1:241273, 1990.

A paper coauthored with A. Nerode and J. Remmel on the
nonmonotonic rule systems. Second part of full version.
W. Marek, A. Nerode and J. Remmel,
A Theory of Nonmonotonic
Rule Systems II,
Annals of Mathematics and Artificial Intelligence
5:119136, 1992.

A paper coauthored with A. Nerode and J. Remmel on the
nonmonotonic rule systems.
W. Marek, A. Nerode and J. Remmel,
A theory of nonmonotonic rule systems.
Proceedings of the Fifth Symposium ``Logic in Computer
Science'', Philadelphia 1990, IEEE Press, pages ~7994, 1990.

An unpublished paper coauthored with A. Nerode and J. Remmel on
predicate nonmonotonic rule systems.

A paper coauthored with A. Nerode and J. Remmel on the sets of stable
models of a recursive propositional programs.
W. Marek, A. Nerode and J. Remmel,
How complicated is the set of stable models of a
recursive logic program?
Annals of Pure and Applied Logic 56(13):119135, 1992.

A paper coauthored with M. Truszczynski on computation of intersection
of expansions in Autoepistemic Logic.
W. Marek and M. Truszczynski,
Computing intersection of autoepistemic
expansions. Logic Programming and Nonmonotonic Reasoning,
Proceedings of the First International Workshop, Washington, DC,
pages 3750. MIT Press, 1991.

A paper coauthored with G. Schwartz and M. Truszczynski on ranges of
nonmonotonic logics, short version.
W. Marek, G. Schwartz and M. Truszczynski, Modal
nonmonotonic
logics: ranges, characterization, computation.
Principles of Knowledge Representation and Reasoning.
Proceedings of the International Conference on Knowledge Representation,
KR91, pages 395404, 1991.

A paper coauthored with M. Truszczynski on the interpretation of default
logic in nonmonotonic pure logic of necessitation.
W. Marek and M. Truszczynski, Modal Logic for Default
Reasoning, Annals of Mathematics and Artificial Intelligence
1:275302, 1990.

An unpublished paper coauthored with M. Truszczynski on truth maintenance.

A paper coauthored with H. Rasiowa on reaching consensus by groups of
agents,
W. Marek and H. Rasiowa.
On reaching consensus by groups of intelligent
agents. In: Proceedings of the International Symposium
on Methodology for Intelligent Systems, NorthHolland, pages
234243, 1989.

A paper coauthored with M. Fitting and N. Truszczynski on pure
logic of necessitation,
M.Fitting, W. Marek and M. Truszczynski,
The pure logic of necessitation, Journal of Logic and Computation
2:349373, 1992 .

An unpublished paper coauthored with M. Suchenek
on the sequence semantics for logic of belief
 Here is a paper so old that it was
done in troff with me macros (!). It shows that the objective part
determines stable theory via an iterated inductive definition, thus using
wellfounded semantics. Markup shows poorly.
(Much changed in word processing since 1986.)
W. Marek, Fundamenta
Informaticae 12(2):243254, 1989.
Set up: March 7, 2006
Last modified: January 10, 2010