Source: http://www.cs.engr.uky.edu/~mirek/papers.html
Timestamp: 2019-04-18 10:41:31+00:00

Document:
W. Faber, M. Truszczynski, S. Woltran, Proceedings of KR 2012.
J.W. Jaromczyk, Z. Lonc, M. Truszczynski, J. Combiatorial Theory, ser. A, 119(3): 731-746 (2012).
M. Truszczynski, in E. Erdem, J. Lee, Y. Lierler, D. Pearce, eds.: Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Springer 2012.
V.W. Marek, I. Niemela, and M. Truszczynski, in G. Brewka, V.M. Marek, and M. Truszczynski, eds. Nonmonotonic Reasoning -- Essays Celebrating its 30th Anniversary, College Publications, 2011.
M. Denecker, V.W. Marek and M. Truszczynski, in G. Brewka, V.M. Marek, and M. Truszczynski, eds. Nonmonotonic Reasoning -- Essays Celebrating its 30th Anniversary, College Publications, 2011.
L. Liu, E. Pontelli, T.C. Son and M. Truszczynski, Artificial Intelligence, Volume 174, Issues 3-4, March 2010, Pages 295-315.
L. Liu, E. Pontelli, T.C. Son and M. Truszczynski, Proceedings of ICLP-07.
M. Truszczynski, Proceedings of ICLP-07.
M. Truszczynski, Proceedings of AAAI-07.
G. Namasivayam, M. Truszczynski, Proceedings of LPNMR-07.
M. Gebser, L. Liu, G. Namasivayam, A. Neumann, T. Schaub, M. Truszczynski, Proceedings of LPNMR-07.
M. Truszczynski, Software Engineering for Answer Set Programming (SEA'07).
M. Truszczynski, AMAI (2006) 48:245--265.
L. Liu, M. Truszczynski, JAIR, (27): 299-334, 2006.
Z. Lonc, M. Truszczynski, TPLP, 6(4):395-449, 2006.
D. East, M. Truszczynski, ACM TOCL, 7(1), 38-83.
J. Goldsmith, J. Lang, M. Truszczynski, N. Wilson, Proceedings of IJCAI-05, 2005.
G. Brewka, I. Niemela, M. Truszczynski, Proceedings of AAAI-05.
L. Liu, M. Truszczynski, Proceedings of AAAI-05.
L. Liu, M. Truszczynski, Proceedings of LPNMR-05.
V. Marek, I. Pivkina, M. Truszczynski, Proceedings of LPNMR-05.
L. Liu, M. Truszczynski, Proceedings of SAT-2004.
(Preliminary version in Proceedings of KR-02 - see below).
L. Liu, M. Truszczynski, Proceedings of LPNMR-2003.
V. Marek, I. Niemela, M. Truszczynski, Proceedings of LPNMR-2003.
G. Brewka, I. Niemela, M. Truszczynski, Proceedings of IJCAI-03, 2003.
L. Liu, M. Truszczynski, Proceedings of CP-2003.
Z. Lonc, M. Truszczynski, Proceedings of ICLP-2003.
M. Denecker, V. Marek, M. Truszczynski. 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.
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.
M. Truszczynski, Theory and Practice of Logic Programming, 2(1), 1-23, 2002.
Z. Lonc, M. Truszczynski, Proceedings of ICLP-02.
V.W. Marek, I. Pivkina, M. Truszczynski, Artificial Intelligence Journal, 138(2002), pp. 149-180.
M. Denecker, V.W. Marek, M. Truszczynski, 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.
D. East, M. Truszczynski, Proceedings of KI-2001, LNAI 2174, Springer Verlag, 2001.
D. East, M. Truszczynski, Proceedings of LPNMR-2001, LNAI 2173, Springer Verlag, 2001.
Z. Lonc, M. Truszczynski, Proceedings of ICLP-2001.
Z. Lonc, M. Truszczynski, Theory and Practice of Logic Programming, 1(5), 591-609, 2001.
M. Denecker, V. Marek, M. Truszczynski, Logic-Based Artificial Intelligence, J. Minker, ed., Kluwer Academic Publishers, 2000.
M. Denecker, V. Marek, M. Truszczynski., Proceedings of KR2000.
D. East, M. Truszczynski, Proceedings of AAAI-00, 2000.
Z. Lonc, M. Truszczynski, Proceedings of CL 2000.
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.
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.
V.W. Marek, M. Truszczynski, Fundamenta Informaticae, 39(1999), pp. 389-489.
D. East, M. Truszczynski, Proceedings of EPIA-99, Springer-Verlag, 1999.
P. Cholewinski, M. Truszczynski, Journal of Logic Programming, 38 (1999), pp. 219--242.
M. Truszczynski, Proceedings of ICLP-99, MIT Press, 1999.
V. Marek, I. Pivkina, M. Truszczynski, Proceedings of LPNMR-99, Springer-Verlag, 1999.
P. Cholewinski, V.W. Marek, A. Mikitiuk, M. Truszczynski, Artificial Intelligence Journal, 112(1999), pp. 105-146.
V.W. Marek, I. Pivkina, M. Truszczynski, Proceedings of the Computer Science Logic Conference (CSL 98), Springer-Verlag,1999.
M. Denecker, V.W. Marek, M. Truszczynski, Proceedings of AAAI-98, pp. 840-845, MIT Press 1998.
V.W. Marek, M. Truszczynski, Theoretical Computer Science, 190(1998), pp. 241-277.
V.W. Marek, Jan Treur, M. Truszczynski, Annals of Mathematics and Artificial Intelligence, 21 (1997), pp. 343-358.
M. Truszczynski, Grigori Schwarz Journal of Logic and Computation, 6(1996), 295 -- 308.
G. Gottlob, M. Truszczynski, Fundamenta Informaticae, 28(1996), 123 -- 128.
P. Cholewinski, V.W. Marek, M. Truszczynski, Proceedings of KR-96, Morgan Kaufmann, 1996.
J. Engelfriet, V. Marek, J. Treur, M. Truszczynski, Proceedings of JELIA-96, Springer Lecture Notes in Computer Science 1126, pp. 224-236, 1996.
V.W. Marek, M. Truszczynski, Proceedings of the 5th International Conference on Database Theory --- ICDT 95, Springer-Verlag, 1995.
A. Mikitiuk, M. Truszczynski, Proceedings of IJCAI-95. Morgan Kaufmann, 1995.
P. Cholewinski, V.W. Marek, A. Mikitiuk, M. Truszczynski, Proceedings of the 12th International Conference on Logic Programming, MIT Press, 1995.
A. Mikitiuk, M. Truszczynski, Proceedings of LPNMR-95, Springer-Verlag, 1995.
W. Brooks, V.W. Marek, M. Truszczynski, Proceedings of the 2nd International Conference on Object-Orieented Information Systems, Springer-Verlag, 1995.
V.W. Marek, M. Truszczynski, unpublished note.
P. Cholewinski, M. Truszczynski, unpublished note.

References: V. 

V. 
 V. 
 V. 
 V. 
 V. 

V. 

V. 
 V.