Miroslaw Truszczynski: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

On the problem of computing the well-founded semantics

LONC, ZBIGNIEW, TRUSZCZYNSKI, MIROSLAW

Journal:

Theory and Practice of Logic Programming

Year:

2001

Language:

english

File:

PDF, 276 KB

english, 2001

52

Relativized hyperequivalence of logic programs for modular programming

TRUSZCZYŃSKI, MIROSŁAW, WOLTRAN, STEFAN

Journal:

Theory and Practice of Logic Programming

Year:

2009

Language:

english

File:

PDF, 319 KB

english, 2009

53

Transition systems for model generators—A unifying approach

LIERLER, YULIYA, TRUSZCZYNSKI, MIROSLAW

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 157 KB

english, 2011

54

Computing large and small stable models

TRUSZCZYNSKI, MIROSLAW

Journal:

Theory and Practice of Logic Programming

Year:

2002

Language:

english

File:

PDF, 294 KB

english, 2002

55

Computing minimal models, stable models and answer sets

LONC, ZBIGNIEW, TRUSZCZYNSKI, MIROSLAW

Journal:

Theory and Practice of Logic Programming

Year:

2006

Language:

english

File:

PDF, 444 KB

english, 2006

56

Logic programs with monotone abstract constraint atoms

MAREK, VICTOR W., NIEMELÄ, ILKKA, TRUSZCZYŃSKI, MIROSŁAW

Journal:

Theory and Practice of Logic Programming

Year:

2008

Language:

english

File:

PDF, 237 KB

english, 2008

57

Dual-normal logic programs – the forgotten class

FICHTE, JOHANNES K., TRUSZCZYŃSKI, MIROSŁAW, WOLTRAN, STEFAN

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 143 KB

english, 2015

58

On equivalence of infinitary formulas under the stable model semantics

HARRISON, AMELIA, LIFSCHITZ, VLADIMIR, TRUSZCZYNSKI, MIROSLAW

Journal:

Theory and Practice of Logic Programming

Year:

2015

Language:

english

File:

PDF, 137 KB

english, 2015

59

Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs

TRUSZCZYŃSKI, MIROSŁAW

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 186 KB

english, 2011

60

Active integrity constraints and revision programming

CAROPRESE, LUCIANO, TRUSZCZYŃSKI, MIROSŁAW

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 395 KB

english, 2011

61

A Measure of Arbitrariness in Abductive Explanations

CAROPRESE, LUCIANO, TRUBITSYNA, IRINA, Truszczyński, Mirosław, Zumpano, Ester

Journal:

Theory and Practice of Logic Programming

Year:

2014

Language:

english

File:

PDF, 121 KB

english, 2014

62

Packing analogue of k-radius sequences

Lonc, Zbigniew, Truszczyński, Mirosław

Journal:

European Journal of Combinatorics

Year:

2016

Language:

english

File:

PDF, 418 KB

english, 2016

63

A GRAPH WITH MEAN DISTANCE BEING A GIVEN RATIONAL

Truszczyński, Miroslaw

Journal:

Demonstratio Mathematica

Year:

1985

Language:

english

File:

PDF, 152 KB

english, 1985

64

Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains

Liu, Xudong, Truszczynski, Miroslaw

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2019

Language:

english

File:

PDF, 774 KB

english, 2019

65

Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains

Liu, Xudong, Truszczynski, Miroslaw

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2019

File:

PDF, 774 KB

2019

66

Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University Press, 2003. ISBN 0-521-81802-8 (hardback), xiv + 530 pages.

Truszczynski, Miroslaw

Journal:

Theory and Practice of Logic Programming

Year:

2004

Language:

english

File:

PDF, 76 KB

english, 2004

67

ON n-HAMILTONIAN GRAPHS OF MINIMAL SIZE

Traczyk, Tomasz, Truszczyński, Mirosław

Journal:

Demonstratio Mathematica

Year:

1981

Language:

english

File:

PDF, 413 KB

english, 1981

68

Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University Press, 2003. ISBN 0-521-81802-8 (hardback), xiv + 530 pages.

Truszczynski, Miroslaw

Journal:

Theory and Practice of Logic Programming

Year:

2004

File:

PDF, 76 KB

2004

69

Computing stable models: worst-case performance estimates

LONC, ZBIGNIEW, TRUSZCZYNSKI, MIROSLAW

Journal:

Theory and Practice of Logic Programming

Year:

2004

Language:

english

File:

PDF, 390 KB

english, 2004

70

Preferences and Nonmonotonic Reasoning

Brewka, Gerhard, Niemela, Ilkka, Truszczynski, Miroslaw

Journal:

Year:

2008

Language:

english

File:

PDF, 417 KB

english, 2008

71

Computing stable models: worst-case performance estimates

LONC, ZBIGNIEW, TRUSZCZYNSKI, MIROSLAW

Journal:

Theory and Practice of Logic Programming

Year:

2004

File:

PDF, 390 KB

2004

72

Preferences and Nonmonotonic Reasoning

Brewka, Gerhard, Niemela, Ilkka, Truszczynski, Miroslaw

Journal:

Year:

2008

File:

PDF, 417 KB

2008

73

First Order Logic with Inductive Definitions for Model-Based Problem Solving

Bruynooghe, Maurice, Denecker, Marc, Truszczynski, Miroslaw

Journal:

Year:

2016

File:

PDF, 657 KB

2016