| Publication | Date of Publication | Type |
|---|
| Signed dual tableaux for Kleene answer set programs | 2024-09-06 | Paper |
| Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions | 2024-02-13 | Paper |
| A landscape and implementation framework for probabilistic rough sets using \textsc{ProbLog} | 2024-02-05 | Paper |
| Rough forgetting | 2022-11-09 | Paper |
| Rough set reasoning using answer set programs | 2021-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5379094 | 2019-05-28 | Paper |
| General domain circumscription and its first-order reduction | 2019-04-29 | Paper |
| Optimal scheduling for replacing perimeter guarding unmanned aerial vehicles | 2017-03-07 | Paper |
| Iteratively-Supported Formulas and Strongly Supported Models for Kleene Answer Set Programs | 2016-11-30 | Paper |
| Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification | 2016-10-21 | Paper |
| Stability, Supportedness, Minimality and Kleene Answer Set Programs | 2015-02-04 | Paper |
| Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination | 2013-11-28 | Paper |
| FUZZY IF-THEN-UNLESS RULES AND THEIR IMPLEMENTATION | 2012-02-17 | Paper |
| Iterative Bounding LAO | 2011-05-11 | Paper |
| Contextual Coalitional Games | 2010-12-17 | Paper |
| Optimal placement of UV-based communications relay nodes | 2010-11-12 | Paper |
| Vision-based unmanned aerial vehicle navigation using geo-referenced information | 2010-04-24 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| Approximate databases: a support tool for approximate reasoning | 2009-11-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3425577 | 2007-02-26 | Paper |
| Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing | 2006-11-01 | Paper |
| Rough Sets and Current Trends in Computing | 2006-11-01 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Knowledge representation techniques. A rough set approach. | 2006-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460674 | 2004-03-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427000 | 2003-09-18 | Paper |
| TALplanner: A temporal logic based forward chaining planner | 2002-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753783 | 2001-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4522247 | 2000-12-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4518416 | 2000-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4496270 | 2000-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4395142 | 2000-06-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4943319 | 2000-03-16 | Paper |
| Declarative PTIME queries for relational databases using quantifier elimination | 2000-01-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264098 | 1999-11-11 | Paper |
| Computing circumscription revisited: A reduction algorithm | 1997-09-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3126169 | 1997-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4275685 | 1994-06-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4287496 | 1994-05-06 | Paper |
