| Publication | Date of Publication | Type |
|---|
| Graph-based construction of minimal models | 2022-11-08 | Paper |
| Outlying property detection with numerical attributes | 2019-05-03 | Paper |
| Modular construction of minimal models | 2017-09-05 | Paper |
| Outlier detection by logic programming | 2017-07-12 | Paper |
| Computational properties of metaquerying problems | 2017-06-13 | Paper |
| The Complexity of the Nucleolus in Compact Games | 2016-10-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3457238 | 2015-12-11 | Paper |
| On the tractability of minimal model computation for some CNF theories | 2015-08-27 | Paper |
| Restricted default theories: expressive power and outlier detection tasks | 2014-12-16 | Paper |
| On the complexity of core, kernel, and bargaining set | 2011-11-25 | Paper |
| Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results | 2011-11-08 | Paper |
| Outlier detection for simple default theories | 2011-01-31 | Paper |
| Non-Transferable Utility Coalitional Games via Mixed-Integer Linear Constraints | 2010-09-09 | Paper |
| On the complexity of identifying head-elementary-set-free programs | 2010-01-28 | Paper |
| Outlier detection using default reasoning | 2009-07-17 | Paper |
| Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming | 2008-03-17 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Discovery Science | 2005-08-18 | Paper |
| On the complexity of inducing categorical and quantitative association rules | 2004-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046818 | 2004-08-12 | Paper |
| A plausibility description logic for handling information sources with heterogeneous data representation formats | 2004-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4435982 | 2003-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4420635 | 2003-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413561 | 2003-07-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4781960 | 2002-11-27 | Paper |
| Semi-automatic techniques for deriving interscheme properties from database schemes | 2002-07-29 | Paper |
| Algorithms for selective enumeration of prime implicants | 2002-07-24 | Paper |
| A technique for deriving hyponymies and overlappings from database schemes | 2002-03-03 | Paper |
| NP-SPEC: an executable specification language for solving all problems in NP | 2001-11-08 | Paper |
| More on tractable disjunctive Datalog | 2000-12-12 | Paper |
| Intensional and extensional integration and abstraction of heterogeneous databases | 2000-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4314596 | 2000-06-21 | Paper |
| Propositional lower bounds: Algorithms and complexity | 2000-06-07 | Paper |
| Reasoning with minimal models: efficient algorithms and applications | 1998-08-13 | Paper |
| Circumscribing DATALOG: expressive power and complexity | 1998-08-13 | Paper |
| Polynomial-time computable stable models | 1998-08-03 | Paper |
| A language for updating logic programs and its implementation | 1997-03-17 | Paper |
| Extending Datalog with arrays | 1997-02-27 | Paper |
| Testing logic programs for local stratification | 1993-01-16 | Paper |
