Miroslaw Truszczynski

ORCID

Publication Activity (10 Years)

Years Active: 1980-2024
Publications (10 Years): 29

Top Venues

CoRR

Theory Pract. Log. Program.

ADT

IJCAI

Publications

James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282). Dagstuhl Manifestos 10 (1) (2024)
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II. Theory Pract. Log. Program. 23 (1) (2023)
James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning. CoRR (2023)
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP. Theory Pract. Log. Program. 22 (6) (2022)
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282). Dagstuhl Reports 12 (7) (2022)
Michael Huelsman, Miroslaw Truszczynski
Relating Preference Languages By Their Expressive Power. FLAIRS (2022)
Michael Huelsman, Miroslaw Truszczynski
The Role of Model Selection in Preference Learning. FLAIRS Conference (2021)
Xudong Liu, Miroslaw Truszczynski
Probabilistic Lexicographic Preference Trees. ADT (2021)
Michael Huelsman, Miroslaw Truszczynski
A Lexicographic Strategy for Approximating Dominance in CP-Nets. FLAIRS Conference (2020)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
New models for generating hard random boolean formulas and disjunctive logic programs. Artif. Intell. 279 (2020)
Miroslaw Truszczynski, Zbigniew Lonc
Maximin Share Allocations on Cycles. J. Artif. Intell. Res. 69 (2020)
Michael Dingess, Miroslaw Truszczynski
Automated Aggregator - Rewriting with the Counting Aggregate. ICLP Technical Communications (2020)
Jan Maly, Miroslaw Truszczynski, Stefan Woltran
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? J. Artif. Intell. Res. 66 (2019)
Xudong Liu, Miroslaw Truszczynski
Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains. Ann. Math. Artif. Intell. 87 (1-2) (2019)
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
A logical framework for view updating in indefinite databases. Log. J. IGPL 27 (6) (2019)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
The informal semantics of Answer Set Programming: A Tarskian perspective. CoRR (2019)
Liu Liu, Miroslaw Truszczynski
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP. ICLP Technical Communications (2019)
Zbigniew Lonc, Miroslaw Truszczynski
Maximin share allocations on cycles. CoRR (2019)
Xudong Liu, Miroslaw Truszczynski
New Complexity Results on Aggregating Lexicographic Preference Trees Using Positional Scoring Rules. ADT (2019)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
Beyond NP: Quantifying over Answer Sets. Theory Pract. Log. Program. 19 (5-6) (2019)
Xudong Liu, Miroslaw Truszczynski
Preference Learning and Optimization for Partial Lexicographic Preference Forests over Combinatorial Domains. FoIKS (2018)
Zbigniew Lonc, Miroslaw Truszczynski
Maximin Share Allocations on Cycles. IJCAI (2018)
Jan Maly, Miroslaw Truszczynski, Stefan Woltran
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? IJCAI (2018)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. CoRR (2018)
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. IJCAI (2017)
Yuliya Lierler, Miroslaw Truszczynski
On abstract modular inference systems and solvers. Artif. Intell. 236 (2016)
Zbigniew Lonc, Miroslaw Truszczynski
Packing analogue of k-radius sequences. Eur. J. Comb. 57 (2016)
Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski
First Order Logic with Inductive Definitions for Model-Based Problem Solving. AI Mag. 37 (3) (2016)
Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski
Answer Set Programming: An Introduction to the Special Issue. AI Mag. 37 (3) (2016)
Ying Zhu, Miroslaw Truszczynski
Manipulation and Bribery When Aggregating Ranked Preferences. ADT (2015)
Yuliya Lierler, Miroslaw Truszczynski
An Abstract View on Modularity in Knowledge Representation. AAAI (2015)
Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran
Dual-normal logic programs - the forgotten class. Theory Pract. Log. Program. 15 (4-5) (2015)
Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran
Dual-normal Logic Programs - the Forgotten Class. CoRR (2015)
Xudong Liu, Miroslaw Truszczynski
Reasoning with Preference Trees over Combinatorial Domains. ADT (2015)
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Xudong Liu, Miroslaw Truszczynski
Learning Partial Lexicographic Preference Trees over Combinatorial Domains. AAAI (2015)
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
On equivalence of infinitary formulas under the stable model semantics. Theory Pract. Log. Program. 15 (1) (2015)
Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski
Towards More Efficient Requirements Formalization: A Study. REFSQ (2015)
Xudong Liu, Miroslaw Truszczynski
Preference Trees: A Language for Representing and Reasoning about Qualitative Preferences. MPREF@AAAI (2014)
Yuliya Lierler, Miroslaw Truszczynski
Abstract Modular Inference Systems and Solvers. PADL (2014)
Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski
Answer-Set Programming in Requirements Engineering. REFSQ (2014)
Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson
The Computational Complexity of Dominance and Consistency in CP-Nets. CoRR (2014)
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
On Equivalence of Infinitary Formulas under the Stable Model Semantics. CoRR (2014)
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
A Measure of Arbitrariness in Abductive Explanations. Theory Pract. Log. Program. 14 (4-5) (2014)
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
A Measure of Arbitrariness in Abductive Explanations. CoRR (2014)
Ying Zhu, Miroslaw Truszczynski
Manipulation and Bribery in Preference Reasoning under Pareto Principle. MPREF@AAAI (2014)
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
Strong Equivalence of Qualitative Optimization Problems. J. Artif. Intell. Res. 47 (2013)
Xudong Liu, Miroslaw Truszczynski
Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers. ADT (2013)
Artur Mikitiuk, Miroslaw Truszczynski
Implementing Informal Semantics of ASP. LPNMR (2013)
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. LPNMR (2013)
Yuliya Lierler, Miroslaw Truszczynski
Abstract Modular Systems and Solvers. CoRR (2013)
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence. AAAI (2013)
Ying Zhu, Miroslaw Truszczynski
On Optimal Solutions of Answer Set Optimization Problems. LPNMR (2013)
Yuliya Lierler, Miroslaw Truszczynski
Modular Answer Set Solving. AAAI (Late-Breaking Developments) (2013)
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
The View-Update Problem for Indefinite Databases. SEBD (2013)
Jerzy W. Jaromczyk, Zbigniew Lonc, Miroslaw Truszczynski
Constructions of asymptotically shortest k-radius sequences. J. Comb. Theory, Ser. A 119 (3) (2012)
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
The View-Update Problem for Indefinite Databases CoRR (2012)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
A Tarskian Informal Semantics for Answer Set Programming. ICLP (Technical Communications) (2012)
Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results). NASA Formal Methods (2012)
Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. PADL (2012)
Miroslaw Truszczynski
Connecting First-Order ASP and the Logic FO(ID) through Reducts. Correct Reasoning (2012)
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
Strong Equivalence of Qualitative Optimization Problems. KR (2012)
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
The View-Update Problem for Indefinite Databases. JELIA (2012)
Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
Origins of Answer-Set Programming - Some Background And Two Personal Accounts CoRR (2011)
Zbigniew Lonc, Miroslaw Truszczynski
On graph equivalences preserved under extensions. Discret. Math. 311 (12) (2011)
Miroslaw Truszczynski
Revisiting Epistemic Specifications. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too CoRR (2011)
Miroslaw Truszczynski
Revisiting Epistemic Specifications CoRR (2011)
Miroslaw Truszczynski
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. Theory Pract. Log. Program. 11 (6) (2011)
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
Strong Equivalence of Qualitative Optimization Problems CoRR (2011)
Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski
Answer set programming at a glance. Commun. ACM 54 (12) (2011)
Luciano Caroprese, Miroslaw Truszczynski
Active integrity constraints and revision programming. Theory Pract. Log. Program. 11 (6) (2011)
Yuliya Lierler, Miroslaw Truszczynski
Transition Systems for Model Generators - A Unifying Approach CoRR (2011)
Yuliya Lierler, Miroslaw Truszczynski
Transition systems for model generators - A unifying approach. Theory Pract. Log. Program. 11 (4-5) (2011)
Lengning Liu, Miroslaw Truszczynski
Properties and Applications of Programs with Monotone and Convex Constraints CoRR (2011)
Luciano Caroprese, Miroslaw Truszczynski
Active Integrity Constraints and Revision Programming CoRR (2010)
Miroslaw Truszczynski
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. Artif. Intell. 174 (16-17) (2010)
Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran
Representing Preferences Among Sets. AAAI (2010)
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
Logic programs with abstract constraint atoms: The role of computations. Artif. Intell. 174 (3-4) (2010)
Miroslaw Truszczynski
Trichotomy and Dichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs CoRR (2010)
Gayathri Namasivayam, Miroslaw Truszczynski
Simple but Hard Mixed Horn Formulas. SAT (2010)
Miroslaw Truszczynski, Stefan Woltran
Relativized hyperequivalence of logic programs for modular programming. Theory Pract. Log. Program. 9 (6) (2009)
Miroslaw Truszczynski
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. ICLP (2009)
Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski
The Second Answer Set Programming Competition. LPNMR (2009)
Miroslaw Truszczynski, Stefan Woltran
Relativized hyperequivalence of logic programs for modular programming CoRR (2009)
Gayathri Namasivayam, Miroslaw Truszczynski
Simple Random Logic Programs. LPNMR (2009)
Miroslaw Truszczynski
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs. LPNMR (2009)
Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski
Preferences and Nonmonotonic Reasoning. AI Mag. 29 (4) (2008)
Luciano Caroprese, Miroslaw Truszczynski
Declarative Semantics for Active Integrity Constraints. ICLP (2008)
Luciano Caroprese, Miroslaw Truszczynski
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. JELIA (2008)
Victor W. Marek, Miroslaw Truszczynski
Approximation Schemes in Logic and Artificial Intelligence. Trans. Rough Sets 9 (2008)
Miroslaw Truszczynski, Stefan Woltran
Relativized Hyperequivalence of Logic Programs for Modular Programming. ICLP (2008)
Zbigniew Lonc, Miroslaw Truszczynski
On the number of minimal transversals in 3-uniform hypergraphs. Discret. Math. 308 (16) (2008)
Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson
The Computational Complexity of Dominance and Consistency in CP-Nets. J. Artif. Intell. Res. 33 (2008)
Michael Kaminski, Miroslaw Truszczynski
Preface. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Miroslaw Truszczynski, Stefan Woltran
Hyperequivalence of Programs and Operators. ISAIM (2008)
Miroslaw Truszczynski, Stefan Woltran
Hyperequivalence of logic programs with respect to supported models. Ann. Math. Artif. Intell. 53 (1-4) (2008)
Miroslaw Truszczynski, Stefan Woltran
Hyperequivalence of Logic Programs with Respect to Supported Models. AAAI (2008)
Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
Logic programs with monotone abstract constraint atoms. Theory Pract. Log. Program. 8 (2) (2008)
Miroslaw Truszczynski
My six encounters with Victor Marek - a personal account. Ann. Math. Artif. Intell. 53 (1-4) (2008)

Miroslaw Truszczynski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Miroslaw Truszczynski