Truszczynski, Miroslaw

25 publications

JAIR 2020 Maximin Share Allocations on Cycles Miroslaw Truszczynski, Zbigniew Lonc

JAIR 2019 Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? Jan Maly, Miroslaw Truszczynski, Stefan Woltran

IJCAI 2018 Maximin Share Allocations on Cycles Zbigniew Lonc, Miroslaw Truszczynski

IJCAI 2018 Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? Jan Maly, Miroslaw Truszczynski, Stefan Woltran

IJCAI 2017 Generating Hard Random Boolean Formulas and Disjunctive Logic Programs Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski

AAAI 2015 An Abstract View on Modularity in Knowledge Representation Yuliya Lierler, Miroslaw Truszczynski

AAAI 2015 Learning Partial Lexicographic Preference Trees over Combinatorial Domains Xudong Liu, Miroslaw Truszczynski

AAAI 2013 Abstract Preference Frameworks - A Unifying Perspective on Separability and Strong Equivalence Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran

JAIR 2013 Strong Equivalence of Qualitative Optimization Problems Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran

AAAI 2010 Representing Preferences Among Sets Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran

AAAI 2008 Hyperequivalence of Logic Programs with Respect to Supported Models Miroslaw Truszczynski, Stefan Woltran

JAIR 2008 The Computational Complexity of Dominance and Consistency in CP-Nets Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson

AAAI 2007 The Modal Logic S4F, the Default Logic, and the Logic Here-and-There Miroslaw Truszczynski

AAAI 2006 Local-Search Techniques for Boolean Combinations of Pseudo-Boolean Constraints Lengning Liu, Miroslaw Truszczynski

JAIR 2006 Properties and Applications of Programs with Monotone and Convex Constraints Lengning Liu, Miroslaw Truszczynski

AAAI 2005 Prioritized Component Systems Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski

AAAI 2005 Properties of Programs with Monotone and Convex Constraints Lengning Liu, Miroslaw Truszczynski

IJCAI 2005 The Computational Complexity of Dominance and Consistency in CP-Nets Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson

AAAI 2004 Logic Programs with Abstract Constraint Atoms Victor W. Marek, Miroslaw Truszczynski

IJCAI 2003 Answer Set Optimization Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski

AAAI 2000 DATALOG with Constraints - An Answer-Set Programming System Deborah East, Miroslaw Truszczynski

AAAI 1998 Fixpoint 3-Valued Semantics for Autoepistemic Logic Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski

IJCAI 1995 Constrained and Rational Default Logics Artur Mikitiuk, Miroslaw Truszczynski

AAAI 1993 Subnormal Modal Logics for Knowledge Representation Grigori Schwarz, Miroslaw Truszczynski

IJCAI 1991 Modal Interpretations of Default Logic Miroslaw Truszczynski