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