| Publication | Date of Publication | Type |
|---|
| Probabilistic lexicographic preference trees | 2023-03-31 | Paper |
| Skeptical rational extensions | 2022-08-30 | Paper |
| A logical framework for view updating in indefinite databases | 2022-06-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020969 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020571 | 2022-01-06 | Paper |
| Maximin Share Allocations on Cycles | 2020-11-03 | Paper |
| Beyond NP: Quantifying over Answer Sets | 2020-05-04 | Paper |
| New complexity results on aggregating lexicographic preference trees using positional scoring rules | 2020-01-27 | Paper |
| New models for generating hard random Boolean formulas and disjunctive logic programs | 2020-01-20 | Paper |
| Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? | 2020-01-03 | Paper |
| Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains | 2019-12-09 | Paper |
| Infinitary default logic for specification of nonmonotonic reasoning | 2019-10-08 | Paper |
| Preference learning and optimization for partial lexicographic preference forests over combinatorial domains | 2018-06-26 | Paper |
| On equivalence of infinitary formulas under the stable model semantics | 2017-11-09 | Paper |
| Dual-normal logic programs – the forgotten class | 2017-11-09 | Paper |
| Predicate-calculus-based logics for modeling and solving search problems | 2017-07-12 | Paper |
| Fixed-parameter complexity of semantics for logic programs | 2017-06-13 | Paper |
| Packing analogue of \(k\)-radius sequences | 2016-06-20 | Paper |
| On abstract modular inference systems and solvers | 2016-05-19 | Paper |
| Reasoning with Preference Trees over Combinatorial Domains | 2015-11-04 | Paper |
| Manipulation and Bribery When Aggregating Ranked Preferences | 2015-11-04 | Paper |
| A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence | 2015-02-04 | Paper |
| A Measure of Arbitrariness in Abductive Explanations | 2014-11-25 | Paper |
| A Tarskian Informal Semantics for Answer Set Programming | 2014-02-25 | Paper |
| Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers | 2013-12-17 | Paper |
| On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics | 2013-10-10 | Paper |
| On Optimal Solutions of Answer Set Optimization Problems | 2013-10-10 | Paper |
| Strong Equivalence of Qualitative Optimization Problems | 2013-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906886 | 2013-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906890 | 2013-02-28 | Paper |
| Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs | 2012-11-13 | Paper |
| The View-Update Problem for Indefinite Databases | 2012-09-21 | Paper |
| Connecting First-Order ASP and the Logic FO(ID) through Reducts | 2012-07-23 | Paper |
| Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs | 2012-05-24 | Paper |
| Active integrity constraints and revision programming | 2012-05-24 | Paper |
| Constructions of asymptotically shortest \(k\)-radius sequences | 2012-02-11 | Paper |
| Transition systems for model generators—A unifying approach | 2011-08-16 | Paper |
| Revisiting Epistemic Specifications | 2011-05-19 | Paper |
| On graph equivalences preserved under extensions | 2011-05-16 | Paper |
| Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs | 2011-01-31 | Paper |
| Simple but Hard Mixed Horn Formulas | 2010-09-29 | Paper |
| Logic programs with abstract constraint atoms: the role of computations | 2010-05-07 | Paper |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| Relativized hyperequivalence of logic programs for modular programming | 2009-11-25 | Paper |
| Simple Random Logic Programs | 2009-11-10 | Paper |
| Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs | 2009-11-10 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| My six encounters with Victor Marek---a personal account | 2009-07-06 | Paper |
| Hyperequivalence of logic programs with respect to supported models | 2009-07-06 | Paper |
| Nonmonotonic Logics and Their Algebraic Foundations | 2009-03-12 | Paper |
| Logic Programming for Knowledge Representation | 2009-03-05 | Paper |
| Logic Programs with Abstract Constraint Atoms: The Role of Computations | 2009-03-05 | Paper |
| Approximation Schemes in Logic and Artificial Intelligence | 2009-01-27 | Paper |
| Declarative Semantics for Active Integrity Constraints | 2009-01-22 | Paper |
| Relativized Hyperequivalence of Logic Programs for Modular Programming | 2009-01-22 | Paper |
| Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints | 2008-10-27 | Paper |
| On the number of minimal transversals in 3-uniform hypergraphs | 2008-07-11 | Paper |
| Logic programs with monotone abstract constraint atoms | 2008-03-27 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Satisfiability testing of Boolean combinations of pseudo-Boolean constraints using local-search techniques | 2007-10-11 | Paper |
| Strong and uniform equivalence of nonmonotonic theories -- an algebraic approach | 2007-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3446861 | 2007-06-27 | Paper |
| Computing minimal models, stable models and answer sets | 2006-10-12 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Satisfiability and computing van der Waerden numbers | 2004-10-13 | Paper |
| Computing stable models: worst-case performance estimates | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812970 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736513 | 2004-08-09 | Paper |
| Ultimate approximation and its application in nonmonotonic knowledge representation systems | 2004-08-06 | Paper |
| Computing large and small stable models | 2004-03-01 | Paper |
| On the problem of computing the well-founded semantics | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708945 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708951 | 2003-06-20 | Paper |
| Default logic and specification of nonmonotonic reasoning | 2003-04-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4798023 | 2003-03-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4797424 | 2003-03-13 | Paper |
| Uniform semantic treatment of default and autoepistemic logics | 2003-01-22 | Paper |
| Computing with default logic | 2002-07-24 | Paper |
| Annotated revision programs | 2002-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4537433 | 2002-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734934 | 2002-06-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767095 | 2002-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702577 | 2002-02-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955328 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934646 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4939660 | 2000-02-06 | Paper |
| Extremal problems in logic programming and stable model computation | 1999-07-20 | Paper |
| Revision programming | 1998-06-30 | Paper |
| Representation theory for default logic | 1998-01-21 | Paper |
| A note on local colorings of graphs | 1997-08-14 | Paper |
| Modal logic for default reasoning | 1997-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4332418 | 1997-06-03 | Paper |
| Complexity of computing with extended propositional logic programs | 1996-12-03 | Paper |
| Nonmonotonic reasoning is sometimes simpler! | 1996-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282617 | 1994-08-21 | Paper |
| Autoepistemic logic | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4294582 | 1994-07-24 | Paper |
| Minimal knowledge problem: A new approach | 1994-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4282555 | 1994-03-17 | Paper |
| Modal nonmonotonic logics | 1994-01-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273952 | 1993-12-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4202924 | 1993-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028795 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4028813 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4022225 | 1993-01-17 | Paper |
| The Pure Logic of Necessitation | 1993-01-16 | Paper |
| Rado's Selection Principle: Applications to binary relations, graph and hypergraph colorings and partially ordered sets | 1992-12-06 | Paper |
| Indexing functions and time lower bounds for sorting on a mesh-connected computer | 1992-09-27 | Paper |
| Generalized local colorings of graphs | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012232 | 1992-09-27 | Paper |
| Decompositions of graphs into forests with bounded maximum degree | 1992-06-28 | Paper |
| Primal graphs with small degrees | 1992-06-25 | Paper |
| Asymptotic results on saturated graphs | 1992-06-25 | Paper |
| Decompositions of regular bipartite graphs | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202996 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3474672 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3353055 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3486549 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826525 | 1989-01-01 | Paper |
| The tree number of a graph with a given girth | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3204489 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3824320 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4203816 | 1988-01-01 | Paper |
| Linear upper bounds for local Ramsey numbers | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758841 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789582 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815343 | 1986-01-01 | Paper |
| Decomposition of large uniform hypergraphs | 1985-01-01 | Paper |
| Jump number problem: The role of matroids | 1985-01-01 | Paper |
| Note on the decomposition of \(\lambda K_{m,n}\) (\(\lambda K^*_{m,n}\)) into paths | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3710558 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3715137 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3718733 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3741644 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3762346 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220636 | 1984-01-01 | Paper |
| Note on vertex degrees of planar graphs | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3041242 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3320433 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3334111 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3335022 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3339332 | 1983-01-01 | Paper |
| A simple algorithm for finding a cycle of length greater than three and without diagonals | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3885211 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3922212 | 1981-01-01 | Paper |
| ON n-HAMILTONIAN GRAPHS OF MINIMAL SIZE | 1981-01-01 | Paper |
| Once more on storage for consecutive retrieval | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898043 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4162637 | 1978-01-01 | Paper |
