Miroslaw Truszczynski

263 papers A* 27A 5B 47C 3Misc 9Journal 123Unranked 42
YearRankTypeTitle / Venue / Authors
2026 B ed.
Proceedings 41st International Conference on Logic Programming, ICLP 2025, Rende, Italy, 12-19th September 2025.
ICLP
Martin Gebser, Daniela Inclezan, Francesco Ricca, Manuel Carro, Miroslaw Truszczynski
2024 J jnl
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Perspectives Workshop 22282).
Dagstuhl Manifestos
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Frank Wolter
2023 J jnl
Current and Future Challenges in Knowledge Representation and Reasoning.
CoRR
James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter
2023 J jnl
The Collection of Papers Celebrating the 20th Anniversary of TPLP, Part II.
Theory Pract. Log. Program.
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
2022 J jnl
Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282).
Dagstuhl Reports
James P. Delgrande, Birte Glimm, Thomas Meyer, Miroslaw Truszczynski, Milene Santos Teixeira, Frank Wolter
2022 J jnl
Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP.
Theory Pract. Log. Program.
Thomas Eiter, Michael J. Maher, Enrico Pontelli, Luc De Raedt, Miroslaw Truszczynski
2022 Misc conf
Relating Preference Languages By Their Expressive Power.
FLAIRS
Michael Huelsman, Miroslaw Truszczynski
2021 — conf
Probabilistic Lexicographic Preference Trees.
ADT
Xudong Liu, Miroslaw Truszczynski
2021 Misc conf
The Role of Model Selection in Preference Learning.
FLAIRS
Michael Huelsman, Miroslaw Truszczynski
2020 Misc conf
A Lexicographic Strategy for Approximating Dominance in CP-Nets.
FLAIRS
Michael Huelsman, Miroslaw Truszczynski
2020 — conf
Automated Aggregator - Rewriting with the Counting Aggregate.
ICLP Technical Communications
Michael Dingess, Miroslaw Truszczynski
2020 J jnl
Maximin Share Allocations on Cycles.
J. Artif. Intell. Res.
Miroslaw Truszczynski, Zbigniew Lonc
2020 J jnl
New models for generating hard random boolean formulas and disjunctive logic programs.
Artif. Intell.
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
2019 J jnl
A logical framework for view updating in indefinite databases.
Log. J. IGPL
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2019 J jnl
Beyond NP: Quantifying over Answer Sets.
Theory Pract. Log. Program.
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
2019 — conf
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP.
ICLP Technical Communications
Liu Liu, Miroslaw Truszczynski
2019 J jnl
Maximin share allocations on cycles.
CoRR
Zbigniew Lonc, Miroslaw Truszczynski
2019 — conf
New Complexity Results on Aggregating Lexicographic Preference Trees Using Positional Scoring Rules.
ADT
Xudong Liu, Miroslaw Truszczynski
2019 J jnl
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?
J. Artif. Intell. Res.
Jan Maly, Miroslaw Truszczynski, Stefan Woltran
2019 J jnl
The informal semantics of Answer Set Programming: A Tarskian perspective.
CoRR
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
2019 J jnl
Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains.
Ann. Math. Artif. Intell.
Xudong Liu, Miroslaw Truszczynski
2018 — ch.
An introduction to the stable and well-founded semantics of logic programs.
Declarative Logic Programming
Miroslaw Truszczynski
2018 A* conf
Maximin Share Allocations on Cycles.
IJCAI
Zbigniew Lonc, Miroslaw Truszczynski
2018 J jnl
New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.
CoRR
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
2018 — conf
Preference Learning and Optimization for Partial Lexicographic Preference Forests over Combinatorial Domains.
FoIKS
Xudong Liu, Miroslaw Truszczynski
2018 A* conf
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?
IJCAI
Jan Maly, Miroslaw Truszczynski, Stefan Woltran
2017 A* conf
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.
IJCAI
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
2016 J jnl
Answer Set Programming: An Introduction to the Special Issue.
AI Mag.
Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski
2016 J jnl
First Order Logic with Inductive Definitions for Model-Based Problem Solving.
AI Mag.
Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski
2016 J jnl
On abstract modular inference systems and solvers.
Artif. Intell.
Yuliya Lierler, Miroslaw Truszczynski
2016 J jnl
Packing analogue of k-radius sequences.
Eur. J. Comb.
Zbigniew Lonc, Miroslaw Truszczynski
2015 — conf
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
2015 — ed.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
2015 A* conf
An Abstract View on Modularity in Knowledge Representation.
AAAI
Yuliya Lierler, Miroslaw Truszczynski
2015 J jnl
Dual-normal Logic Programs - the Forgotten Class.
CoRR
Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran
2015 J jnl
Dual-normal logic programs - the forgotten class.
Theory Pract. Log. Program.
Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran
2015 A* conf
Learning Partial Lexicographic Preference Trees over Combinatorial Domains.
AAAI
Xudong Liu, Miroslaw Truszczynski
2015 B ed.
Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings
LPNMR
Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski
2015 — conf
Manipulation and Bribery When Aggregating Ranked Preferences.
ADT
Ying Zhu, Miroslaw Truszczynski
2015 J jnl
On equivalence of infinitary formulas under the stable model semantics.
Theory Pract. Log. Program.
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
2015 — conf
Reasoning with Preference Trees over Combinatorial Domains.
ADT
Xudong Liu, Miroslaw Truszczynski
2015 B conf
Towards More Efficient Requirements Formalization: A Study.
REFSQ
Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski
2014 J jnl
A Measure of Arbitrariness in Abductive Explanations.
CoRR
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2014 J jnl
A Measure of Arbitrariness in Abductive Explanations.
Theory Pract. Log. Program.
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2014 C conf
Abstract Modular Inference Systems and Solvers.
PADL
Yuliya Lierler, Miroslaw Truszczynski
2014 B conf
Answer-Set Programming in Requirements Engineering.
REFSQ
Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski
2014 — conf
Manipulation and Bribery in Preference Reasoning under Pareto Principle.
MPREF@AAAI
Ying Zhu, Miroslaw Truszczynski
2014 J jnl
On Equivalence of Infinitary Formulas under the Stable Model Semantics.
CoRR
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
2014 — conf
Preference Trees: A Language for Representing and Reasoning about Qualitative Preferences.
MPREF@AAAI
Xudong Liu, Miroslaw Truszczynski
2014 J jnl
The Computational Complexity of Dominance and Consistency in CP-Nets.
CoRR
Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson
2013 J jnl
Abstract Modular Systems and Solvers.
CoRR
Yuliya Lierler, Miroslaw Truszczynski
2013 A* conf
Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence.
AAAI
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2013 — conf
Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers.
ADT
Xudong Liu, Miroslaw Truszczynski
2013 B conf
Implementing Informal Semantics of ASP.
LPNMR
Artur Mikitiuk, Miroslaw Truszczynski
2013 — conf
Modular Answer Set Solving.
AAAI (Late-Breaking Developments)
Yuliya Lierler, Miroslaw Truszczynski
2013 B conf
On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics.
LPNMR
Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski
2013 B conf
On Optimal Solutions of Answer Set Optimization Problems.
LPNMR
Ying Zhu, Miroslaw Truszczynski
2013 J jnl
Strong Equivalence of Qualitative Optimization Problems.
J. Artif. Intell. Res.
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2013 — conf
The View-Update Problem for Indefinite Databases.
SEBD
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2012 — conf
A Tarskian Informal Semantics for Answer Set Programming.
ICLP (Technical Communications)
Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens
2012 — conf
Connecting First-Order ASP and the Logic FO(ID) through Reducts.
Correct Reasoning
Miroslaw Truszczynski
2012 J jnl
Constructions of asymptotically shortest k-radius sequences.
J. Comb. Theory A
Jerzy W. Jaromczyk, Zbigniew Lonc, Miroslaw Truszczynski
2012 A* conf
Strong Equivalence of Qualitative Optimization Problems.
KR
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2012 — conf
Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results).
NASA Formal Methods
Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski
2012 J jnl
The View-Update Problem for Indefinite Databases
CoRR
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2012 B conf
The View-Update Problem for Indefinite Databases.
JELIA
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2012 C conf
Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving.
PADL
Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund
2011 J jnl
Active integrity constraints and revision programming.
Theory Pract. Log. Program.
Luciano Caroprese, Miroslaw Truszczynski
2011 J jnl
Answer set programming at a glance.
Commun. ACM
Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski
2011 J jnl
On graph equivalences preserved under extensions.
Discret. Math.
Zbigniew Lonc, Miroslaw Truszczynski
2011 J jnl
Origins of Answer-Set Programming - Some Background And Two Personal Accounts
CoRR
Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
2011 J jnl
Properties and Applications of Programs with Monotone and Convex Constraints
CoRR
Lengning Liu, Miroslaw Truszczynski
2011 J jnl
Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too
CoRR
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2011 J jnl
Revisiting Epistemic Specifications
CoRR
Miroslaw Truszczynski
2011 — conf
Revisiting Epistemic Specifications.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Miroslaw Truszczynski
2011 J jnl
Strong Equivalence of Qualitative Optimization Problems
CoRR
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2011 J jnl
Transition Systems for Model Generators - A Unifying Approach
CoRR
Yuliya Lierler, Miroslaw Truszczynski
2011 J jnl
Transition systems for model generators - A unifying approach.
Theory Pract. Log. Program.
Yuliya Lierler, Miroslaw Truszczynski
2011 J jnl
Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs.
Theory Pract. Log. Program.
Miroslaw Truszczynski
2010 J jnl
Active Integrity Constraints and Revision Programming
CoRR
Luciano Caroprese, Miroslaw Truszczynski
2010 J jnl
Logic programs with abstract constraint atoms: The role of computations.
Artif. Intell.
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
2010 A* ed.
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010
KR
Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski
2010 J jnl
Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs.
Artif. Intell.
Miroslaw Truszczynski
2010 A* conf
Representing Preferences Among Sets.
AAAI
Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran
2010 A conf
Simple but Hard Mixed Horn Formulas.
SAT
Gayathri Namasivayam, Miroslaw Truszczynski
2010 J jnl
Trichotomy and Dichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs
CoRR
Miroslaw Truszczynski
2009 B conf
Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs.
ICLP
Miroslaw Truszczynski
2009 J jnl
Relativized hyperequivalence of logic programs for modular programming
CoRR
Miroslaw Truszczynski, Stefan Woltran
2009 J jnl
Relativized hyperequivalence of logic programs for modular programming.
Theory Pract. Log. Program.
Miroslaw Truszczynski, Stefan Woltran
2009 B conf
Simple Random Logic Programs.
LPNMR
Gayathri Namasivayam, Miroslaw Truszczynski
2009 B conf
The Second Answer Set Programming Competition.
LPNMR
Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski
2009 B conf
Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs.
LPNMR
Miroslaw Truszczynski
2008 J jnl
Approximation Schemes in Logic and Artificial Intelligence.
Trans. Rough Sets
Victor W. Marek, Miroslaw Truszczynski
2008 B conf
Declarative Semantics for Active Integrity Constraints.
ICLP
Luciano Caroprese, Miroslaw Truszczynski
2008 B conf
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints.
JELIA
Luciano Caroprese, Miroslaw Truszczynski
2008 A* conf
Hyperequivalence of Logic Programs with Respect to Supported Models.
AAAI
Miroslaw Truszczynski, Stefan Woltran
2008 Misc conf
Hyperequivalence of Programs and Operators.
ISAIM
Miroslaw Truszczynski, Stefan Woltran
2008 J jnl
Hyperequivalence of logic programs with respect to supported models.
Ann. Math. Artif. Intell.
Miroslaw Truszczynski, Stefan Woltran
2008 J jnl
Logic programs with monotone abstract constraint atoms.
Theory Pract. Log. Program.
Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
2008 J jnl
My six encounters with Victor Marek - a personal account.
Ann. Math. Artif. Intell.
Miroslaw Truszczynski
2008 — ch.
Nonmonotonic Reasoning.
Handbook of Knowledge Representation
Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski
2008 J jnl
On the number of minimal transversals in 3-uniform hypergraphs.
Discret. Math.
Zbigniew Lonc, Miroslaw Truszczynski
2008 J jnl
Preface.
Ann. Math. Artif. Intell.
Michael Kaminski, Miroslaw Truszczynski
2008 J jnl
Preferences and Nonmonotonic Reasoning.
AI Mag.
Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski
2008 B conf
Relativized Hyperequivalence of Logic Programs for Modular Programming.
ICLP
Miroslaw Truszczynski, Stefan Woltran
2008 J jnl
The Computational Complexity of Dominance and Consistency in CP-Nets.
J. Artif. Intell. Res.
Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson
2007 B conf
An
LPNMR
Gayathri Namasivayam, Miroslaw Truszczynski
2007 B conf
Logic Programming for Knowledge Representation.
ICLP
Miroslaw Truszczynski
2007 B conf
Logic Programs with Abstract Constraint Atoms: The Role of Computations.
ICLP
Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
2007 — conf
Rough Sets and Approximation Schemes.
RSEISP
Victor W. Marek, Miroslaw Truszczynski
2007 J jnl
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.
Constraints An Int. J.
Lengning Liu, Miroslaw Truszczynski
2007 B conf
The First Answer Set Programming System Competition.
LPNMR
Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski
2007 A* conf
The Modal Logic S4F, the Default Logic, and the Logic Here-and-There.
AAAI
Miroslaw Truszczynski
2007 Misc conf
Towards Debugging of Answer-Set Programs in the Language PSpb.
IC-AI
Artur Mikitiuk, Eric Moseley, Miroslaw Truszczynski
2006 J jnl
Computing minimal models, stable models and answer sets.
Theory Pract. Log. Program.
Zbigniew Lonc, Miroslaw Truszczynski
2006 Misc conf
Generating Cellular Puzzles with Logic Programs.
IC-AI
Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel
2006 A* conf
Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints.
AAAI
Lengning Liu, Miroslaw Truszczynski
2006 B ed.
Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
ICLP
Sandro Etalle, Miroslaw Truszczynski
2006 J jnl
Logic programs with monotone abstract constraint atoms
CoRR
Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski
2006 B conf
Nonmonotonic Logics and Their Algebraic Foundations.
CSL
Miroslaw Truszczynski
2006 J jnl
Predicate-calculus-based logics for modeling and solving search problems.
ACM Trans. Comput. Log.
Deborah East, Miroslaw Truszczynski
2006 J jnl
Properties and Applications of Programs with Monotone and Convex Constraints.
J. Artif. Intell. Res.
Lengning Liu, Miroslaw Truszczynski
2006 A* conf
Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach.
KR
Miroslaw Truszczynski
2006 J jnl
Strong and uniform equivalence of nonmonotonic theories - an algebraic approach.
Ann. Math. Artif. Intell.
Miroslaw Truszczynski
2006 J jnl
Tools for modeling and solving search problems.
AI Commun.
Deborah East, Mikhail Iakhiaev, Artur Mikitiuk, Miroslaw Truszczynski
2005 — conf
05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Nonmonotonic Reasoning, Answer Set Programming and Constraints
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens
2005 — conf
05171 Executive Summary - Nonmonotonic Reasoning, Answer Set Programming and Constraints.
Nonmonotonic Reasoning, Answer Set Programming and Constraints
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski
2005 B conf
Approximating Answer Sets of Unitary Lifschitz-Woo Programs.
LPNMR
Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski
2005 J jnl
Computing minimal models, stable models and answer sets
CoRR
Zbigniew Lonc, Miroslaw Truszczynski
2005 — ed.
Nonmonotonic Reasoning, Answer Set Programming and Constraints, 24.-29. April 2005
Nonmonotonic Reasoning, Answer Set Programming and Constraints
Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski
2005 B conf
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers.
LPNMR
Lengning Liu, Miroslaw Truszczynski
2005 A* conf
Prioritized Component Systems.
AAAI
Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski
2005 A* conf
Properties of Programs with Monotone and Convex Constraints.
AAAI
Lengning Liu, Miroslaw Truszczynski
2005 A* conf
The computational complexity of dominance and consistency in CP-nets.
IJCAI
Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson
2004 Misc conf
Automatic Generation of English-language Steps in Puzzle Solving.
IC-AI
Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
2004 J jnl
Book review: Knowledge Representation, Reasoning and Declarative Problem Solving by Chitta Baral, Cambridge University press, 2003, ISBN 0-521-81802-8.
Theory Pract. Log. Program.
Miroslaw Truszczynski
2004 J jnl
Computing stable models: worst-case performance estimates.
Theory Pract. Log. Program.
Zbigniew Lonc, Miroslaw Truszczynski
2004 J jnl
Constraint Lingo: towards high-level constraint programming.
Softw. Pract. Exp.
Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
2004 A conf
Local Search with Bootstrapping.
SAT
Lengning Liu, Miroslaw Truszczynski
2004 B conf
Logic Programs With Monotone Cardinality Atoms.
LPNMR
V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski
2004 A* conf
Logic Programs with Abstract Constraint Atoms.
AAAI
Victor W. Marek, Miroslaw Truszczynski
2004 J jnl
Satisfiability and Computing van der Waerden Numbers.
Electron. J. Comb.
Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski
2004 — conf
Semantics of disjunctive programs with monotone aggregates - an operator-based approach.
NMR
Nikolay Pelov, Miroslaw Truszczynski
2004 B conf
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.
LPNMR
Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski
2004 J jnl
Ultimate approximation and its application in nonmonotonic knowledge representation systems.
Inf. Comput.
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2004 B conf
WSAT(CC) - A Fast Local-Search ASP Solver.
LPNMR
Lengning Liu, Miroslaw Truszczynski
2003 A* conf
Answer Set Optimization.
IJCAI
Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski
2003 B conf
Computing Minimal Models, Stable Models, and Answer Sets.
ICLP
Zbigniew Lonc, Miroslaw Truszczynski
2003 J jnl
Fixed-parameter complexity of semantics for logic programs.
ACM Trans. Comput. Log.
Zbigniew Lonc, Miroslaw Truszczynski
2003 A conf
Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.
CP
Lengning Liu, Miroslaw Truszczynski
2003 J jnl
Local-search techniques for propositional logic extended with cardinality constraints
CoRR
Lengning Liu, Miroslaw Truszczynski
2003 J jnl
Logic programs with monotone cardinality atoms
CoRR
V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski
2003 A conf
Satisfiability and Computing van der Waerden Numbers.
SAT
Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski
2003 J jnl
Satisfiability and computing van der Waerden numbers
CoRR
Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski
2003 J jnl
Uniform semantic treatment of default and autoepistemic logics.
Artif. Intell.
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
2003 J jnl
WSAT(cc) - a fast local-search ASP solver
CoRR
Lengning Liu, Miroslaw Truszczynski
2002 J jnl
Annotated revision programs.
Artif. Intell.
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
2002 B conf
Computing Stable Models: Worst-Case Performance Estimates.
ICLP
Zbigniew Lonc, Miroslaw Truszczynski
2002 J jnl
Computing large and small stable models.
Theory Pract. Log. Program.
Miroslaw Truszczynski
2002 J jnl
Computing stable models: worst-case performance estimates
CoRR
Zbigniew Lonc, Miroslaw Truszczynski
2002 B conf
Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.
JELIA
Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski
2002 J jnl
Propositional satisfiability in declarative programming
CoRR
Deborah East, Miroslaw Truszczynski
2002 B conf
The aspps System.
JELIA
Deborah East, Miroslaw Truszczynski
2002 A* conf
Ultimate Approximations in Nonmonotonic Knowledge Representation Systems.
KR
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
2002 J jnl
Ultimate approximations in nonmonotonic knowledge representation systems
CoRR
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
2001 J jnl
Annotated revision programs
CoRR
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
2001 — conf
Computing stable models in parallel.
Answer Set Programming
Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski
2001 J jnl
Default logic and specification of nonmonotonic reasoning.
J. Exp. Theor. Artif. Intell.
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
2001 B conf
Fixed-Parameter Complexity of Semantics for Logic Programs.
ICLP
Zbigniew Lonc, Miroslaw Truszczynski
2001 J jnl
Fixed-parameter complexity of semantics for logic programs
CoRR
Zbigniew Lonc, Miroslaw Truszczynski
2001 B ed.
Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings
LPNMR
Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski
2001 — conf
More on Wire Routing with ASP.
Answer Set Programming
Deborah East, Miroslaw Truszczynski
2001 J jnl
On the problem of computing the well-founded semantics
CoRR
Zbigniew Lonc, Miroslaw Truszczynski
2001 J jnl
On the problem of computing the well-founded semantics.
Theory Pract. Log. Program.
Zbigniew Lonc, Miroslaw Truszczynski
2001 — conf
Propositional Satisfiability in Answer-Set Programming.
KI/ÖGAI
Deborah East, Miroslaw Truszczynski
2001 J jnl
Propositional satisfiability in answer-set programming
CoRR
Deborah East, Miroslaw Truszczynski
2001 — conf
Tabular Constraint-Satisfaction Problems and Answer Set Programming.
Answer Set Programming
Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski
2001 B conf
aspps - An Implementation of Answer-Set Programming with Propositional Schemata.
LPNMR
Deborah East, Miroslaw Truszczynski
2001 J jnl
aspps - an implementation of answer-set programming with propositional schemata
CoRR
Deborah East, Miroslaw Truszczynski
2000 J jnl
Computing large and small stable models
CoRR
Miroslaw Truszczynski
2000 — conf
DATALOG with Constraints - An Answer-Set Programming System.
AAAI/IAAI
Deborah East, Miroslaw Truszczynski
2000 J jnl
DATALOG with constraints - an answer-set programming system
CoRR
Deborah East, Miroslaw Truszczynski
2000 — conf
On the Problem of Computing the Well-Founded Semantics.
Computational Logic
Zbigniew Lonc, Miroslaw Truszczynski
2000 J jnl
On the accuracy and running time of GSAT
CoRR
Deborah East, Miroslaw Truszczynski
2000 J jnl
Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000
CoRR
Chitta Baral, Miroslaw Truszczynski
2000 A* conf
Uniform semantic treatment of default and autoepistemic logic.
KR
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
2000 J jnl
Uniform semantic treatment of default and autoepistemic logics
CoRR
Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
2000 J jnl
dcs: An Implementation of DATALOG with Constraints
CoRR
Deborah East, Miroslaw Truszczynski
1999 B conf
Annotated Revision Programs.
LPNMR
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
1999 B conf
Computing Large and Small Stable Models.
ICLP
Miroslaw Truszczynski
1999 J jnl
Computing with Default Logic.
Artif. Intell.
Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk
1999 J jnl
Contributions to the Theory of Rough Sets.
Fundam. Informaticae
V. Wiktor Marek, Miroslaw Truszczynski
1999 J jnl
Extremal Problems in Logic Programming and Stable Model Computation.
J. Log. Program.
Pawel Cholewinski, Miroslaw Truszczynski
1999 J jnl
Extremal problems in logic programming and stable model computation
CoRR
Pawel Cholewinski, Miroslaw Truszczynski
1999 J jnl
Fixpoint 3-valued semantics for autoepistemic logic
CoRR
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
1999 Misc conf
On the Accuracy and Running Time of GSAT.
EPIA
Deborah East, Miroslaw Truszczynski
1999 J jnl
Representation Theory for Default Logic
CoRR
V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
1999 — ch.
Stable Models and an Alternative Logic Programming Paradigm.
The Logic Programming Paradigm
Victor W. Marek, Miroslaw Truszczynski
1999 — conf
The rectilinear Steiner tree problem: algorithms and examples using permutations of the terminal set.
ACM Southeast Regional Conference
Christine R. Leverenz, Miroslaw Truszczynski
1998 — conf
Fixpoint 3-Valued Semantics for Autoepistemic Logic.
AAAI/IAAI
Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski
1998 — ed.
Learning and Reasoning with Complex Representations, PRICAI'96 Workshops on Reasoning with Incomplete and Changing Information and on Inducing Complex Representations, Cairns, Australia, August 26-30, 1996, Selected Papers
PRICAI
Grigoris Antoniou, Aditya Ghose, Miroslaw Truszczynski
1998 B conf
Revision Programming = Logic Programming + Integrity Constraints.
CSL
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski
1998 J jnl
Revision Programming.
Theor. Comput. Sci.
V. Wiktor Marek, Miroslaw Truszczynski
1998 — conf
Rough Sets - What Are They About?
Rough Sets and Current Trends in Computing
V. Wiktor Marek, Miroslaw Truszczynski
1998 Misc conf
Simulating patients with Parallel Health State Networks.
AMIA
Walton Sumner, Miroslaw Truszczynski, Victor W. Marek
1998 J jnl
Stable models and an alternative logic programming paradigm
CoRR
Victor W. Marek, Miroslaw Truszczynski
1997 J jnl
A note on local colorings of graphs.
Discret. Math.
Andrzej Rucinski, Miroslaw Truszczynski
1997 B conf
Automated Reasoning with Non-Monotonic Logics (Abstract).
LPNMR
Miroslaw Truszczynski
1997 C conf
Intelligent Computation of Presentation Documents.
ISMIS
Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski
1997 J jnl
Representation Theory for Default Logic.
Ann. Math. Artif. Intell.
V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
1996 J jnl
Approximating the Stable Model Semantics is Hard.
Fundam. Informaticae
Georg Gottlob, Miroslaw Truszczynski
1996 A* conf
Default Reasoning System DeReS.
KR
Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski
1996 — conf
Extremal Problems in Logic Programming and Stable Model Computation.
JICSLP
Pawel Cholewinski, Miroslaw Truszczynski
1996 B conf
Infinitary Default Logic for Specification of Nonmonotonic Reasoning.
JELIA
Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski
1996 J jnl
Nonmonotonic Reasoning is Sometimes Simpler!
J. Log. Comput.
Grigori Schwarz, Miroslaw Truszczynski
1995 — conf
Algorithms for Maintaining Authorization Bases.
OOIS
William Brooks, V. Wiktor Marek, Miroslaw Truszczynski
1995 J jnl
Complexity of Computing with Extended Propositional Logic Programs.
Ann. Math. Artif. Intell.
V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski
1995 A* conf
Constrained and Rational Default Logics.
IJCAI
Artur Mikitiuk, Miroslaw Truszczynski
1995 B conf
Experimenting with Nonmonotonic Reasoning.
ICLP
Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski
1995 A conf
Revision Programming, Database Updates and Integrity Constraints.
ICDT
V. Wiktor Marek, Miroslaw Truszczynski
1995 B conf
Skeptical Rational Extensions.
LPNMR
Artur Mikitiuk, Miroslaw Truszczynski
1994 J jnl
Minimal Knowledge Problem: A New Approach.
Artif. Intell.
Grigori Schwarz, Miroslaw Truszczynski
1994 B conf
Revision Specifications by Means of Programs.
JELIA
V. Wiktor Marek, Miroslaw Truszczynski
1993 J jnl
Modal Nonmonotonic Logics: Ranges, Characterization, Computation.
J. ACM
V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski
1993 — conf
Nonmonotonic Reasoning is Sometimes Simpler.
Kurt Gödel Colloquium
Grigori Schwarz, Miroslaw Truszczynski
1993 — book
Nonmonotonic logic - context-dependent reasoning.
Victor W. Marek, Miroslaw Truszczynski
1993 B conf
Rational Default Logic and Disjunctive Logic Programming.
LPNMR
Artur Mikitiuk, Miroslaw Truszczynski
1993 B conf
Reflective Autoepistemic Logic and Logic Programming.
LPNMR
V. Wiktor Marek, Miroslaw Truszczynski
1993 A* conf
Subnormal Modal Logics for Knowledge Representation.
AAAI
Grigori Schwarz, Miroslaw Truszczynski
1992 — conf
An algorithm for embedding a class of non-even routing problems in even routing problems.
Great Lakes Symposium on VLSI
Dee Parks, Miroslaw Truszczynski
1992 — conf
Complexity of Computing with Extended Propositional Logic Programs.
Structural Complexity and Recursion-theoretic methods in Logic-Programming
V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski
1992 J jnl
Generalized local colorings of graphs.
J. Comb. Theory B
Miroslaw Truszczynski
1992 J jnl
Indexing functions and time lower bounds for sorting on a mesh-connected computer.
Discret. Appl. Math.
Yijie Han, Yoshihide Igarashi, Miroslaw Truszczynski
1992 B conf
Modal Logic S4F and The Minimal Knowledge Paradigm.
TARK
Grigori Schwarz, Miroslaw Truszczynski
1992 J jnl
More on modal aspects of default logic.
Fundam. Informaticae
V. Wiktor Marek, Miroslaw Truszczynski
1992 J jnl
Rado's selection principle: applications to binary relations, graph and hypergraph colorings and partially ordered sets.
Discret. Math.
Miroslaw Truszczynski, Zsolt Tuza
1992 J jnl
The Pure Logic of Necessitation.
J. Log. Comput.
Melvin Fitting, V. Wiktor Marek, Miroslaw Truszczynski
1991 J jnl
Asymptotic results on saturated graphs.
Discret. Math.
Miroslaw Truszczynski, Zsolt Tuza
1991 J jnl
Autoepistemic Logic.
J. ACM
V. Wiktor Marek, Miroslaw Truszczynski
1991 B conf
Computing Intersection of Autoepistemic Expansions.
LPNMR
V. Wiktor Marek, Miroslaw Truszczynski
1991 J jnl
Decompositions of graphs into forests with bounded maximum degree.
Discret. Math.
Miroslaw Truszczynski
1991 J jnl
Decompositions of regular bipartite graphs.
Discret. Math.
Michael S. Jacobson, Miroslaw Truszczynski, Zsolt Tuza
1991 A* conf
Disjective Defaults.
KR
Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski
1991 B conf
Embedding Default Logic into Modal Nonmonotonic Logics.
LPNMR
Miroslaw Truszczynski
1991 A* conf
Modal Interpretations of Default Logic.
IJCAI
Miroslaw Truszczynski
1991 A* conf
Modal Nonmonotonic Logics: Ranges, Characterization, Computation.
KR
V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski
1991 J jnl
Modal nonmonotonic logic with restricted application of the negation as failure to prove rule.
Fundam. Informaticae
Miroslaw Truszczynski
1991 — conf
Normal Form Results for Default Logic.
Nonmonotonic and Inductive Logic
V. Wiktor Marek, Miroslaw Truszczynski
1991 J jnl
Primal graphs with small degrees.
Discret. Math.
Phyllis Z. Chinn, R. Bruce Richter, Miroslaw Truszczynski
1991 — conf
Routing non-convex grids without holes.
Great Lakes Symposium on VLSI
Dee Parks, Miroslaw Truszczynski
1990 J jnl
Modal Logic for Default Reasoning.
Ann. Math. Artif. Intell.
V. Wiktor Marek, Miroslaw Truszczynski
1990 B conf
Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule.
LPNMR
Miroslaw Truszczynski
1990 — conf
Ranges of Strong Modal Nonmonotonic Logics.
Nonmonotonic and Inductive Logic
V. Wiktor Marek, Grigori Schwarz, Miroslaw Truszczynski
1989 A* conf
Relating Autoepistemic and Default Logics.
KR
V. Wiktor Marek, Miroslaw Truszczynski
1989 — conf
Stable Semantics for Logic Programs and Default Theories.
NACLP
V. Wiktor Marek, Miroslaw Truszczynski
1987 J jnl
Linear upper bounds for local Ramsey numbers.
Graphs Comb.
Miroslaw Truszczynski, Zsolt Tuza
1985 J jnl
Note on the decomposition of lambdaK
Discret. Math.
Miroslaw Truszczynski
1981 J jnl
Algorithmic aspects of the attribute set minimization problem.
Fundam. Informaticae
Miroslaw Truszczynski
1981 — conf
On Admissible Families of Sets.
FODO
Miroslaw Truszczynski
1981 — conf
Optimal F-Graphs for Balanced Families of Sets.
FODO
Cezary Iwanski, Miroslaw Truszczynski
1981 — conf
Optimal F-Graphs for the Family of all K-Subsets of an N-Set.
FODO
Zbigniew Lonc, Tomasz Traczyk, Miroslaw Truszczynski
1980 J jnl
An algorithm of finding an acyclic f-graph for a family od sets.
Fundam. Informaticae
Miroslaw Truszczynski
1980 J jnl
Once More on Storage for Consecutive Retrieval.
Inf. Process. Lett.
Miroslaw Truszczynski