| 2022 | FlAIRS | Relating Preference Languages By Their Expressive Power. | Michael Huelsman, Miroslaw Truszczynski |
| 2021 | FlAIRS | The Role of Model Selection in Preference Learning. | Michael Huelsman, Miroslaw Truszczynski |
| 2020 | FlAIRS | A Lexicographic Strategy for Approximating Dominance in CP-Nets. | Michael Huelsman, Miroslaw Truszczynski |
| 2018 | IJCAI | Maximin Share Allocations on Cycles. | Zbigniew Lonc, Miroslaw Truszczynski |
| 2018 | IJCAI | Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? | Jan Maly, Miroslaw Truszczynski, Stefan Woltran |
| 2017 | IJCAI | Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. | Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski |
| 2015 | AAAI | An Abstract View on Modularity in Knowledge Representation. | Yuliya Lierler, Miroslaw Truszczynski |
| 2015 | AAAI | Learning Partial Lexicographic Preference Trees over Combinatorial Domains. | Xudong Liu, Miroslaw Truszczynski |
| 2015 | REFSQ | Towards More Efficient Requirements Formalization: A Study. | Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski |
| 2014 | AAAI | Preference Trees: A Language for Representing and Reasoning about Qualitative Preferences. | Xudong Liu, Miroslaw Truszczynski |
| 2014 | AAAI | Manipulation and Bribery in Preference Reasoning under Pareto Principle. | Ying Zhu, Miroslaw Truszczynski |
| 2014 | PADL | Abstract Modular Inference Systems and Solvers. | Yuliya Lierler, Miroslaw Truszczynski |
| 2014 | REFSQ | Answer-Set Programming in Requirements Engineering. | Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski |
| 2013 | AAAI | Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence. | Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran |
| 2013 | AAAI | Modular Answer Set Solving. | Yuliya Lierler, Miroslaw Truszczynski |
| 2013 | LPNMR | On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. | Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski |
| 2013 | LPNMR | Implementing Informal Semantics of ASP. | Artur Mikitiuk, Miroslaw Truszczynski |
| 2013 | LPNMR | On Optimal Solutions of Answer Set Optimization Problems. | Ying Zhu, Miroslaw Truszczynski |
| 2012 | ICLP | A Tarskian Informal Semantics for Answer Set Programming. | Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens |
| 2012 | JELIA | The View-Update Problem for Indefinite Databases. | Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano |
| 2012 | KR | Strong Equivalence of Qualitative Optimization Problems. | Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran |
| 2012 | PADL | Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. | Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund |
| 2010 | AAAI | Representing Preferences Among Sets. | Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran |
| 2010 | SAT | Simple but Hard Mixed Horn Formulas. | Gayathri Namasivayam, Miroslaw Truszczynski |
| 2009 | ICLP | Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. | Miroslaw Truszczynski |
| 2009 | LPNMR | The Second Answer Set Programming Competition. | Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski |
| 2009 | LPNMR | Simple Random Logic Programs. | Gayathri Namasivayam, Miroslaw Truszczynski |
| 2009 | LPNMR | Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs. | Miroslaw Truszczynski |
| 2008 | AAAI | Hyperequivalence of Logic Programs with Respect to Supported Models. | Miroslaw Truszczynski, Stefan Woltran |
| 2008 | ICLP | Declarative Semantics for Active Integrity Constraints. | Luciano Caroprese, Miroslaw Truszczynski |
| 2008 | ICLP | Relativized Hyperequivalence of Logic Programs for Modular Programming. | Miroslaw Truszczynski, Stefan Woltran |
| 2008 | ISAIM | Hyperequivalence of Programs and Operators. | Miroslaw Truszczynski, Stefan Woltran |
| 2008 | JELIA | Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. | Luciano Caroprese, Miroslaw Truszczynski |
| 2007 | AAAI | The Modal Logic S4F, the Default Logic, and the Logic Here-and-There. | Miroslaw Truszczynski |
| 2007 | ICLP | Logic Programs with Abstract Constraint Atoms: The Role of Computations. | Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski |
| 2007 | ICLP | Logic Programming for Knowledge Representation. | Miroslaw Truszczynski |
| 2007 | LPNMR | The First Answer Set Programming System Competition. | Martin Gebser, Lengning Liu, Gayathri Namasivayam, Andr Neumann, Torsten Schaub, Miroslaw Truszczynski |
| 2007 | LPNMR | An | Gayathri Namasivayam, Miroslaw Truszczynski |
| 2006 | AAAI | Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints. | Lengning Liu, Miroslaw Truszczynski |
| 2006 | CSL | Nonmonotonic Logics and Their Algebraic Foundations. | Miroslaw Truszczynski |
| 2006 | KR | Strong and Uniform Equivalence of Nonmonotonic Theories - An Algebraic Approach. | Miroslaw Truszczynski |
| 2005 | AAAI | Prioritized Component Systems. | Gerhard Brewka, Ilkka Niemel, Miroslaw Truszczynski |
| 2005 | AAAI | Properties of Programs with Monotone and Convex Constraints. | Lengning Liu, Miroslaw Truszczynski |
| 2005 | IJCAI | The computational complexity of dominance and consistency in CP-nets. | Judy Goldsmith, Jrme Lang, Miroslaw Truszczynski, Nic Wilson |
| 2005 | LPNMR | Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers. | Lengning Liu, Miroslaw Truszczynski |
| 2005 | LPNMR | Approximating Answer Sets of Unitary Lifschitz-Woo Programs. | Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski |
| 2004 | AAAI | Logic Programs with Abstract Constraint Atoms. | Victor W. Marek, Miroslaw Truszczynski |
| 2004 | LPNMR | Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative. | Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski |
| 2004 | LPNMR | WSAT(CC) - A Fast Local-Search ASP Solver. | Lengning Liu, Miroslaw Truszczynski |
| 2004 | LPNMR | Logic Programs With Monotone Cardinality Atoms. | V. Wiktor Marek, Ilkka Niemel, Miroslaw Truszczynski |
| 2004 | SAT | Local Search with Bootstrapping. | Lengning Liu, Miroslaw Truszczynski |
| 2003 | CP | Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints. | Lengning Liu, Miroslaw Truszczynski |
| 2003 | ICLP | Computing Minimal Models, Stable Models, and Answer Sets. | Zbigniew Lonc, Miroslaw Truszczynski |
| 2003 | IJCAI | Answer Set Optimization. | Gerhard Brewka, Ilkka Niemel, Miroslaw Truszczynski |
| 2003 | SAT | Satisfiability and Computing van der Waerden Numbers. | Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski |
| 2002 | ICLP | Computing Stable Models: Worst-Case Performance Estimates. | Zbigniew Lonc, Miroslaw Truszczynski |
| 2002 | JELIA | The aspps System. | Deborah East, Miroslaw Truszczynski |
| 2002 | JELIA | Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. | Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski |
| 2002 | KR | Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 2001 | ICLP | Fixed-Parameter Complexity of Semantics for Logic Programs. | Zbigniew Lonc, Miroslaw Truszczynski |
| 2001 | KI | Propositional Satisfiability in Answer-Set Programming. | Deborah East, Miroslaw Truszczynski |
| 2001 | LPNMR | aspps - An Implementation of Answer-Set Programming with Propositional Schemata. | Deborah East, Miroslaw Truszczynski |
| 2000 | AAAI | DATALOG with Constraints - An Answer-Set Programming System. | Deborah East, Miroslaw Truszczynski |
| 2000 | KR | Uniform semantic treatment of default and autoepistemic logic. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 1999 | EPIA | On the Accuracy and Running Time of GSAT. | Deborah East, Miroslaw Truszczynski |
| 1999 | ICLP | Computing Large and Small Stable Models. | Miroslaw Truszczynski |
| 1999 | LPNMR | Annotated Revision Programs. | V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |
| 1998 | AAAI | Fixpoint 3-Valued Semantics for Autoepistemic Logic. | Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski |
| 1998 | AMIA | Simulating patients with Parallel Health State Networks. | Walton Sumner, Miroslaw Truszczynski, Victor W. Marek |
| 1998 | CSL | Revision Programming = Logic Programming + Integrity Constraints. | V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski |
| 1997 | ISMIS | Intelligent Computation of Presentation Documents. | Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski |
| 1997 | LPNMR | Automated Reasoning with Non-Monotonic Logics (Abstract). | Miroslaw Truszczynski |
| 1996 | ICLP | Extremal Problems in Logic Programming and Stable Model Computation. | Pawel Cholewinski, Miroslaw Truszczynski |
| 1996 | JELIA | Infinitary Default Logic for Specification of Nonmonotonic Reasoning. | Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski |
| 1996 | KR | Default Reasoning System DeReS. | Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski |
| 1995 | ICDT | Revision Programming, Database Updates and Integrity Constraints. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1995 | ICLP | Experimenting with Nonmonotonic Reasoning. | Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski |
| 1995 | IJCAI | Constrained and Rational Default Logics. | Artur Mikitiuk, Miroslaw Truszczynski |
| 1995 | LPNMR | Skeptical Rational Extensions. | Artur Mikitiuk, Miroslaw Truszczynski |
| 1994 | JELIA | Revision Specifications by Means of Programs. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1993 | AAAI | Subnormal Modal Logics for Knowledge Representation. | Grigori Schwarz, Miroslaw Truszczynski |
| 1993 | LPNMR | Reflective Autoepistemic Logic and Logic Programming. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1993 | LPNMR | Rational Default Logic and Disjunctive Logic Programming. | Artur Mikitiuk, Miroslaw Truszczynski |
| 1992 | ICLP | Complexity of Computing with Extended Propositional Logic Programs. | V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski |
| 1992 | TARK | Modal Logic S4F and The Minimal Knowledge Paradigm. | Grigori Schwarz, Miroslaw Truszczynski |
| 1991 | IJCAI | Modal Interpretations of Default Logic. | Miroslaw Truszczynski |
| 1991 | KR | Disjective Defaults. | Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski |
| 1991 | KR | Modal Nonmonotonic Logics: Ranges, Characterization, Computation. | V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski |
| 1991 | LPNMR | Computing Intersection of Autoepistemic Expansions. | V. Wiktor Marek, Miroslaw Truszczynski |
| 1991 | LPNMR | Embedding Default Logic into Modal Nonmonotonic Logics. | Miroslaw Truszczynski |
| 1990 | LPNMR | Modal Nonmonotonic Logic with Restricted Application of the Negation as Failure to Prove Rule. | Miroslaw Truszczynski |
| 1989 | KR | Relating Autoepistemic and Default Logics. | V. Wiktor Marek, Miroslaw Truszczynski |