Miroslaw Truszczynski
发表
Miroslaw Truszczynski,
M. Truszczynski,
1980,
Inf. Process. Lett..
Zsolt Tuza,
Miroslaw Truszczynski,
Michael S. Jacobson,
1991,
Discret. Math..
Miroslaw Truszczynski,
Grigori Schwarz,
1993,
AAAI.
Miroslaw Truszczynski,
V. Wiktor Marek,
1993
.
Victor W. Marek,
Miroslaw Truszczynski,
Inna Pivkina,
1999,
LPNMR.
Victor W. Marek,
Miroslaw Truszczynski,
2004,
AAAI.
Miroslaw Truszczynski,
Irina Trubitsyna,
Ester Zumpano,
2019,
Log. J. IGPL.
Miroslaw Truszczynski,
Hannes Strass,
Stefan Woltran,
2015,
Lecture Notes in Computer Science.
Miroslaw Truszczynski,
Stefan Woltran,
Jan Maly,
2018,
IJCAI.
Miroslaw Truszczynski,
Hannes Strass,
Stefan Woltran,
2014
.
Miroslaw Truszczynski,
Zbigniew Lonc,
Zbigniew Lonc,
2018,
IJCAI.
Miroslaw Truszczynski,
Deborah East,
M. Truszczynski,
2002,
JELIA.
Miroslaw Truszczynski,
Giovambattista Ianni,
Francesco Calimeri,
2015
.
Miroslaw Truszczynski,
Hannes Strass,
Stefan Woltran,
2014,
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation.
Miroslaw Truszczynski,
Thomas Eiter,
Gerhard Brewka,
2011,
Commun. ACM.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1998,
Theor. Comput. Sci..
Miroslaw Truszczynski,
Artur Mikitiuk,
1995,
LPNMR.
Miroslaw Truszczynski,
Nikolay Pelov,
2004,
NMR.
Miroslaw Truszczynski,
Michael Gelfond,
Vladimir Lifschitz,
1991,
KR.
Miroslaw Truszczynski,
Lengning Liu,
M. Truszczynski,
2005,
AAAI.
Miroslaw Truszczynski,
1985,
Discret. Math..
Miroslaw Truszczynski,
Lengning Liu,
2006,
AAAI.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1994,
JELIA.
Victor W. Marek,
Miroslaw Truszczynski,
Marc Denecker,
2000
.
Miroslaw Truszczynski,
Torsten Schaub,
Gerhard Brewka,
2005,
Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Miroslaw Truszczynski,
2007,
AAAI.
Miroslaw Truszczynski,
Deborah East,
2001,
Answer Set Programming.
Miroslaw Truszczynski,
Grigori Schwarz,
M. Truszczynski,
1992,
TARK.
Miroslaw Truszczynski,
Torsten Schaub,
Ilkka Niemelä,
2005,
Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Miroslaw Truszczynski,
Vladimir Lifschitz,
Amelia Harrison,
2014,
Theory and Practice of Logic Programming.
Miroslaw Truszczynski,
V. Wiktor Marek,
1993
.
Miroslaw Truszczynski,
Wolfgang Faber,
Stefan Woltran,
2012,
KR.
Miroslaw Truszczynski,
Luciano Caroprese,
Luciano Caroprese,
2008,
JELIA.
Miroslaw Truszczynski,
M. Truszczynski,
2012,
Correct Reasoning.
Victor W. Marek,
Miroslaw Truszczynski,
Raphael A. Finkel,
2001,
Answer Set Programming.
Miroslaw Truszczynski,
Ilkka Niemelä,
Gerhard Brewka,
2008,
AI Mag..
Victor W. Marek,
Miroslaw Truszczynski,
Ilkka Niemelä,
2003,
LPNMR.
Miroslaw Truszczynski,
Yuliya Lierler,
Shaden Smith,
2012,
PADL.
Miroslaw Truszczynski,
V. Wiktor Marek,
1993
.
Miroslaw Truszczynski,
2007,
ICLP.
Miroslaw Truszczynski,
Ying Zhu,
2014,
MPREF@AAAI.
Victor W. Marek,
Miroslaw Truszczynski,
Raphael A. Finkel,
2006,
IC-AI.
Miroslaw Truszczynski,
Yuliya Lierler,
M. Truszczynski,
2014,
Artif. Intell..
Miroslaw Truszczynski,
Ilkka Niemelä,
Gerhard Brewka,
2005,
AAAI.
Miroslaw Truszczynski,
Martin Gebser,
Joost Vennekens,
2009,
LPNMR.
Miroslaw Truszczynski,
Chitta Baral,
2000,
ArXiv.
Zsolt Tuza,
Miroslaw Truszczynski,
Z. Tuza,
1992,
Discret. Math..
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1992
.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
2008,
Trans. Rough Sets.
The rectilinear Steiner tree problem: algorithms and examples using permutations of the terminal set
Miroslaw Truszczynski,
Christine R. Leverenz,
1999,
ACM-SE 37.
Victor W. Marek,
Miroslaw Truszczynski,
Walton Sumner,
1998,
AMIA.
Miroslaw Truszczynski,
Irina Trubitsyna,
Ester Zumpano,
2013,
SEBD.
Miroslaw Truszczynski,
V. Wiktor Marek,
William H. Brooks,
1995,
OOIS.
Miroslaw Truszczynski,
Enrico Pontelli,
Tran Cao Son,
2007,
Artif. Intell..
Miroslaw Truszczynski,
Pawel Cholewinski,
1996,
J. Log. Program..
Miroslaw Truszczynski,
M. Truszczynski,
2009,
Artif. Intell..
Miroslaw Truszczynski,
Xudong Liu,
2019,
Annals of Mathematics and Artificial Intelligence.
Miroslaw Truszczynski,
Gayathri Namasivayam,
M. Truszczynski,
2009,
LPNMR.
Miroslaw Truszczynski,
1981,
FODO.
Miroslaw Truszczynski,
Stefan Woltran,
Johannes Klaus Fichte,
2015,
Theory and Practice of Logic Programming.
Victor W. Marek,
Miroslaw Truszczynski,
Raphael A. Finkel,
2004,
Softw. Pract. Exp..
Miroslaw Truszczynski,
Lengning Liu,
2007,
Constraints.
Miroslaw Truszczynski,
Zbigniew Lonc,
Zbigniew Lonc,
2016,
Eur. J. Comb..
Victor W. Marek,
Miroslaw Truszczynski,
Marc Denecker,
1998,
AAAI/IAAI.
Miroslaw Truszczynski,
Luciano Caroprese,
2008,
ICLP.
Miroslaw Truszczynski,
Gayathri Namasivayam,
2010,
SAT.
Miroslaw Truszczynski,
1981,
Fundam. Informaticae.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1990,
Annals of Mathematics and Artificial Intelligence.
Victor W. Marek,
Miroslaw Truszczynski,
Arcot Rajasekar,
2005,
Annals of Mathematics and Artificial Intelligence.
Miroslaw Truszczynski,
Ying Zhu,
2013,
LPNMR.
Miroslaw Truszczynski,
Phyllis Z. Chinn,
R. Bruce Richter,
1991,
Discret. Math..
Miroslaw Truszczynski,
Deborah East,
M. Truszczynski,
2002,
ArXiv.
Victor W. Marek,
Miroslaw Truszczynski,
Krzysztof R. Apt,
1999
.
Miroslaw Truszczynski,
Deborah East,
2000,
AAAI/IAAI.
Miroslaw Truszczynski,
Zbigniew Lonc,
2011,
Discret. Math..
Victor W. Marek,
Miroslaw Truszczynski,
Melvin Fitting,
1992,
J. Log. Comput..
Miroslaw Truszczynski,
Stefan Woltran,
2008,
ISAIM.
Miroslaw Truszczynski,
Andrzej Rucinski,
1997,
Discret. Math..
Miroslaw Truszczynski,
Maurice Bruynooghe,
Marc Denecker,
2016,
AI Mag..
Miroslaw Truszczynski,
2009,
Annals of Mathematics and Artificial Intelligence.
Miroslaw Truszczynski,
Lengning Liu,
M. Truszczynski,
2003,
CP.
Miroslaw Truszczynski,
Zbigniew Lonc,
Zbigniew Lonc,
2006,
Theory and Practice of Logic Programming.
Zsolt Tuza,
Miroslaw Truszczynski,
1987,
Graphs Comb..
Miroslaw Truszczynski,
Artur Mikitiuk,
Eric Moseley,
2007,
IC-AI.
Miroslaw Truszczynski,
Zbigniew Lonc,
2000,
Computational Logic.
Miroslaw Truszczynski,
Gayathri Namasivayam,
2007,
LPNMR.
Victor W. Marek,
Miroslaw Truszczynski,
Miroslaw Truszczynski,
1989,
NACLP.
Miroslaw Truszczynski,
M. Truszczynski,
1991,
Fundamenta Informaticae.
Victor W. Marek,
Miroslaw Truszczynski,
Inna Pivkina,
1999,
Artif. Intell..
Miroslaw Truszczynski,
Grigori Schwarz,
M. Truszczynski,
1993,
Kurt Gödel Colloquium.
Miroslaw Truszczynski,
Georg Gottlob,
1996,
Fundam. Informaticae.
Miroslaw Truszczynski,
Zbigniew Lonc,
Zbigniew Lonc,
2002,
Theory and Practice of Logic Programming.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
2007,
RSEISP.
Miroslaw Truszczynski,
Thomas Eiter,
Wolfgang Faber,
2001,
Lecture Notes in Computer Science.
Miroslaw Truszczynski,
Lengning Liu,
M. Truszczynski,
2003,
LPNMR.
Victor W. Marek,
Miroslaw Truszczynski,
Ilkka Niemelä,
2006,
Theory and Practice of Logic Programming.
Miroslaw Truszczynski,
Yuliya Lierler,
Yuliya Lierler,
2013,
ArXiv.
Miroslaw Truszczynski,
2004,
Theory Pract. Log. Program..
Miroslaw Truszczynski,
2010,
Artif. Intell..
Miroslaw Truszczynski,
Francesco Ricca,
Giovanni Amendola,
2018
.
Miroslaw Truszczynski,
Enrico Pontelli,
Tran Cao Son,
2007,
ICLP.
Miroslaw Truszczynski,
Yuliya Lierler,
Yuliya Lierler,
2013,
AAAI.
Miroslaw Truszczynski,
2002,
Theory Pract. Log. Program..
Miroslaw Truszczynski,
Stefan Woltran,
2008,
ICLP.
Miroslaw Truszczynski,
Fangzhen Lin,
Ulrike Sattler,
2010,
KR.
Victor W. Marek,
Miroslaw Truszczynski,
Inna Pivkina,
1998,
CSL.
Victor W. Marek,
Miroslaw Truszczynski,
Marc Denecker,
2000,
Artif. Intell..
Wenbin Li,
Miroslaw Truszczynski,
Jane Huffman Hayes,
2012,
NASA Formal Methods.
Miroslaw Truszczynski,
Yuliya Lierler,
M. Truszczynski,
2016,
Artif. Intell..
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1997,
Artificial intelligence.
Victor W. Marek,
Miroslaw Truszczynski,
Raphael A. Finkel,
2004,
IC-AI.
Miroslaw Truszczynski,
Yuliya Lierler,
Joost Vennekens,
2019,
ArXiv.
Miroslaw Truszczynski,
Xudong Liu,
2018,
FoIKS.
Miroslaw Truszczynski,
Irina Trubitsyna,
Ester Zumpano,
2014,
Theory and Practice of Logic Programming.
Wenbin Li,
Miroslaw Truszczynski,
Jane Huffman Hayes,
2014,
REFSQ.
Miroslaw Truszczynski,
Xudong Liu,
2015,
AAAI.
Miroslaw Truszczynski,
Artur Mikitiuk,
2013,
LPNMR.
Victor W. Marek,
Miroslaw Truszczynski,
Grigori Schwarz,
1990,
Nonmonotonic and Inductive Logic.
Victor W. Marek,
Miroslaw Truszczynski,
Joseph D. Oldham,
1997,
ISMIS.
Victor W. Marek,
Miroslaw Truszczynski,
Miroslaw Truszczynski,
1995
.
Miroslaw Truszczynski,
Thomas Eiter,
Gerhard Brewka,
2016,
AI Mag..
Miroslaw Truszczynski,
Zbigniew Lonc,
2001,
Theory Pract. Log. Program..
Miroslaw Truszczynski,
Dee Parks,
1991,
[1991] Proceedings. First Great Lakes Symposium on VLSI.
Miroslaw Truszczynski,
Lengning Liu,
M. Truszczynski,
2006,
J. Artif. Intell. Res..
Miroslaw Truszczynski,
Zbigniew Lonc,
2008,
Discret. Math..
Miroslaw Truszczynski,
M. Truszczynski,
1980,
Fundamenta Informaticae.
Miroslaw Truszczynski,
V. Wiktor Marek,
V. Marek,
1993
.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1989,
KR.
Miroslaw Truszczynski,
Ilkka Niemelä,
Gerhard Brewka,
2003,
IJCAI.
Miroslaw Truszczynski,
Artur Mikitiuk,
1995,
IJCAI.
Miroslaw Truszczynski,
Zbigniew Lonc,
Zbigniew Lonc,
2001,
TOCL.
Victor W. Marek,
Miroslaw Truszczynski,
Pawel Cholewinski,
1996,
KR.
Miroslaw Truszczynski,
M. Truszczynski,
1991,
LPNMR.
Miroslaw Truszczynski,
Zbigniew Lonc,
Zbigniew Lonc,
2003,
ICLP.
Miroslaw Truszczynski,
V. Wiktor Marek,
1993
.
Miroslaw Truszczynski,
Deborah East,
M. Truszczynski,
2006,
TOCL.
Victor W. Marek,
Miroslaw Truszczynski,
Krzysztof R. Apt,
2011
.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1992,
Fundam. Informaticae.
Victor W. Marek,
Miroslaw Truszczynski,
1991,
LPNMR.
Miroslaw Truszczynski,
Grigori Schwarz,
M. Truszczynski,
1996,
J. Log. Comput..
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1998,
The Logic Programming Paradigm.
Miroslaw Truszczynski,
M. Truszczynski,
2018,
Declarative Logic Programming.
Miroslaw Truszczynski,
1992,
J. Comb. Theory, Ser. B.
Miroslaw Truszczynski,
V. Wiktor Marek,
1993
.
Miroslaw Truszczynski,
Jerzy W. Jaromczyk,
Zbigniew Lonc,
2012,
J. Comb. Theory, Ser. A.
Miroslaw Truszczynski,
2009,
LPNMR.
Miroslaw Truszczynski,
Deborah East,
2000,
ArXiv.
Miroslaw Truszczynski,
Artur Mikitiuk,
1993,
LPNMR.
Miroslaw Truszczynski,
Yuliya Lierler,
Yuliya Lierler,
2015,
AAAI.
Miroslaw Truszczynski,
Xudong Liu,
2013,
ADT.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1991,
JACM.
Miroslaw Truszczynski,
Francesco Ricca,
Giovanni Amendola,
2017,
IJCAI.
Victor W. Marek,
Miroslaw Truszczynski,
Marc Denecker,
2004,
Inf. Comput..
Miroslaw Truszczynski,
Luciano Caroprese,
Luciano Caroprese,
2010,
Theory and Practice of Logic Programming.
Miroslaw Truszczynski,
M. Truszczynski,
2006,
Annals of Mathematics and Artificial Intelligence.
Miroslaw Truszczynski,
Zbigniew Lonc,
2002,
ICLP.
Miroslaw Truszczynski,
M. Truszczynski,
2006,
CSL.
Miroslaw Truszczynski,
Nic Wilson,
Jérôme Lang,
2005,
IJCAI.
Miroslaw Truszczynski,
Stefan Woltran,
Gerhard Brewka,
2010,
AAAI.
Zsolt Tuza,
Miroslaw Truszczynski,
1991,
Discret. Math..
Wenbin Li,
Miroslaw Truszczynski,
Jane Huffman Hayes,
2015,
REFSQ.
Miroslaw Truszczynski,
2011,
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.
Miroslaw Truszczynski,
Artur Mikitiuk,
Deborah East,
2006,
AI Commun..
Miroslaw Truszczynski,
2011,
Theory Pract. Log. Program..
Miroslaw Truszczynski,
Yuliya Lierler,
M. Truszczynski,
2011,
Theory and Practice of Logic Programming.
Miroslaw Truszczynski,
Xudong Liu,
2015,
ADT.
Victor W. Marek,
Miroslaw Truszczynski,
1991,
Nonmonotonic and Inductive Logic.
Miroslaw Truszczynski,
Ying Zhu,
2015,
ADT.
Miroslaw Truszczynski,
Deborah East,
M. Truszczynski,
2001,
KI/ÖGAI.
Miroslaw Truszczynski,
1991,
Discret. Math..
Miroslaw Truszczynski,
Lengning Liu,
2005,
LPNMR.
Victor W. Marek,
Miroslaw Truszczynski,
1993,
LPNMR.
Miroslaw Truszczynski,
Xudong Liu,
2014,
MPREF@AAAI.
Miroslaw Truszczynski,
Sandro Etalle,
2006
.
Miroslaw Truszczynski,
Deborah East,
1999,
EPIA.
Miroslaw Truszczynski,
Deborah East,
M. Truszczynski,
2001,
LPNMR.
Victor W. Marek,
Miroslaw Truszczynski,
Raphael A. Finkel,
2002,
JELIA.
Victor W. Marek,
Miroslaw Truszczynski,
Jan Treur,
1996,
JELIA.
Miroslaw Truszczynski,
Zbigniew Lonc,
2001,
ICLP.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1999,
Fundam. Informaticae.
Victor W. Marek,
Miroslaw Truszczynski,
V. Marek,
1995,
ICDT.
Victor W. Marek,
Miroslaw Truszczynski,
Artur Mikitiuk,
1995,
ICLP.
Miroslaw Truszczynski,
Liu Liu,
L. Liu,
2019,
ICLP Technical Communications.
Victor W. Marek,
Miroslaw Truszczynski,
Ilkka Niemelä,
2011,
ArXiv.
Miroslaw Truszczynski,
M. Truszczynski,
1997,
LPNMR.
Victor W. Marek,
Miroslaw Truszczynski,
G. F. Shvarts,
1991,
JACM.
Victor W. Marek,
Miroslaw Truszczynski,
Artur Mikitiuk,
1999,
Artif. Intell..
Miroslaw Truszczynski,
V. Wiktor Marek,
1993
.
Miroslaw Truszczynski,
Stefan Woltran,
S. Woltran,
2008,
Annals of Mathematics and Artificial Intelligence.
Victor W. Marek,
Miroslaw Truszczynski,
Walton Sumner,
1993
.
Miroslaw Truszczynski,
V. Wiktor Marek,
1993
.
Miroslaw Truszczynski,
Francesco Ricca,
Giovanni Amendola,
2017,
IJCAI 2017.
Miroslaw Truszczynski,
Yuliya Lierler,
Joost Vennekens,
2012,
ICLP.
Miroslaw Truszczynski,
Torsten Schaub,
Ilkka Niemelä,
2005,
Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Victor W. Marek,
Miroslaw Truszczynski,
Inna Pivkina,
2005,
LPNMR.
Victor W. Marek,
Miroslaw Truszczynski,
Raphael A. Finkel,
2004
.
Miroslaw Truszczynski,
Wolfgang Faber,
Stefan Woltran,
2013,
AAAI.
Miroslaw Truszczynski,
Dee Parks,
1992,
[1992] Proceedings of the Second Great Lakes Symposium on VLSI.
Miroslaw Truszczynski,
M. Truszczynski,
1991,
IJCAI.
Victor W. Marek,
Miroslaw Truszczynski,
Jan Treur,
2004,
Annals of Mathematics and Artificial Intelligence.
Miroslaw Truszczynski,
Zbigniew Lonc,
Tomasz Traczyk,
1981,
FODO.
Victor W. Marek,
Miroslaw Truszczynski,
Marc Denecker,
2002,
KR.
Miroslaw Truszczynski,
Martin Gebser,
Torsten Schaub,
2007,
LPNMR.
Victor W. Marek,
Miroslaw Truszczynski,
Jan Treur,
2001,
J. Exp. Theor. Artif. Intell..
Miroslaw Truszczynski,
Lengning Liu,
2004,
SAT.
Miroslaw Truszczynski,
Torsten Schaub,
Christian Anger,
2004,
LPNMR.
Miroslaw Truszczynski,
Michael Andrew Huelsman,
2021,
FLAIRS Conference.
Miroslaw Truszczynski,
Yuliya Lierler,
Marc Denecker,
2012
.
Miroslaw Truszczynski,
Lengning Liu,
2006
.
Miroslaw Truszczynski,
Phyllis Z. Chinn,
R. B. Richter,
1989
.