Read at your own risk, it could change your
life...
On-line 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.
- 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 22--28. 2007.
- An unpublished paper coauthored with
J.B. Remmel on proof-theoretic aspects of stable semantics for logic
programs and an alternative to loop formulas.
Extended abstract of this paper accepted for publication in a conference
proceedings.
- 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 379--400, 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:140-150, 2007.
- 2006 and earlier
- 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:355-371,
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:309--339, 2005.
- A paper coauthored with
I. Pivkina and M. Truszczynski about an approximation scheme for unitary
Lifschitz-Woo programs (i.e. revision programs).
V.W. Marek, I. Pivkina and M. Truszczynski.
Approximating answer sets
of unitary Lifschitz-Woo 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 English-language Steps
in Puzzle Solving. Proceedings of the International Conference on
Artificial Intelligence 2004, H.R. Arabnia, editor, pages 437--442,
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
high-level constraint programming. Software: Practice and
Experience 34(15):1481--1504, 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 10th International Workshop on Nonmonotonic
Reasoning, pages 276-284, 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 168-179, 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 (AAAI-04) , pages 86--91, 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:84--121, 2004.
- A paper coauthored with
H. Blair and J. Remmel on set-based logic programming.
H.A. Blair, V.W. Marek, J.B. Remmal and A. Riviera.
Proceedings of the Fourth Workshop
Computational Logic and Multi-Agent 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 168-179, 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 154--167, 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. 79-122
- 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 551-567, 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
high-level constraint programming. Software: Practice and
experience 34(15):1481--1504, 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 177--188, Morgan-Kaufmann, 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 72--76, 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):449--468, 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. 212-218.
- 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):623--654, 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 ~99--112. 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 ~74--84, Morgan-Kaufmann, 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 49--62, 1999.
- A paper coauthored with M.
Denecker and M. Truszczynski, full version of our work
operator-based approach to AEL,
M.
Denecker, V.W. Marek, M. Truszczynski, Fixpoint 3-valued semantics for
autoepistemic logic. In: Logical Foundations for
Cognitive Agents: Contributions in Honor of Ray Reiter,
Springer-Verlag, pp. 113-136, 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. 389-489.
- 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 ~375--398. Springer-Verlag, 1999.
- A paper coauthored with M.
Denecker and M. Truszczynski, preliminary version of our work
operator-based approach to AEL,
M. Denecker, V.W. Marek, and M. Truszczynski,
Proceedings of AAAI-98, pp. 840-845, 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 73--89. Springer-Verlag, 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:105--146, 1999.
- A paper coauthored with B. Burton
on managing databases from within JAVA.
B.F. Burton and V.W. Marek, pplications of JAVA
programming language to database management,
SIGMOD Record 27(1):27--34, 1998.
- A paper coauthored with M.
Truszczynski on Revision Programming.
V.W. Marek and M. Truszczynski, Revision
programming. Theoretical
Computer Science 190(2):241--277, 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, Well-orderings, and Forward Chaining,
Annals of Pure and Applied Logic 96:231-276, 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 ISMIS-97,
pages 560--569, Springer-Verlag, 1997.
- An unpublished paper
coauthored with H.Blair on first-order 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 IEEE-SMC Symposium on Control, Optimization and
Supervision, at CESA96, Lille, pages 512--516, 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 518--528, 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 Non-Disjunctive
Semantics by Shift-Operations. undamenta Informaticae
27(1-2):87-100, 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(2-4):343--358, 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 274--284, 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 ~267--281, 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
Object-Oriented Information Systems, OOIS95 , Springer Verlag, pages
99--110, 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(3-4):357--378, 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):209--229, 1995.
-
A short unpublished note coauthored with J. Remmel showing
that stable semantics 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):139--148,
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 ~214--225, Springer-Verlag, 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:339--384, 1997.
-
An unpublished paper coauthored with A. Nerode and J. Remmel on logic
programs with constraints. Short version was 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 Non-monotonic Reasoning,
MIT Press, pages 115--131, 1993.
- A paper coauthored with H.
Rasiowa no 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:149--164, 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 ~270--283, 1993.
-
A paper coauthored with A. Nerode and J. Remmel on forward-chaining in
nonmonotonic rule systems.
W. Marek, A. Nerode and J. Remmel,
A Context for Belief Revision:
Forward Chaining-Normal Nonmonotonic Rule Systems,
Annals of Pure and Applied Logic 67(1-3):269--323, 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):129--154, 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 281--289, 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(1-2):99--116, 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:241--273, 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:119--136, 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 ~79--94, 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(1-3):119--135, 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 Non-monotonic Reasoning,
Proceedings of the First International Workshop, Washington, DC,
pages 37--50. 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 395--404, 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:275--302, 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, North-Holland, pages
234--243, 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:349--373, 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. (Much changed in word processing since 1986.)
W. Marek, Fundamenta
Informaticae 12(2):243--254, 1989.
Set up: March 7, 2006
Last modified: August 29, 2008