×

zbMATH — the first resource for mathematics

Truszczyński, Mirosław

Compute Distance To:
Author ID: truszczynski.miroslaw Recent zbMATH articles by "Truszczyński, Mirosław"
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
Homepage: https://www.cs.uky.edu/~mirek/
External Links: MGP · dblp
Documents Indexed: 157 Publications since 1978, including 9 Books
Reviewing Activity: 68 Reviews

Publications by Year

Citations contained in zbMATH Open

113 Publications have been cited 757 times in 509 Documents Cited by Year
Stable models and an alternative logic programming paradigm. Zbl 0979.68524
Marek, Victor W.; Truszczyński, Mirosław
92
1999
Autoepistemic logic. Zbl 0799.68176
Marek, Wiktor; Truszczynski, Miroslaw
79
1991
Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018
Marek, V. W.; Truszczyński, M.
63
1993
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183
Denecker, Marc; Marek, Victor; Truszczyński, Mirosław
22
2000
Uniform semantic treatment of default and autoepistemic logics. Zbl 1010.03021
Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław
21
2003
Disjunctive defaults. Zbl 0766.68127
Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw
20
1991
Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069
Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław
17
2004
Relating autoepistemic and default logics. Zbl 0706.03024
Marek, Wiktor; Truszczyński, Mirosław
17
1989
Logic programs with abstract constraint atoms: the role of computations. Zbl 1207.68119
Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Miroslaw
17
2010
Decompositions of graphs into graphs with three edges. Zbl 0604.05028
Favaron, O.; Lonc, Z.; Truszczynski, M.
15
1985
The computational complexity of dominance and consistency in CP-nets. Zbl 1182.68089
Goldsmith, J.; Lang, J.; Truszczynski, M.; Wilson, N.
14
2008
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
13
2008
Linear upper bounds for local Ramsey numbers. Zbl 0612.05045
Truszczynski, Miroslaw; Tuza, Zsolt
13
1987
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0783.68121
Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław
12
1993
Note on the decomposition of \(\lambda K_{m,n}\) (\(\lambda K^*_{m,n}\)) into paths. Zbl 0578.05054
Truszczyński, Mirosław
12
1985
Modal logic for default reasoning. Zbl 0871.03009
Marek, W.; Truszczyński, M.
11
1990
Decompositions of regular bipartite graphs. Zbl 0754.05057
Jacobson, Michael S.; Truszcyński, Mirosław; Tuza, Zsolt
10
1991
Modal interpretations of default logic. Zbl 0747.68088
Truszczynski, Miroslaw
10
1991
Satisfiability and computing van der Waerden numbers. Zbl 1054.05097
Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław
10
2004
Decomposition of large uniform hypergraphs. Zbl 0558.05048
Lonc, Zbigniew; Truszczyński, Miroslaw
10
1985
Revision programming. Zbl 0893.68054
Marek, Victor W.; Truszczyński, Mirosław
10
1998
Revisiting epistemic specifications. Zbl 1326.68280
Truszczyński, Mirosław
10
2011
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. Zbl 1209.68101
Truszczyński, Miroslaw
10
2010
Constructions of asymptotically shortest \(k\)-radius sequences. Zbl 1242.05138
Jaromczyk, Jerzy W.; Lonc, Zbigniew; Truszczyński, Mirosław
9
2012
Strong and uniform equivalence of nonmonotonic theories – an algebraic approach. Zbl 1118.68161
Truszczyński, Mirosław
8
2006
A Tarskian informal semantics for answer set programming. Zbl 1281.68147
Denecker, Marc; Lierler, Yuliya; Truszczynski, Miroslaw; Vennekens, Joost
8
2012
Generalized local colorings of graphs. Zbl 0769.05041
Truszczyński, Mirosław
7
1992
Properties and applications of programs with monotone and convex constraints. Zbl 1182.68043
Liu, L.; Truszczynski, M.
7
2006
Computing minimal models, stable models and answer sets. Zbl 1110.68022
Lonc, Zbigniew; Truszczyński, Mirosław
6
2006
Graceful unicyclic graphs. Zbl 0556.05056
Truszczyński, Mirosław
6
1984
A note on local colorings of graphs. Zbl 0869.05027
Ruciński, Andrzej; Truszczyński, Mirosław
6
1997
Transition systems for model generators – a unifying approach. Zbl 1222.68063
Lierler, Yuliya; Truszczynski, Miroslaw
6
2011
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. Zbl 1242.68052
Truszczyński, Mirosław
6
2011
Connecting first-order ASP and the logic FO(ID) through reducts. Zbl 1357.68225
Truszczynski, Miroslaw
6
2012
Predicate-calculus-based logics for modeling and solving search problems. Zbl 1367.68264
East, Deborah; Truszczyński, Miroslaw
5
2006
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
5
1992
Normal form results for default logic. Zbl 0819.68123
Marek, V. W.; Truszczynski, M.
5
1993
Asymptotic results on saturated graphs. Zbl 0737.05058
Truszczynski, Miroslaw; Tuza, Zsolt
5
1991
Computing with default logic. Zbl 0996.68195
Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław
5
1999
Note on vertex degrees of planar graphs. Zbl 0539.05057
Truszczyński, Mirosław
4
1984
The logic programming paradigm. A 25-year perspective. Zbl 0919.00027
Apt, K. R. (ed.); Marek, V. W. (ed.); Truszczynski, M. (ed.); Warren, D. S. (ed.)
4
1999
Minimal knowledge problem: A new approach. Zbl 0820.68115
Schwarz, Grigori; Truszczyński, Mirosław
4
1994
Jump number problem: The role of matroids. Zbl 0563.06001
Truszczyński, Mirosław
4
1985
Centers and centroids of unicyclic graphs. Zbl 0585.05030
Truszczyński, Mirosłav
4
1985
Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. Zbl 0726.03022
Truszczynski, Mirosław
4
1991
Contributions to the theory of rough sets. Zbl 0944.68051
Marek, V. Wiktor; Truszczyński, Mirosław
4
1999
Hyperequivalence of logic programs with respect to supported models. Zbl 1165.68349
Truszczyński, Mirosław; Woltran, Stefan
4
2008
On equivalence of infinitary formulas under the stable model semantics. Zbl 1379.68070
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw
4
2015
Relativized hyperequivalence of logic programs for modular programming. Zbl 1184.68163
Truszczyński, Mirosław; Woltran, Stefan
4
2009
On abstract modular inference systems and solvers. Zbl 1357.68230
Lierler, Yuliya; Truszczynski, Miroslaw
4
2016
Logic programs with monotone cardinality atoms. Zbl 1122.68380
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
3
2004
Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Zbl 1320.68014
Calimeri, Francesco (ed.); Ianni, Giovambattista (ed.); Truszczynski, Miroslaw (ed.)
3
2015
Extremal problems in logic programming and stable model computation. Zbl 0927.68019
Cholewinski, Pawel; Truszczynski, Miroslaw
3
1999
Revision specifications by means of programs. Zbl 0988.68626
Marek, V. W.; Truszczyński, M.
3
1994
Representation theory for default logic. Zbl 0890.68121
Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
3
1997
Reiter’s default logic is a logic of autoepistemic reasoning and a good one, too. Zbl 1259.68186
Denecker, Marc; Marek, Victor W.; Truszczynski, Mirosław
3
2011
On graph equivalences preserved under extensions. Zbl 1216.05036
Lonc, Zbigniew; Truszczyński, Mirosław
3
2011
Logic programs with abstract constraint atoms: The role of computations. Zbl 1213.68179
Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Mirosław
3
2007
Satisfiability and computing van der Waerden numbers. Zbl 1204.05097
Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław
3
2004
Active integrity constraints and revision programming. Zbl 1242.68049
Caroprese, Luciano; Truszczyński, Mirosław
3
2011
Simple random logic programs. Zbl 1258.68036
Namasivayam, Gayathri; Truszczyński, Mirosław
3
2009
Packing analogue of \(k\)-radius sequences. Zbl 1339.05008
Lonc, Zbigniew; Truszczyński, Mirosław
3
2016
On the number of minimal transversals in 3-uniform hypergraphs. Zbl 1154.05046
Lonc, Zbigniew; Truszczyński, Mirosław
2
2008
Declarative semantics for revision programming and connections to active integrity constraints. Zbl 1178.68191
Caroprese, Luciano; Truszczyński, Mirosław
2
2008
Declarative semantics for active integrity constraints. Zbl 1185.68292
Caroprese, Luciano; Truszczyński, Mirosław
2
2008
Relativized hyperequivalence of logic programs for modular programming. Zbl 1185.68186
Truszczyński, Mirosław; Woltran, Stefan
2
2008
Aggregating conditionally lexicographic preferences using answer set programming solvers. Zbl 1406.91120
Liu, Xudong; Truszczynski, Miroslaw
2
2013
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014
Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław
2
1991
Sunlike primal graphs. Zbl 0792.05108
Chinn, P. Z.; Richter, R. B.; Truszczyński, M.
2
1989
Indexing functions and time lower bounds for sorting on a mesh-connected computer. Zbl 0746.68026
Han, 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.05004
Truszczynski, Miroslaw; Tuza, Zsolt
2
1992
Computing large and small stable models. Zbl 1087.68534
Truszczyński, Mirosław
2
2002
Decompositions of graphs into forests of equal size and with bounded maximum degrees. Zbl 0622.05015
Truszczyński, Miroslaw
2
1986
Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17–19, 2001. Proceedings. Zbl 0971.00048
Eiter, Thomas (ed.); Faber, Wolfgang (ed.); Truszczyński, Mirosław (ed.)
2
2001
Fixpoint 3-valued semantics for autoepistemic logic. Zbl 0938.03046
Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław
2
1999
Decomposition of graphs into graphs with bounded maximum degrees. Zbl 0624.05038
Lonc, Zbigniew; Truszczyński, Mirosław
2
1985
Linear arboricity of graphs. Zbl 0664.05049
Truszczyński, Mirosław
2
1986
Advances in knowledge representation, logic programming, and abstract argumentation. Essays dedicated to Gerhard Brewka on the occasion of his 60th birthday. Zbl 1303.68014
Eiter, Thomas (ed.); Strass, Hannes (ed.); Truszczyński, Mirosław (ed.); Woltran, Stefan (ed.)
2
2015
On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). Zbl 1405.68354
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw
2
2013
The view-update problem for indefinite databases. Zbl 1361.68072
Caroprese, Luciano; Trubitsyna, Irina; Truszczyński, Mirosław; Zumpano, Ester
2
2012
Tools for modeling and solving search problems. Zbl 1127.68365
East, Deborah; Iakhiaev, Mikhail; Mikitiuk, Artur; Truszczyński, Mirosław
1
2006
Towards systematic benchmarking in answer set programming: the Dagstuhl initiative. Zbl 1122.68362
Borchert, Paul; Anger, Christian; Schaub, Torsten; Truszczyński, Mirosław
1
2004
Logic programming. 22nd international conference, ICLP 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Zbl 1130.68008
Etalle, Sandro (ed.); Truszczynski, Miroslav (ed.)
1
2006
Reasoning with preference trees over combinatorial domains. Zbl 1405.91138
Liu, Xudong; Truszczynski, Miroslaw
1
2015
Fixed-parameter complexity of semantics for logic programs. Zbl 1365.68150
Lonc, Zbigniew; Truszczyński, Miroslaw
1
2003
Nonmonotonic reasoning is sometimes simpler! Zbl 0849.03019
Schwarz, Grigori; Truszczynski, Miroslaw
1
1996
More on modal aspects of default logic. Zbl 0772.03011
Marek, V. Wiktor; Truszczynski, Miroslaw
1
1992
Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020
Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
1
2001
Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques. Zbl 1211.68386
Liu, Lengning; Truszczyński, Mirosław
1
2007
Optimal f-graphs for the family of all k-subsets of an n-set. Zbl 0545.68086
Lonc, Zbigniew; Traczyk, Tomasz; Truszczyński, Mirosław
1
1983
A simple algorithm for finding a cycle of length greater than three and without diagonals. Zbl 0449.68026
Truszczynski, M.
1
1981
Nonmonotonic reasoning is sometimes simpler. Zbl 0793.68080
Schwarz, Grigori; Truszczyński, Miroslaw
1
1993
Decompositions of graphs into forests with bounded maximum degree. Zbl 0757.05068
Truszczyński, Mirosław
1
1991
Annotated revision programs. Zbl 0995.68106
Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław
1
2002
Propositional satisfiability in answer-set programming. Zbl 1007.68173
East, Deborah; Truszczynski, Mirosław
1
2001
assps – an implementation of answer-set programming with propositional schemata. Zbl 1007.68699
East, Deborah; Truszczyński, Mirosław
1
2001
Computing stable models: Worst-case performance estimates. Zbl 1090.68016
Lonc, Zbigniew; Truszczyński, Mirosław
1
2004
A graph with mean distance being a given rational. Zbl 0588.05021
Truszczyński, Mirosław
1
1985
The aspps system. Zbl 1014.68866
East, Deborah; Truszczyński, Mirosław
1
2002
On the problem of computing the well-founded semantics. Zbl 1105.68348
Lonc, Zbigniew; Truszczyński, Mirosław
1
2001
New models for generating hard random Boolean formulas and disjunctive logic programs. Zbl 07153709
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
1
2020
Preference learning and optimization for partial lexicographic preference forests over combinatorial domains. Zbl 06894605
Liu, Xudong; Truszczynski, Miroslaw
1
2018
On abstract modular inference systems and solvers. Zbl 1357.68230
Lierler, Yuliya; Truszczynski, Miroslaw
4
2016
Packing analogue of \(k\)-radius sequences. Zbl 1339.05008
Lonc, Zbigniew; Truszczyński, Mirosław
3
2016
On equivalence of infinitary formulas under the stable model semantics. Zbl 1379.68070
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw
4
2015
Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Zbl 1320.68014
Calimeri, Francesco; Ianni, Giovambattista; Truszczynski, Miroslaw
3
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
Eiter, Thomas; Strass, Hannes; Truszczyński, Mirosław; Woltran, Stefan
2
2015
Reasoning with preference trees over combinatorial domains. Zbl 1405.91138
Liu, Xudong; Truszczynski, Miroslaw
1
2015
Dual-normal logic programs – the forgotten class. Zbl 1379.68061
Fichte, Johannes K.; Truszczyński, Mirosław; Woltran, Stefan
1
2015
A measure of arbitrariness in abductive explanations. Zbl 1309.68029
Caroprese, Luciano; Trubitsyna, Irina; Truszczyński, Mirosław; Zumpano, Ester
1
2014
Aggregating conditionally lexicographic preferences using answer set programming solvers. Zbl 1406.91120
Liu, Xudong; Truszczynski, Miroslaw
2
2013
On equivalent transformations of infinitary formulas under the stable model semantics (preliminary report). Zbl 1405.68354
Harrison, Amelia; Lifschitz, Vladimir; Truszczynski, Miroslaw
2
2013
Constructions of asymptotically shortest \(k\)-radius sequences. Zbl 1242.05138
Jaromczyk, Jerzy W.; Lonc, Zbigniew; Truszczyński, Mirosław
9
2012
A Tarskian informal semantics for answer set programming. Zbl 1281.68147
Denecker, Marc; Lierler, Yuliya; Truszczynski, Miroslaw; Vennekens, Joost
8
2012
Connecting first-order ASP and the logic FO(ID) through reducts. Zbl 1357.68225
Truszczynski, Miroslaw
6
2012
The view-update problem for indefinite databases. Zbl 1361.68072
Caroprese, Luciano; Trubitsyna, Irina; Truszczyński, Mirosław; Zumpano, Ester
2
2012
Revisiting epistemic specifications. Zbl 1326.68280
Truszczyński, Mirosław
10
2011
Transition systems for model generators – a unifying approach. Zbl 1222.68063
Lierler, Yuliya; Truszczynski, Miroslaw
6
2011
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. Zbl 1242.68052
Truszczyński, Mirosław
6
2011
Reiter’s default logic is a logic of autoepistemic reasoning and a good one, too. Zbl 1259.68186
Denecker, Marc; Marek, Victor W.; Truszczynski, Mirosław
3
2011
On graph equivalences preserved under extensions. Zbl 1216.05036
Lonc, Zbigniew; Truszczyński, Mirosław
3
2011
Active integrity constraints and revision programming. Zbl 1242.68049
Caroprese, Luciano; Truszczyński, Mirosław
3
2011
Logic programs with abstract constraint atoms: the role of computations. Zbl 1207.68119
Liu, Lengning; Pontelli, Enrico; Son, Tran Cao; Truszczyński, Miroslaw
17
2010
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. Zbl 1209.68101
Truszczyński, Miroslaw
10
2010
Relativized hyperequivalence of logic programs for modular programming. Zbl 1184.68163
Truszczyński, Mirosław; Woltran, Stefan
4
2009
Simple random logic programs. Zbl 1258.68036
Namasivayam, Gayathri; Truszczyński, Mirosław
3
2009
Trichotomy results on the complexity of reasoning with disjunctive logic programs. Zbl 1258.68148
Truszczyński, Mirosław
1
2009
The computational complexity of dominance and consistency in CP-nets. Zbl 1182.68089
Goldsmith, J.; Lang, J.; Truszczynski, M.; Wilson, N.
14
2008
Logic programs with monotone abstract constraint atoms. Zbl 1142.68018
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
13
2008
Hyperequivalence of logic programs with respect to supported models. Zbl 1165.68349
Truszczyński, Mirosław; Woltran, Stefan
4
2008
On the number of minimal transversals in 3-uniform hypergraphs. Zbl 1154.05046
Lonc, Zbigniew; Truszczyński, Mirosław
2
2008
Declarative semantics for revision programming and connections to active integrity constraints. Zbl 1178.68191
Caroprese, Luciano; Truszczyński, Mirosław
2
2008
Declarative semantics for active integrity constraints. Zbl 1185.68292
Caroprese, Luciano; Truszczyński, Mirosław
2
2008
Relativized hyperequivalence of logic programs for modular programming. Zbl 1185.68186
Truszczyński, Mirosław; Woltran, Stefan
2
2008
Logic programs with abstract constraint atoms: The role of computations. Zbl 1213.68179
Liu, 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.68386
Liu, Lengning; Truszczyński, Mirosław
1
2007
Strong and uniform equivalence of nonmonotonic theories – an algebraic approach. Zbl 1118.68161
Truszczyński, Mirosław
8
2006
Properties and applications of programs with monotone and convex constraints. Zbl 1182.68043
Liu, L.; Truszczynski, M.
7
2006
Computing minimal models, stable models and answer sets. Zbl 1110.68022
Lonc, Zbigniew; Truszczyński, Mirosław
6
2006
Predicate-calculus-based logics for modeling and solving search problems. Zbl 1367.68264
East, Deborah; Truszczyński, Miroslaw
5
2006
Tools for modeling and solving search problems. Zbl 1127.68365
East, 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
Etalle, Sandro; Truszczynski, Miroslav
1
2006
Nonmonotonic logics and their algebraic foundations. Zbl 1225.03025
Truszczyński, Mirosław
1
2006
Ultimate approximation and its application in nonmonotonic knowledge representation systems. Zbl 1074.68069
Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław
17
2004
Satisfiability and computing van der Waerden numbers. Zbl 1054.05097
Dransfield, Michael R.; Liu, Lengning; Marek, Victor W.; Truszczyński, Mirosław
10
2004
Logic programs with monotone cardinality atoms. Zbl 1122.68380
Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław
3
2004
Satisfiability and computing van der Waerden numbers. Zbl 1204.05097
Dransfield, Michael R.; Marek, Victor W.; Truszczyński, Mirosław
3
2004
Towards systematic benchmarking in answer set programming: the Dagstuhl initiative. Zbl 1122.68362
Borchert, Paul; Anger, Christian; Schaub, Torsten; Truszczyński, Mirosław
1
2004
Computing stable models: Worst-case performance estimates. Zbl 1090.68016
Lonc, Zbigniew; Truszczyński, Mirosław
1
2004
Uniform semantic treatment of default and autoepistemic logics. Zbl 1010.03021
Denecker, Marc; Marek, Victor W.; Truszczyński, Mirosław
21
2003
Fixed-parameter complexity of semantics for logic programs. Zbl 1365.68150
Lonc, Zbigniew; Truszczyński, Miroslaw
1
2003
Local-search techniques for propositional logic extended with cardinality constraints. Zbl 1273.68353
Liu, Lengning; Truszczyński, Mirosław
1
2003
Computing minimal models, stable models, and answer sets. Zbl 1204.68057
Lonc, Zbigniew; Truszczyński, Mirosław
1
2003
Computing large and small stable models. Zbl 1087.68534
Truszczyński, Mirosław
2
2002
Annotated revision programs. Zbl 0995.68106
Marek, Victor; Pivkina, Inna; Truszczyński, Mirosław
1
2002
The aspps system. Zbl 1014.68866
East, Deborah; 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
Eiter, Thomas; Faber, Wolfgang; Truszczyński, Mirosław
2
2001
Default logic and specification of nonmonotonic reasoning. Zbl 1008.03020
Engelfriet, Joeri; Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
1
2001
Propositional satisfiability in answer-set programming. Zbl 1007.68173
East, Deborah; Truszczynski, Mirosław
1
2001
assps – an implementation of answer-set programming with propositional schemata. Zbl 1007.68699
East, Deborah; Truszczyński, Mirosław
1
2001
On the problem of computing the well-founded semantics. Zbl 1105.68348
Lonc, Zbigniew; Truszczyński, Mirosław
1
2001
Approximations, stable operators, well-founded fixpoints and applications in nonmonotonic reasoning. Zbl 0988.68183
Denecker, Marc; Marek, Victor; Truszczyński, Mirosław
22
2000
On the problem of computing the well-founded semantics. Zbl 0983.68520
Lonc, Zbigniew; Truszczyński, Mirosław
1
2000
Stable models and an alternative logic programming paradigm. Zbl 0979.68524
Marek, Victor W.; Truszczyński, Mirosław
92
1999
Computing with default logic. Zbl 0996.68195
Cholewiński, Paweł; Marek, Victor W.; Mikitiuk, Artur; Truszczyński, Mirosław
5
1999
The logic programming paradigm. A 25-year perspective. Zbl 0919.00027
Apt, K. R.; Marek, V. W.; Truszczynski, M.; Warren, D. S.
4
1999
Contributions to the theory of rough sets. Zbl 0944.68051
Marek, V. Wiktor; Truszczyński, Mirosław
4
1999
Extremal problems in logic programming and stable model computation. Zbl 0927.68019
Cholewinski, Pawel; Truszczynski, Miroslaw
3
1999
Fixpoint 3-valued semantics for autoepistemic logic. Zbl 0938.03046
Denecker, Marc; Marek, V. Wiktor; Truszczyński, Mirosław
2
1999
Revision programming. Zbl 0893.68054
Marek, Victor W.; Truszczyński, Mirosław
10
1998
A note on local colorings of graphs. Zbl 0869.05027
Ruciński, Andrzej; Truszczyński, Mirosław
6
1997
Representation theory for default logic. Zbl 0890.68121
Marek, V. Wiktor; Treur, Jan; Truszczyński, Mirosław
3
1997
Nonmonotonic reasoning is sometimes simpler! Zbl 0849.03019
Schwarz, Grigori; Truszczynski, Miroslaw
1
1996
Minimal knowledge problem: A new approach. Zbl 0820.68115
Schwarz, Grigori; Truszczyński, Mirosław
4
1994
Revision specifications by means of programs. Zbl 0988.68626
Marek, V. W.; Truszczyński, M.
3
1994
Nonmonotonic logic. Context-dependent reasoning. Foreword by Ray Reiter. Zbl 0784.03018
Marek, V. W.; Truszczyński, M.
63
1993
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0783.68121
Marek, V. Wiktor; Schwarz, Grigori F.; Truszczyński, Mirosław
12
1993
Normal form results for default logic. Zbl 0819.68123
Marek, V. W.; Truszczynski, M.
5
1993
Nonmonotonic reasoning is sometimes simpler. Zbl 0793.68080
Schwarz, Grigori; Truszczyński, Miroslaw
1
1993
Generalized local colorings of graphs. Zbl 0769.05041
Truszczyński, Mirosław
7
1992
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
5
1992
Indexing functions and time lower bounds for sorting on a mesh-connected computer. Zbl 0746.68026
Han, 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.05004
Truszczynski, Miroslaw; Tuza, Zsolt
2
1992
More on modal aspects of default logic. Zbl 0772.03011
Marek, V. Wiktor; Truszczynski, Miroslaw
1
1992
Autoepistemic logic. Zbl 0799.68176
Marek, Wiktor; Truszczynski, Miroslaw
79
1991
Disjunctive defaults. Zbl 0766.68127
Gelfond, Michael; Przymusińska, Halina; Lifschitz, Vladimir; Truszczyński, Miroslaw
20
1991
Decompositions of regular bipartite graphs. Zbl 0754.05057
Jacobson, Michael S.; Truszcyński, Mirosław; Tuza, Zsolt
10
1991
Modal interpretations of default logic. Zbl 0747.68088
Truszczynski, Miroslaw
10
1991
Asymptotic results on saturated graphs. Zbl 0737.05058
Truszczynski, Miroslaw; Tuza, Zsolt
5
1991
Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. Zbl 0726.03022
Truszczynski, Mirosław
4
1991
Modal nonmonotonic logics: Ranges, characterization, computation. Zbl 0765.03014
Marek, Wiktor; Shvarts, Grigori F.; Truszczyński, Mirosław
2
1991
Decompositions of graphs into forests with bounded maximum degree. Zbl 0757.05068
Truszczyński, Mirosław
1
1991
Modal logic for default reasoning. Zbl 0871.03009
Marek, W.; Truszczyński, M.
11
1990
Relating autoepistemic and default logics. Zbl 0706.03024
Marek, Wiktor; Truszczyński, Mirosław
17
1989
Sunlike primal graphs. Zbl 0792.05108
Chinn, P. Z.; Richter, R. B.; Truszczyński, M.
2
1989
Negation as failure to prove and fixed points. Zbl 0673.03017
Marek, W.; Truszczynski, M.
1
1989
Primal graphs with maximum degree at most 3. Zbl 0717.05039
Chinn, P. Z.; Richter, R. B.; Truszczynski, M.
1
1988
The tree number of a graph with a given girth. Zbl 0626.05014
Truszczyński, M.
1
1988
Linear upper bounds for local Ramsey numbers. Zbl 0612.05045
Truszczynski, Miroslaw; Tuza, Zsolt
13
1987
Decompositions of graphs into forests of equal size and with bounded maximum degrees. Zbl 0622.05015
Truszczyński, Miroslaw
2
1986
...and 13 more Documents
all top 5

Cited by 613 Authors

35 Truszczyński, Mirosław
22 Eiter, Thomas
21 Lonc, Zbigniew
18 Marek, V. Wiktor
18 Woltran, Stefan
13 Denecker, Marc
12 Schaub, Torsten H.
11 Cabalar, Pedro
11 Leone, Nicola
11 Lifschitz, Vladimir
11 You, Jia-Huai
10 Fandinno, Jorge
10 Remmel, Jeffrey B.
9 Janhunen, Tomi
9 Maratea, Marco
9 Tuza, Zsolt
8 Alviano, Mario
8 Bogaerts, Bart
8 Lierler, Yuliya
8 Lin, Fangzhen
8 Shen, Yidong
7 Faber, Wolfgang
7 Gebser, Martin
7 Niemelä, Ilkka N. F.
6 Dȩbski, Michał
6 Fichte, Johannes Klaus
6 Fink, Michael
6 Gottlob, Georg
6 Greco, Sergio
6 Leite, João
6 Pührer, Jörg
6 Son, Tran Cao
5 Bielak, Halina
5 Dodaro, Carmine
5 Erdem, Esra
5 Gelfond, Michael
5 Ianni, Giovambattista
5 Krennwallner, Thomas
5 Pontelli, Enrico
5 Saccà, Domenico
5 Sakama, Chiaki
5 Strass, Hannes
5 Subrahmanian, V. S.
5 Tompits, Hans
5 Vennekens, Joost
5 Wang, Kewen
5 Zhou, Yi
4 Antoniou, Grigoris
4 Bochman, Alexander
4 Botler, Fábio
4 Caro, Yair
4 Caroprese, Luciano
4 Garcia, Laurent
4 Harrison, Amelia
4 Kaminsky, Michael
4 Lefèvre, Claire
4 Meier, Arne
4 Ricca, Francesco
4 Rzążewski, Paweł
4 Stéphan, Igor
4 Straccia, Umberto
4 Wallner, Johannes Peter
4 Yuan, Li Yan
4 Zhang, Yan
3 Amendola, Giovanni
3 Baral, Chitta R.
3 Brewka, Gerhard
3 Calimeri, Francesco
3 Cruz-Filipe, Luís
3 Dasseville, Ingmar
3 De Cock, Martine
3 Dvořák, Wolfgang
3 Ésik, Zoltán
3 Fariñas del Cerro, Luis
3 Giunchiglia, Enrico
3 Gonçalves, Ricardo
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 Morak, Michael
3 Mota, Guilherme Oliveira
3 Muthusamy, Appu
3 Nerode, Anil
3 Palopoli, Luigi
3 Przymusinski, Teodor C.
3 Redl, Christoph
3 Schockaert, Steven
3 Schwind, Camilla B.
3 Shyu, Tay-Woei
3 Slota, Martin
3 Szeider, Stefan
3 Vermeir, Dirk
3 Vidal, Concepción
3 Vollmer, Heribert
...and 513 more Authors
all top 5

Cited in 71 Serials

94 Artificial Intelligence
73 Theory and Practice of Logic Programming
48 Annals of Mathematics and Artificial Intelligence
32 Discrete Mathematics
20 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
5 Journal of Combinatorial Theory. Series B
5 European Journal of Combinatorics
5 International Journal of Approximate Reasoning
5 Constraints
5 Journal of Applied Logic
4 Information Processing Letters
4 Information Sciences
4 Annals of Pure and Applied Logic
4 Information and Computation
4 ACM Transactions on Computational Logic
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 AKCE International Journal of Graphs and Combinatorics
2 Archiv der Mathematik
2 Czechoslovak Mathematical Journal
2 Journal of Computer and System Sciences
2 Studia Logica
2 Synthese
2 Journal of Computer Science and Technology
2 Machine Learning
2 Archive for Mathematical Logic
2 Journal of Logic, Language and Information
2 Discussiones Mathematicae. Graph Theory
2 Journal of Heuristics
2 Journal of Combinatorial Optimization
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 SIAM Journal on Computing
1 Cybernetics
1 Operations Research Letters
1 Journal of Complexity
1 Algorithmica
1 SIAM Journal on Discrete Mathematics
1 Annals of Operations Research
1 International Journal of Foundations of Computer Science
1 Artificial Intelligence Review
1 Indagationes Mathematicae. New Series
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 Open Systems & Information Dynamics
1 Acta Mathematica Sinica. English Series
1 CEJOR. Central European Journal of Operations Research
1 Fundamenta Informaticae
1 Science in China. Series F
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

Citations by Year