Edit Profile (opens in new tab) Truszczyński, Mirosław Compute Distance To: Compute Author ID: truszczynski.miroslaw Published as: Truszczyński, Mirosław; Truszczynski, Miroslaw; Truszczyński, Miroslaw; Truszczynski, M.; Truszczyński, M.; Truszczynski, Mirosław; Truszczynski, Miroslav; Truszczyński, Mirosłav; Truszcyński, Mirosław more...less Homepage: https://www.cs.uky.edu/~mirek/ External Links: MGP · dblp Documents Indexed: 155 Publications since 1978, including 2 Books 7 Contributions as Editor Reviewing Activity: 68 Reviews Co-Authors: 67 Co-Authors with 123 Joint Publications 2,157 Co-Co-Authors all top 5 Co-Authors 37 single-authored 38 Marek, V. Wiktor 17 Lonc, Zbigniew 8 Woltran, Stefan 6 Caroprese, Luciano 6 Denecker, Marc 6 Liu, Lengning 6 Liu, Xudong 5 Zweig Chinn, Phyllis 5 East, Deborah 5 Richter, Robert Bruce 5 Schwarz, Grigori F. 4 Tuza, Zsolt 3 Eiter, Thomas 3 Lierler, Yuliya 3 Lifschitz, Vladimir 3 Mikitiuk, Artur 3 Niemelä, Ilkka N. F. 3 Pivkina, Inna 3 Treur, Jan 3 Trubitsyna, Irina 3 Zumpano, Ester 2 Amendola, Giovanni 2 Cholewiński, Paweł 2 Dransfield, Michael R. 2 Engelfriet, Joeri 2 Faber, Wolfgang 2 Harrison, Amelia 2 Namasivayam, Gayathri 2 Pontelli, Enrico 2 Ricca, Francesco 2 Son, Tran Cao 2 Strass, Hannes 2 Traczyk, Tomasz jun. 2 Zhu, Ying 1 Altman, Tom 1 Anger, Christian 1 Apt, Krzysztof Rafal 1 Borchert, Paul 1 Brewka, Gerhard 1 Buhler, Joe P. 1 Calimeri, Francesco 1 Chrobak, Marek 1 Dingess, Michael 1 Etalle, Sandro 1 Favaron, Odile 1 Fichte, Johannes Klaus 1 Finkel, Raphael Ari 1 Fitting, Melvin Chris 1 Gelfond, Michael 1 Gottlob, Georg 1 Han, Yijie 1 Iakhiaev, Mikhail 1 Ianni, Giovambattista 1 Igarashi, Yoshihide 1 Iwański, Cezary 1 Jacobson, Michael Scott 1 Jaromczyk, Jerzy W. 1 Lang, Jan 1 Liu, Liu 1 Malý, Jan 1 Nerode, Anil 1 Przymusinska, Halina 1 Rajasekar, Arcot K. 1 Ruciński, Andrzej 1 Schaub, Torsten H. 1 Shvarts, Grigori F. 1 Vennekens, Joost 1 Warren, David Scott all top 5 Serials 13 Theory and Practice of Logic Programming 9 Discrete Mathematics 8 Artificial Intelligence 7 Annals of Mathematics and Artificial Intelligence 6 Annales Societatis Mathematicae Polonae. Series IV 5 Demonstratio Mathematica 5 The Journal of Artificial Intelligence Research (JAIR) 5 Lecture Notes in Computer Science 2 Ars Combinatoria 2 Journal of the Association for Computing Machinery 2 Mathematica Slovaca 2 Order 2 Journal of Logic and Computation 2 ACM Transactions on Computational Logic 1 Discrete Applied Mathematics 1 Information Processing Letters 1 Periodica Mathematica Hungarica 1 Computing 1 Journal of Combinatorial Theory. Series A 1 Journal of Combinatorial Theory. Series B 1 Journal of Graph Theory 1 Theoretical Computer Science 1 Utilitas Mathematica 1 European Journal of Combinatorics 1 The Journal of Logic Programming 1 Graphs and Combinatorics 1 Information and Computation 1 AI Communications 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 The Electronic Journal of Combinatorics 1 Constraints 1 Logic Journal of the IGPL 1 Fundamenta Informaticae 1 Studies in Logic (London) all top 5 Fields 123 Computer science (68-XX) 41 Combinatorics (05-XX) 29 Mathematical logic and foundations (03-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 7 General and overarching topics; collections (00-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 2 History and biography (01-XX) 1 Number theory (11-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 118 Publications have been cited 846 times in 565 Documents Cited by ▼ Year ▼ Stable models and an alternative logic programming paradigm. Zbl 0979.68524Marek, Victor W.; Truszczyński, Mirosław 101 1999 Autoepistemic logic. Zbl 0799.68176Marek, Wiktor; Truszczynski, Miroslaw 88 1991 Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018Marek, V. W.; Truszczyński, M. 66 1993 Disjunctive defaults. Zbl 0766.68127Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw 27 1991 Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183Denecker, Marc; Marek, Victor; Truszczyński, Mirosław 25 2000 Uniform semantic treatment of default and autoepistemic logics. Zbl 1010.03021Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław 23 2003 Relating autoepistemic and default logics. Zbl 0706.03024Marek, Wiktor; Truszczyński, Mirosław 21 1989 Logic programs with abstract constraint atoms: the role of computations. Zbl 1207.68119Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Miroslaw 21 2010 Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław 18 2004 Decompositions of graphs into graphs with three edges. Zbl 0604.05028Favaron, O.; Lonc, Z.; Truszczynski, M. 17 1985 The computational complexity of dominance and consistency in CP-nets. Zbl 1182.68089Goldsmith, J.; Lang, J.; Truszczynski, M.; Wilson, N. 16 2008 Note on the decomposition of \(\lambda K_{m,n}\) (\(\lambda K^*_{m,n}\)) into paths. Zbl 0578.05054Truszczyński, Mirosław 15 1985 Revisiting epistemic specifications. Zbl 1326.68280Truszczyński, Mirosław 15 2011 Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0783.68121Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław 14 1993 Linear upper bounds for local Ramsey numbers. Zbl 0612.05045Truszczynski, Miroslaw; Tuza, Zsolt 14 1987 Logic programs with monotone abstract constraint atoms. Zbl 1142.68018Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 14 2008 Revision programming. Zbl 0893.68054Marek, Victor W.; Truszczyński, Mirosław 12 1998 Modal logic for default reasoning. Zbl 0871.03009Marek, W.; Truszczyński, M. 12 1990 Decompositions of regular bipartite graphs. Zbl 0754.05057Jacobson, Michael S.; Truszcyński, Mirosław; Tuza, Zsolt 11 1991 Modal interpretations of default logic. Zbl 0747.68088Truszczynski, Miroslaw 10 1991 Satisfiability and computing van der Waerden numbers. Zbl 1054.05097Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław 10 2004 Decomposition of large uniform hypergraphs. Zbl 0558.05048Lonc, Zbigniew; Truszczyński, Miroslaw 10 1985 Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. Zbl 1209.68101Truszczyński, Miroslaw 10 2010 Strong and uniform equivalence of nonmonotonic theories – an algebraic approach. Zbl 1118.68161Truszczyński, Mirosław 10 2006 Constructions of asymptotically shortest \(k\)-radius sequences. Zbl 1242.05138Jaromczyk, Jerzy W.; Lonc, Zbigniew; Truszczyński, Mirosław 9 2012 Generalized local colorings of graphs. Zbl 0769.05041Truszczyński, Mirosław 8 1992 On abstract modular inference systems and solvers. Zbl 1357.68230Lierler, Yuliya; Truszczynski, Miroslaw 8 2016 A Tarskian informal semantics for answer set programming. Zbl 1281.68147Denecker, Marc; Lierler, Yuliya; Truszczynski, Miroslaw; Vennekens, Joost 8 2012 Properties and applications of programs with monotone and convex constraints. Zbl 1182.68043Liu, L.; Truszczynski, M. 8 2006 Connecting first-order ASP and the logic FO(ID) through reducts. Zbl 1357.68225Truszczynski, Miroslaw 8 2012 Computing minimal models, stable models and answer sets. Zbl 1110.68022Lonc, Zbigniew; Truszczyński, Mirosław 7 2006 Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. Zbl 1242.68052Truszczyński, Mirosław 7 2011 A note on local colorings of graphs. Zbl 0869.05027Ruciński, Andrzej; Truszczyński, Mirosław 7 1997 Graceful unicyclic graphs. Zbl 0556.05056Truszczyński, Mirosław 7 1984 Transition systems for model generators – a unifying approach. Zbl 1222.68063Lierler, Yuliya; Truszczynski, Miroslaw 7 2011 Asymptotic results on saturated graphs. Zbl 0737.05058Truszczynski, Miroslaw; Tuza, Zsolt 6 1991 The pure logic of necessitation. Zbl 0819.03011Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław 6 1992 Predicate-calculus-based logics for modeling and solving search problems. Zbl 1367.68264East, Deborah; Truszczyński, Miroslaw 6 2006 Normal form results for default logic. Zbl 0819.68123Marek, V. W.; Truszczynski, M. 6 1993 Revision specifications by means of programs. Zbl 0988.68626Marek, V. W.; Truszczyński, M. 6 1994 On equivalence of infinitary formulas under the stable model semantics. Zbl 1379.68070Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw 5 2015 Maximin share allocations on cycles. Zbl 1492.91164Truszczynski, Miroslaw; Lonc, Zbigniew 5 2020 The logic programming paradigm. A 25-year perspective. Zbl 0919.00027 5 1999 Contributions to the theory of rough sets. Zbl 0944.68051Marek, V. Wiktor; Truszczyński, Mirosław 5 1999 Computing with default logic. Zbl 0996.68195Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław 5 1999 Hyperequivalence of logic programs with respect to supported models. Zbl 1165.68349Truszczyński, Mirosław; Woltran, Stefan 5 2008 Note on vertex degrees of planar graphs. Zbl 0539.05057Truszczyński, Mirosław 5 1984 Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. Zbl 0726.03022Truszczynski, Mirosław 4 1991 Minimal knowledge problem: A new approach. Zbl 0820.68115Schwarz, Grigori; Truszczyński, Mirosław 4 1994 Active integrity constraints and revision programming. Zbl 1242.68049Caroprese, Luciano; Truszczyński, Mirosław 4 2011 Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Zbl 1320.68014 4 2015 Satisfiability and computing van der Waerden numbers. Zbl 1204.05097Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław 4 2004 Jump number problem: The role of matroids. Zbl 0563.06001Truszczyński, Mirosław 4 1985 Centers and centroids of unicyclic graphs. Zbl 0585.05030Truszczyński, Mirosłav 4 1985 Relativized hyperequivalence of logic programs for modular programming. Zbl 1184.68163Truszczyński, Mirosław; Woltran, Stefan 4 2009 Packing analogue of \(k\)-radius sequences. Zbl 1339.05008Lonc, Zbigniew; Truszczyński, Mirosław 3 2016 Extremal problems in logic programming and stable model computation. Zbl 0927.68019Cholewinski, Pawel; Truszczynski, Miroslaw 3 1999 Reiter’s default logic is a logic of autoepistemic reasoning and a good one, too. Zbl 1259.68186Denecker, Marc; Marek, Victor W.; Truszczynski, Mirosław 3 2011 Simple random logic programs. Zbl 1258.68036Namasivayam, Gayathri; Truszczyński, Mirosław 3 2009 Representation theory for default logic. Zbl 0890.68121Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 3 1997 Logic programs with abstract constraint atoms: The role of computations. Zbl 1213.68179Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Mirosław 3 2007 Logic programs with monotone cardinality atoms. Zbl 1122.68380Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 3 2004 Aggregating conditionally lexicographic preferences using answer set programming solvers. Zbl 1406.91120Liu, Xudong; Truszczynski, Miroslaw 3 2013 On graph equivalences preserved under extensions. Zbl 1216.05036Lonc, Zbigniew; Truszczyński, Mirosław 3 2011 Indexing functions and time lower bounds for sorting on a mesh-connected computer. Zbl 0746.68026Han, Yijie; Igarashi, Yoshihide; Truszczynski, Miroslaw 2 1992 Rado’s Selection Principle: Applications to binary relations, graph and hypergraph colorings and partially ordered sets. Zbl 0776.05004Truszczynski, Miroslaw; Tuza, Zsolt 2 1992 Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław 2 1991 Decompositions of graphs into forests of equal size and with bounded maximum degrees. Zbl 0622.05015Truszczyński, Miroslaw 2 1986 Decomposition of graphs into graphs with bounded maximum degrees. Zbl 0624.05038Lonc, Zbigniew; Truszczyński, Mirosław 2 1985 Fixed-parameter complexity of semantics for logic programs. Zbl 1365.68150Lonc, Zbigniew; Truszczyński, Miroslaw 2 2003 Fixpoint 3-valued semantics for autoepistemic logic. Zbl 0938.03046Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław 2 1999 Sunlike primal graphs. Zbl 0792.05108Chinn, P. Z.; Richter, R. B.; Truszczyński, M. 2 1989 Computing large and small stable models. Zbl 1087.68534Truszczyński, Mirosław 2 2002 Linear arboricity of graphs. Zbl 0664.05049Truszczyński, Mirosław 2 1986 Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17–19, 2001. Proceedings. Zbl 0971.00048 2 2001 Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Zbl 1303.68014 2 2015 Optimal f-graphs for the family of all k-subsets of an n-set. Zbl 0545.68086Lonc, Zbigniew; Traczyk, Tomasz; Truszczyński, Mirosław 2 1983 On the number of minimal transversals in 3-uniform hypergraphs. Zbl 1154.05046Lonc, Zbigniew; Truszczyński, Mirosław 2 2008 The view-update problem for indefinite databases. Zbl 1361.68072Caroprese, Luciano; Trubitsyna, Irina; Truszczyński, Mirosław; Zumpano, Ester 2 2012 Declarative semantics for revision programming and connections to active integrity constraints. Zbl 1178.68191Caroprese, Luciano; Truszczyński, Mirosław 2 2008 Declarative semantics for active integrity constraints. Zbl 1185.68292Caroprese, Luciano; Truszczyński, Mirosław 2 2008 Relativized hyperequivalence of logic programs for modular programming. Zbl 1185.68186Truszczyński, Mirosław; Woltran, Stefan 2 2008 On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). Zbl 1405.68354Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw 2 2013 Preference learning and optimization for partial lexicographic preference forests over combinatorial domains. Zbl 1508.68081Liu, Xudong; Truszczynski, Miroslaw 2 2018 Decompositions of graphs into forests with bounded maximum degree. Zbl 0757.05068Truszczyński, Mirosław 1 1991 More on modal aspects of default logic. Zbl 0772.03011Marek, V. Wiktor; Truszczynski, Miroslaw 1 1992 The tree number of a graph with a given girth. Zbl 0626.05014Truszczyński, M. 1 1988 Decomposing graphs into forests of stars. Zbl 0646.05022Truszczynski, Miroslaw 1 1986 Dual-normal logic programs – the forgotten class. Zbl 1379.68061Fichte, Johannes K.; Truszczyński, Mirosław; Woltran, Stefan 1 2015 Nonmonotonic reasoning is sometimes simpler. Zbl 0793.68080Schwarz, Grigori; Truszczyński, Miroslaw 1 1993 A simple algorithm for finding a cycle of length greater than three and without diagonals. Zbl 0449.68026Truszczynski, M. 1 1981 Logic programming and nonmonotonic reasoning. Third international conference, LPNMR ’95, Lexington, KY, USA, June 26–28, 1995. Proceedings. Zbl 0875.00116 1 1995 The aspps system. Zbl 1014.68866East, Deborah; Truszczyński, Mirosław 1 2002 New models for generating hard random Boolean formulas and disjunctive logic programs. Zbl 1478.68316Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw 1 2020 Beyond NP: quantifying over answer sets. Zbl 1434.68068Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw 1 2019 Reasoning with preference trees over combinatorial domains. Zbl 1405.91138Liu, Xudong; Truszczynski, Miroslaw 1 2015 On the problem of computing the well-founded semantics. Zbl 1105.68348Lonc, Zbigniew; Truszczyński, Mirosław 1 2001 Nonmonotonic reasoning is sometimes simpler! Zbl 0849.03019Schwarz, Grigori; Truszczynski, Miroslaw 1 1996 Negation as failure to prove and fixed points. Zbl 0673.03017Marek, W.; Truszczynski, M. 1 1989 Primal graphs with maximum degree at most 3. Zbl 0717.05039Chinn, P. Z.; Richter, R. B.; Truszczynski, M. 1 1988 Maximin share allocations on cycles. Zbl 1492.91164Truszczynski, Miroslaw; Lonc, Zbigniew 5 2020 New models for generating hard random Boolean formulas and disjunctive logic programs. Zbl 1478.68316Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw 1 2020 Beyond NP: quantifying over answer sets. Zbl 1434.68068Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw 1 2019 Encoding selection for solving Hamiltonian cycle problems with ASP. Zbl 07453125Liu, Liu; Truszczynski, Miroslaw 1 2019 Preference learning and optimization for partial lexicographic preference forests over combinatorial domains. Zbl 1508.68081Liu, Xudong; Truszczynski, Miroslaw 2 2018 On abstract modular inference systems and solvers. Zbl 1357.68230Lierler, Yuliya; Truszczynski, Miroslaw 8 2016 Packing analogue of \(k\)-radius sequences. Zbl 1339.05008Lonc, Zbigniew; Truszczyński, Mirosław 3 2016 On equivalence of infinitary formulas under the stable model semantics. Zbl 1379.68070Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw 5 2015 Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Zbl 1320.68014 4 2015 Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Zbl 1303.68014 2 2015 Dual-normal logic programs – the forgotten class. Zbl 1379.68061Fichte, Johannes K.; Truszczyński, Mirosław; Woltran, Stefan 1 2015 Reasoning with preference trees over combinatorial domains. Zbl 1405.91138Liu, Xudong; Truszczynski, Miroslaw 1 2015 A measure of arbitrariness in abductive explanations. Zbl 1309.68029Caroprese, Luciano; Trubitsyna, Irina; Truszczyński, Mirosław; Zumpano, Ester 1 2014 Aggregating conditionally lexicographic preferences using answer set programming solvers. Zbl 1406.91120Liu, Xudong; Truszczynski, Miroslaw 3 2013 On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). Zbl 1405.68354Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw 2 2013 Constructions of asymptotically shortest \(k\)-radius sequences. Zbl 1242.05138Jaromczyk, Jerzy W.; Lonc, Zbigniew; Truszczyński, Mirosław 9 2012 A Tarskian informal semantics for answer set programming. Zbl 1281.68147Denecker, Marc; Lierler, Yuliya; Truszczynski, Miroslaw; Vennekens, Joost 8 2012 Connecting first-order ASP and the logic FO(ID) through reducts. Zbl 1357.68225Truszczynski, Miroslaw 8 2012 The view-update problem for indefinite databases. Zbl 1361.68072Caroprese, Luciano; Trubitsyna, Irina; Truszczyński, Mirosław; Zumpano, Ester 2 2012 Revisiting epistemic specifications. Zbl 1326.68280Truszczyński, Mirosław 15 2011 Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. Zbl 1242.68052Truszczyński, Mirosław 7 2011 Transition systems for model generators – a unifying approach. Zbl 1222.68063Lierler, Yuliya; Truszczynski, Miroslaw 7 2011 Active integrity constraints and revision programming. Zbl 1242.68049Caroprese, Luciano; Truszczyński, Mirosław 4 2011 Reiter’s default logic is a logic of autoepistemic reasoning and a good one, too. Zbl 1259.68186Denecker, Marc; Marek, Victor W.; Truszczynski, Mirosław 3 2011 On graph equivalences preserved under extensions. Zbl 1216.05036Lonc, Zbigniew; Truszczyński, Mirosław 3 2011 Logic programs with abstract constraint atoms: the role of computations. Zbl 1207.68119Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Miroslaw 21 2010 Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. Zbl 1209.68101Truszczyński, Miroslaw 10 2010 Relativized hyperequivalence of logic programs for modular programming. Zbl 1184.68163Truszczyński, Mirosław; Woltran, Stefan 4 2009 Simple random logic programs. Zbl 1258.68036Namasivayam, Gayathri; Truszczyński, Mirosław 3 2009 Trichotomy results on the complexity of reasoning with disjunctive logic programs. Zbl 1258.68148Truszczyński, Mirosław 1 2009 The computational complexity of dominance and consistency in CP-nets. Zbl 1182.68089Goldsmith, J.; Lang, J.; Truszczynski, M.; Wilson, N. 16 2008 Logic programs with monotone abstract constraint atoms. Zbl 1142.68018Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 14 2008 Hyperequivalence of logic programs with respect to supported models. Zbl 1165.68349Truszczyński, Mirosław; Woltran, Stefan 5 2008 On the number of minimal transversals in 3-uniform hypergraphs. Zbl 1154.05046Lonc, Zbigniew; Truszczyński, Mirosław 2 2008 Declarative semantics for revision programming and connections to active integrity constraints. Zbl 1178.68191Caroprese, Luciano; Truszczyński, Mirosław 2 2008 Declarative semantics for active integrity constraints. Zbl 1185.68292Caroprese, Luciano; Truszczyński, Mirosław 2 2008 Relativized hyperequivalence of logic programs for modular programming. Zbl 1185.68186Truszczyński, Mirosław; Woltran, Stefan 2 2008 Logic programs with abstract constraint atoms: The role of computations. Zbl 1213.68179Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Mirosław 3 2007 Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques. Zbl 1211.68386Liu, Lengning; Truszczyński, Mirosław 1 2007 Strong and uniform equivalence of nonmonotonic theories – an algebraic approach. Zbl 1118.68161Truszczyński, Mirosław 10 2006 Properties and applications of programs with monotone and convex constraints. Zbl 1182.68043Liu, L.; Truszczynski, M. 8 2006 Computing minimal models, stable models and answer sets. Zbl 1110.68022Lonc, Zbigniew; Truszczyński, Mirosław 7 2006 Predicate-calculus-based logics for modeling and solving search problems. Zbl 1367.68264East, Deborah; Truszczyński, Miroslaw 6 2006 Nonmonotonic logics and their algebraic foundations. Zbl 1225.03025Truszczyński, Mirosław 1 2006 Tools for modeling and solving search problems. Zbl 1127.68365East, Deborah; Iakhiaev, Mikhail; Mikitiuk, Artur; Truszczyński, Mirosław 1 2006 Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Zbl 1130.68008 1 2006 Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław 18 2004 Satisfiability and computing van der Waerden numbers. Zbl 1054.05097Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław 10 2004 Satisfiability and computing van der Waerden numbers. Zbl 1204.05097Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław 4 2004 Logic programs with monotone cardinality atoms. Zbl 1122.68380Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 3 2004 Towards systematic benchmarking in answer set programming: the Dagstuhl initiative. Zbl 1122.68362Borchert, Paul; Anger, Christian; Schaub, Torsten; Truszczyński, Mirosław 1 2004 Computing stable models: Worst-case performance estimates. Zbl 1090.68016Lonc, Zbigniew; Truszczyński, Mirosław 1 2004 Uniform semantic treatment of default and autoepistemic logics. Zbl 1010.03021Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław 23 2003 Fixed-parameter complexity of semantics for logic programs. Zbl 1365.68150Lonc, Zbigniew; Truszczyński, Miroslaw 2 2003 Computing minimal models, stable models, and answer sets. Zbl 1204.68057Lonc, Zbigniew; Truszczyński, Mirosław 1 2003 Local-search techniques for propositional logic extended with cardinality constraints. Zbl 1273.68353Liu, Lengning; Truszczyński, Mirosław 1 2003 Computing large and small stable models. Zbl 1087.68534Truszczyński, Mirosław 2 2002 The aspps system. Zbl 1014.68866East, Deborah; Truszczyński, Mirosław 1 2002 Annotated revision programs. Zbl 0995.68106Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław 1 2002 Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17–19, 2001. Proceedings. Zbl 0971.00048 2 2001 On the problem of computing the well-founded semantics. Zbl 1105.68348Lonc, Zbigniew; Truszczyński, Mirosław 1 2001 Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 1 2001 Propositional satisfiability in answer-set programming. Zbl 1007.68173East, Deborah; Truszczynski, Mirosław 1 2001 assps – an implementation of answer-set programming with propositional schemata. Zbl 1007.68699East, Deborah; Truszczyński, Mirosław 1 2001 Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183Denecker, Marc; Marek, Victor; Truszczyński, Mirosław 25 2000 On the problem of computing the well-founded semantics. Zbl 0983.68520Lonc, Zbigniew; Truszczyński, Mirosław 1 2000 Stable models and an alternative logic programming paradigm. Zbl 0979.68524Marek, Victor W.; Truszczyński, Mirosław 101 1999 The logic programming paradigm. A 25-year perspective. Zbl 0919.00027 5 1999 Contributions to the theory of rough sets. Zbl 0944.68051Marek, V. Wiktor; Truszczyński, Mirosław 5 1999 Computing with default logic. Zbl 0996.68195Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław 5 1999 Extremal problems in logic programming and stable model computation. Zbl 0927.68019Cholewinski, Pawel; Truszczynski, Miroslaw 3 1999 Fixpoint 3-valued semantics for autoepistemic logic. Zbl 0938.03046Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław 2 1999 Revision programming. Zbl 0893.68054Marek, Victor W.; Truszczyński, Mirosław 12 1998 A note on local colorings of graphs. Zbl 0869.05027Ruciński, Andrzej; Truszczyński, Mirosław 7 1997 Representation theory for default logic. Zbl 0890.68121Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław 3 1997 Nonmonotonic reasoning is sometimes simpler! Zbl 0849.03019Schwarz, Grigori; Truszczynski, Miroslaw 1 1996 Logic programming and nonmonotonic reasoning. Third international conference, LPNMR ’95, Lexington, KY, USA, June 26–28, 1995. Proceedings. Zbl 0875.00116 1 1995 Skeptical rational extensions. Zbl 1496.68318Mikitiuk, Artur; Truszczyński, Miroslaw 1 1995 Revision specifications by means of programs. Zbl 0988.68626Marek, V. W.; Truszczyński, M. 6 1994 Minimal knowledge problem: A new approach. Zbl 0820.68115Schwarz, Grigori; Truszczyński, Mirosław 4 1994 Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018Marek, V. W.; Truszczyński, M. 66 1993 Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0783.68121Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław 14 1993 Normal form results for default logic. Zbl 0819.68123Marek, V. W.; Truszczynski, M. 6 1993 Nonmonotonic reasoning is sometimes simpler. Zbl 0793.68080Schwarz, Grigori; Truszczyński, Miroslaw 1 1993 Generalized local colorings of graphs. Zbl 0769.05041Truszczyński, Mirosław 8 1992 The pure logic of necessitation. Zbl 0819.03011Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław 6 1992 Indexing functions and time lower bounds for sorting on a mesh-connected computer. Zbl 0746.68026Han, Yijie; Igarashi, Yoshihide; Truszczynski, Miroslaw 2 1992 Rado’s Selection Principle: Applications to binary relations, graph and hypergraph colorings and partially ordered sets. Zbl 0776.05004Truszczynski, Miroslaw; Tuza, Zsolt 2 1992 More on modal aspects of default logic. Zbl 0772.03011Marek, V. Wiktor; Truszczynski, Miroslaw 1 1992 Autoepistemic logic. Zbl 0799.68176Marek, Wiktor; Truszczynski, Miroslaw 88 1991 Disjunctive defaults. Zbl 0766.68127Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw 27 1991 Decompositions of regular bipartite graphs. Zbl 0754.05057Jacobson, Michael S.; Truszcyński, Mirosław; Tuza, Zsolt 11 1991 Modal interpretations of default logic. Zbl 0747.68088Truszczynski, Miroslaw 10 1991 Asymptotic results on saturated graphs. Zbl 0737.05058Truszczynski, Miroslaw; Tuza, Zsolt 6 1991 Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. Zbl 0726.03022Truszczynski, Mirosław 4 1991 Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław 2 1991 Decompositions of graphs into forests with bounded maximum degree. Zbl 0757.05068Truszczyński, Mirosław 1 1991 Modal logic for default reasoning. Zbl 0871.03009Marek, W.; Truszczyński, M. 12 1990 Relating autoepistemic and default logics. Zbl 0706.03024Marek, Wiktor; Truszczyński, Mirosław 21 1989 Sunlike primal graphs. Zbl 0792.05108Chinn, P. Z.; Richter, R. B.; Truszczyński, M. 2 1989 ...and 18 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 671 Authors 38 Truszczyński, Mirosław 23 Eiter, Thomas 22 Lonc, Zbigniew 19 Woltran, Stefan 18 Marek, V. Wiktor 14 Denecker, Marc 14 Fandinno, Jorge 13 Cabalar, Pedro 13 Schaub, Torsten H. 12 Leone, Nicola 12 Lifschitz, Vladimir 11 Lierler, Yuliya 11 Remmel, Jeffrey Brian 11 You, Jia-Huai 9 Bogaerts, Bart 9 Janhunen, Tomi 9 Lin, Fangzhen 9 Maratea, Marco 9 Tuza, Zsolt 8 Alviano, Mario 8 Faber, Wolfgang 8 Fichte, Johannes Klaus 8 Shen, Yidong 8 Son, Tran Cao 7 Gebser, Martin 7 Gottlob, Georg 7 Niemelä, Ilkka N. F. 6 Dȩbski, Michał 6 Erdem, Esra 6 Fink, Michael 6 Greco, Sergio 6 Leite, João 6 Pontelli, Enrico 6 Pührer, Jörg 6 Strass, Hannes 6 Subrahmanian, V. S. 5 Bielak, Halina 5 Dodaro, Carmine 5 Gelfond, Michael 5 Hecher, Markus 5 Ianni, Giovambattista 5 Krennwallner, Thomas 5 Morak, Michael 5 Saccà, Domenico 5 Sakama, Chiaki 5 Tompits, Hans 5 Vennekens, Joost 5 Wang, Kewen 5 Zhou, Yi 4 Amendola, Giovanni 4 Antoniou, Grigoris 4 Baumann, Ringo 4 Bochman, Alexander 4 Botler, Fábio 4 Brewka, Gerhard 4 Caro, Yair 4 Caroprese, Luciano 4 Fariñas del Cerro, Luis 4 Formisano, Andrea 4 Garcia, Laurent 4 Harrison, Amelia 4 Kaminski, Michael 4 Lefèvre, Claire 4 Meier, Arne 4 Nerode, Anil 4 Palopoli, Luigi 4 Przymusinski, Teodor C. 4 Ricca, Francesco 4 Rzążewski, Paweł 4 Schwarz, Grigori F. 4 Stéphan, Igor 4 Straccia, Umberto 4 Wallner, Johannes Peter 4 Yuan, Li Yan 4 Zhang, Yan 4 Zhang, Yuanlin 3 Baral, Chitta R. 3 Ben-Eliyahu-Zohary, Rachel 3 Calimeri, Francesco 3 Costantini, Stefania 3 Cruz-Filipe, Luís 3 Dasseville, Ingmar 3 De Cock, Martine 3 Dovier, Agostino 3 Dvořák, Wolfgang 3 Ésik, Zoltán 3 Giunchiglia, Enrico 3 Gonçalves, Ricardo 3 Herzig, Andreas 3 Hitzler, Pascal 3 Horty, John F. 3 Inoue, Katsumi 3 Janssens, Gerda 3 Järvisalo, Matti 3 Junosza-Szaniawski, Konstanty 3 Knorr, Matthias 3 Liberatore, Paolo 3 Liu, Fangfang 3 Mota, Guilherme Oliveira 3 Muthusamy, Appu ...and 571 more Authors all top 5 Cited in 78 Serials 101 Artificial Intelligence 79 Theory and Practice of Logic Programming 48 Annals of Mathematics and Artificial Intelligence 34 Discrete Mathematics 21 Theoretical Computer Science 11 Discrete Applied Mathematics 10 Journal of Applied Non-Classical Logics 8 Journal of Graph Theory 7 Graphs and Combinatorics 7 Journal of Automated Reasoning 6 International Journal of Approximate Reasoning 5 Journal of Combinatorial Theory. Series B 5 European Journal of Combinatorics 5 Annals of Pure and Applied Logic 5 Information and Computation 5 ACM Transactions on Computational Logic 5 Journal of Applied Logic 4 Information Processing Letters 4 Constraints 4 AKCE International Journal of Graphs and Combinatorics 3 Journal of Combinatorial Theory. Series A 3 Journal of Philosophical Logic 3 Order 3 New Generation Computing 3 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 3 Archive for Mathematical Logic 3 Discussiones Mathematicae. Graph Theory 3 Journal of Combinatorial Optimization 2 Archiv der Mathematik 2 Czechoslovak Mathematical Journal 2 Information Sciences 2 Journal of Computer and System Sciences 2 Studia Logica 2 Synthese 2 Journal of Computer Science and Technology 2 SIAM Journal on Discrete Mathematics 2 Journal of Logic, Language and Information 1 Acta Informatica 1 Computers & Mathematics with Applications 1 Journal of the Franklin Institute 1 Periodica Mathematica Hungarica 1 Annales Universitatis Mariae Curie-Skłodowska. Sectio A. Mathematica 1 Applied Mathematics and Computation 1 Journal of Soviet Mathematics 1 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 1 SIAM Journal on Computing 1 Cybernetics 1 Operations Research Letters 1 Combinatorica 1 Acta Mathematica Hungarica 1 Journal of Complexity 1 Algorithmica 1 Machine Learning 1 International Journal of Foundations of Computer Science 1 Artificial Intelligence Review 1 Games and Economic Behavior 1 Indagationes Mathematicae. New Series 1 The Australasian Journal of Combinatorics 1 Experimental Mathematics 1 Combinatorics, Probability and Computing 1 Journal of the Egyptian Mathematical Society 1 The Electronic Journal of Combinatorics 1 Opuscula Mathematica 1 The Journal of Artificial Intelligence Research (JAIR) 1 Open Systems & Information Dynamics 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Acta Mathematica Sinica. English Series 1 CEJOR. Central European Journal of Operations Research 1 Fundamenta Informaticae 1 Cubo 1 Science in China. Series F 1 Contributions to Discrete Mathematics 1 Mathematics in Computer Science 1 Logica Universalis 1 Journal of Mathematics 1 ISRN Combinatorics 1 Journal of Logical and Algebraic Methods in Programming 1 Journal of Algebra, Combinatorics, Discrete Structures and Applications all top 5 Cited in 14 Fields 438 Computer science (68-XX) 119 Mathematical logic and foundations (03-XX) 119 Combinatorics (05-XX) 14 Order, lattices, ordered algebraic structures (06-XX) 9 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 6 Operations research, mathematical programming (90-XX) 6 Biology and other natural sciences (92-XX) 5 Number theory (11-XX) 4 Convex and discrete geometry (52-XX) 3 Information and communication theory, circuits (94-XX) 2 History and biography (01-XX) 1 General and overarching topics; collections (00-XX) 1 General algebraic systems (08-XX) 1 General topology (54-XX) Citations by Year