Books

• Nonmonotonic logics; context dependent reasoning
V.W. Marek, M. Truszczynski, Springer Verlag, 1993.


• Combinatorial Analysis (in Polish)
V.W. Marek, W. Lipski, PWN 1983.


• Elements of Logic and Foundations of Mathematics in Problems
V.W. Marek, J. Onyszkiewicz, Reidel Publishing, 1982.


• Elements of Logic and Foundations of mathematics in Problems (in Polish)
V.W. Marek, J. Onyszkiewicz, 1971-1998 (had six editions).

Edited Volumes

• Proceedings of the Sixth Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR-2001
T. Eiter, W. Faber, M Truszczynski, editors, Lecture Notes in Artificial Intelligence, 2173, Springer Verlag, 2001


• Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000
C. Baral, M. Truszczynski, on-line proceedings.


• The Logic Programming Paradigm
A 25-Year Perspective, editors: K.R. Apt, V.W. Marek, M. Truszczynski, D.S. Warren, Springer-Verlag, 1999.


• Learning and reasoning with complex representations
Editors: G. Antoniou, A. Ghose and M. Truszczynski, Springer-Verlag, 1998.


• Proceedings of the Third Logic Programming and Nonmonotonic Reasoning Conference
V.W. Marek, M. Truszczynski, Springer Verlag, 1995 (volume co-editor).

Papers and manuscripts

• Tools for modeling and solving search problems
  D. East. M. Iakhiaev, A. Mikitiuk, M. Truszczynski, Third International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, Toronto, 2004.

• Local search with bootstrapping
  L. Liu, M. Truszczynski, Proceedings of SAT-2004.

• Satisfiability and computing van der Waerden numbers
  M. Dransfield, L. Liu, V. Marek, M. Truszczynski, The Electronic Journal of Combinatorics, to appear (Preliminary version as M. Dransfield, V. Marek, M. Truszczynski, Satisfiability and computing van der Waerden numbers in Theory and Applications of Satisfiability testing, LNCS 2919, Springer, 2003)

• Semantics of disjunctive programs with monotone aggregates -  an operator-based approach
  N. Pelov, M. Truszczynski, Proceedings of NMR-04

• Logic programs with abstract constraint atoms
  V. Marek, M. Truszczynski, Proceedings of AAAI-04

• Predicate-calculus based logics for modeling and solving search problems
  D. East, M. Truszczynski, ACM TOCL, to appear
  

• Constraint Lingo: Towards high-level constraint programming
  R. Finkel, V. Marek, M. Truszczynski, Software Practice and Experience, to appear

• Automatic generation of English-language steps in puzzle solving
  H. Ponnuru, R. Finkel, V. Marek and M. Truszczynski, The 2004 International Conference on Artificial Intelligence (IC-AI'04)
  

• Ultimate approximations in nonmonotonic knowledge representation system 
  M. Denecker, V.W. Marek, M. Truszczynski,  Information and Computation, to appear (Preliminary version in Principles of Knowledge Representation and Reasoning, Proceedings of the Eighth International Conference (KR2002)}, D. Fensel, D. McGuinness and M.-A. Williams, eds., 2002, Morgan Kaufmann Publishers.)

• WSAT(cc) - a fast local-search ASP solver
  L. Liu, M. Truszczynski, Proceedings of LPNMR-03 (system description paper)

• Logic programming with monotone cardinality atoms
  V. Marek. I. Niemela, M. Truszczynski, Proceedings of LPNMR-03

• Answer Set Optimization
G. Brewka, I. Niemela, M. Truszczynski, Proceedings of IJCAI-03, 2003.


• Local-search techniques for propositional logic with cardinality constraints
L. Liu, M. Truszczynski, Proceedings of CP-2003.


• Computing minimal models, stable models and answer sets
Z. Lonc, M. Truszczynski, Proceedings of ICLP-2003.


• Computing stable models: worst-case performance estimates
Z. Lonc, M. Truszczynski, Theory and Practice of Logic Programming, to appear, 2003.
( Preliminary version   appeared in Proceedings of ICLP-2002, Peter J. Stuckey, ed., LNCS, Springer-Verlag, Berlin Heidelberg 2002).


• Fixed-parameter complexity of semantics for logic programs
Z. Lonc, M. Truszczynski, ACM Transactions on Computational Logic, 4 (2003) pp. 91-119 ( Preliminary version appeared in the Proceedings of ICLP-2001.)


• Uniform semantic treatment of default and autoepistemic logics
M. Denecker, V. Marek, M. Truszczynski, Artificial Intelligence Journal, 143 (2003), pp. 79-122 (Preliminary version in Principles of Knowledge Representation and Reasoning, Proceedings of the Seventh International Conference pp. 74--84, Morgan-Kaufmann, 2000)


• The aspps system
D. East, M. Truszczynski, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), Lecture Notes in Computer Science, Springer Verlag, 2424, pp. 533-536, 2002


• Constraint Lingo: A program for solving logic puzzles and other tabular constraint problems
R. Finkel, V. Marek, M. Truszczynski, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA), Lecture Notes in Computer Science, Springer Verlag, 2424, pp. 513--516.


• Computing large and small stable models
M. Truszczynski, Theory and Practice of Logic Programming, 2(1), 1-23, 2002. (Preliminary version appeared in the Proceedings of ICLP-99, MIT Press, 1999.)


• Annotated revision programs
V.W. Marek, I. Pivkina, M. Truszczynski, Artificial Intelligence Journal, 138(2002), pp. 149-180. ( Preliminary version appeared in Proceedings of LPNMR-99, Springer-Verlag, 1999.)


• Propositional satisfiability in answer-set programming
D. East, M. Truszczynski, Proceedings of KI-2001, LNAI 2174, Springer Verlag, 2001.


• aspps  - an implementation of answer-set ptogramming with propositional schemata
D. East, M. Truszczynski, Proceedings of LPNMR-2001, LNAI 2173, Springer Verlag, 2001.


• On the problem of computing the well-founded semantics
Z. Lonc, M. Truszczynski, Theory and Practice of Logic Programming, 1(5), 591-609, 2001. ( Preliminary version   appeared in the Proceedings of CL 2000, Springer Verlag, July 2000.)


• Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning
M. Denecker, V. Marek, M. Truszczynski, Logic-Based Artificial Intelligence, J. Minker, ed., Kluwer Academic Publishers, 2000.


• DATALOG with constraints - an answer-set programming system
D. East, M. Truszczynski, Proceedings of AAAI-00, 2000.


• Uniform semantic treatment of default and autoepistemic logics
M. Denecker, V.M. Marek, M. Truszczynski,

• Stable logic programming - an alternative logic programming paradigm
V. W. Marek, M. Truszczynski, in: The Logic Programming Paradigm: A 25-Year Perspective, editors: K.R. Apt, V.W. Marek, M. Truszczynski, D.S. Warren, Springer-Verlag, 1999.


• Fixpoint 3-valued semantics for autoepistemic logic
M. Denecker, V.W. Marek, M. Truszczynski, in: Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, editors: H.J. Levesque, F. Pirri, Springer-Verlag, pp. 113-136, 1999.


• Contributions to the theory of rough sets
V.W. Marek, M. Truszczynski, Fundamenta Informaticae, 39(1999), pp. 389-489.


• On the accuracy and running time of GSAT
D. East, M. Truszczynski, Proceedings of EPIA-99, Springer-Verlag, 1999.


• Computing with default logic
P. Cholewinski, V.W. Marek, A. Mikitiuk, M. Truszczynski, Artificial Intelligence Journal, 112(1999), pp. 105-146.


• Extremal problems in logic programming and stable model computation
P. Cholewinski, M. Truszczynski,  Journal of Logic Programming, 38 (1999), pp. 219--242.


• Logic Programs, Well-orderings, and Forward Chaining.
V.W. Marek, A. Nerode, J.B. Remmel, Annals of Pure and Applied Logic 96, pages 231-276, 1999.


• Revision programming = logic programming + integrity constraints
V.W. Marek, I. Pivkina, M. Truszczynski, Proceedings of the Computer Science Logic Conference (CSL 98), Springer-Verlag,1999.


• Fixpoint 3-valued semantics for autoepistemic logic
M. Denecker, V.W. Marek, M. Truszczynski, Proceedings of AAAI-98, pp. 840-845, MIT Press 1998.


• Applications of JAVA programming to Database Management,
B.F. Burton, V.W. Marek. SIGMOD Record 27, nr 1, March 1998.


• Revision programming
V.W. Marek, M. Truszczynski,, Theoretical Computer Science, 190(1998), pp. 241-277.


• Representation Theory for Default Logic
V.W. Marek, Jan Treur, M. Truszczynski, Annals of Mathematics and Artificial Intelligence, 21 (1997), pp. 343-358.


• Towards a Theory of Interestingness,
V.W. Marek, V.S. Subrahmanian, University of Maryland Technical Report CS-TR-3817 and UMIACS-TR-97-57, July 25, 1997.


• Nonmonotonic Rule System with Recursive Sets of Restraints,
V.W. Marek, A. Nerode, J.B. Remmel, Archiv fur Mathematische Logik, 36, pages 339--384, 1997.


• Nonmonotonic reasoning is sometimes simpler
M. Truszczynski, Grigori Schwarz Journal of Logic and Computation, 6(1996), 295 -- 308.


• Approximating the stable model semantics is hard
G. Gottlob, M. Truszczynski, Fundamenta Informaticae, 28(1996), 123 -- 128.


• Default reasoning system DeReS
P. Cholewinski, V.W. Marek, M. Truszczynski, Proceedings of KR-96, Morgan Kaufmann, 1996.


• Infinitary Default Logic for Specification of Nonmonotonic Reasoning
J. Engelfriet, V. Marek, J. Treur, M. Truszczynski, Proceedings of JELIA-96, Springer-Verlag, 1996.


• Extremal problems in logic programming and stable model computation
P. Cholewinski, M. Truszczynski, full version of the conference paper presented at JISCLP-96, Bonn, 1996 and published in the conference proceedings by MIT Press.


• Toward Intelligent Representation of Database Content,
V.W. Marek, J.D. Oldham, 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.


• Revision programming, database updates and integrity constraints
V.W. Marek, M. Truszczynski, Proceedings of the 5th International Conference on Database Theory --- ICDT 95, Springer-Verlag, 1995.


• Constrained and rational default logics
A. Mikitiuk, M. Truszczynski, Proceedings of IJCAI-95. Morgan Kaufmann, 1995.


• Experimenting with Nonmonotonic Reasoning
P. Cholewinski, V.W. Marek, A. Mikitiuk, M. Truszczynski, Proceedings of the 12th International Conference on Logic Programming, MIT Press, 1995.


• Skeptical rational extensions
A. Mikitiuk, M. Truszczynski, Proceedings of LPNMR-95, Springer-Verlag, 1995.


• Algorithms for Maintaining Authorization Base
W. Brooks, V.W. Marek, M. Truszczynski, Proceedings of the 2nd International Conference on Object-Orieented Information Systems, Springer-Verlag, 1995.


• The Expressiveness of Locally Stratified Programs,
H.A. Blair, V.W. Marek, J.S. Schlipf, Annals of Mathematics and Artificial Intelligence 15.2, pages ~209--229, 1995.


• Revision specifications by means of programs
V.W. Marek, M. Truszczynski, Proceedings of JELIA 94, Lecture Notes in Artificial Intelligence, Vol. 838, Springer-Verlag, 1994.


• The stable models of a predicate logic program,
V.W. Marek, A. Nerode, J.B. Remmel, Journal of Logic Programming 21.3, pages 129--154, 1994.


• A Theory of Nonmonotonic Rule Systems I,
V.W. Marek, Anil Nerode, Jeffrey B. Remmel, Annals of Mathematics and Artificial Intelligence 1, pages 241-273, 1990.


• A Theory of Nonmonotonic Rule Systems II,
V.W. Marek, A. Nerode, J.B. Remmel, Annals of Mathematics and Artificial Intelligence 5.2-4, pages 229--263, 1992. An extended abstract of this and previous item has been published in the Proceedings of the Fifth Symposium ``Logic in Computer Science'', Philadelphia 1990, IEEE Press, pages ~79--94, 1990.


• On Reaching Consensus by Groups of Intelligent Agents,
H. Rasiowa, V.W. Marek, Proceedings of the International Symposium on Methodology for Intelligent Systems 1989, North-Holland, pages 234--243.


• Logic programming with costs
V.W. Marek, M. Truszczynski, unpublished note.


• Minimal number of permutations sufficient to compute all extensions
P. Cholewinski, M. Truszczynski, unpublished note.