| Publication | Date of Publication | Type |
|---|
| Credulous acceptance in high-order argumentation frameworks with necessities: an incremental approach | 2024-07-25 | Paper |
| The expressive power of ``possible-is-certain semantics (extended abstract) | 2024-06-21 | Paper |
| On acceptance conditions in abstract argumentation frameworks | 2024-04-30 | Paper |
| Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks | 2023-10-04 | Paper |
| Preference-based inconsistency-tolerant query answering under existential rules | 2022-11-08 | Paper |
| Query answering over inconsistent knowledge bases: a probabilistic approach | 2022-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5039146 | 2022-10-12 | Paper |
| Incremental computation for structured argumentation over dynamic DeLP knowledge bases | 2021-11-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999253 | 2021-07-06 | Paper |
| On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach | 2020-12-13 | Paper |
| An information-theoretic approach to hierarchical clustering of uncertain data | 2020-02-07 | Paper |
| The pushdown method to optimize chain logic programs | 2019-01-10 | Paper |
| The expressive power of unique total stable model semantics | 2018-07-04 | Paper |
| Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols | 2018-03-22 | Paper |
| Checking termination of bottom-up evaluation of logic programs with function symbols | 2017-11-09 | Paper |
| Using linear constraints for logic program termination analysis | 2017-11-09 | Paper |
| Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks | 2016-11-30 | Paper |
| Datalog and Logic Databases | 2015-11-23 | Paper |
| GRAMMARS AND AUTOMATA TO OPTIMIZE CHAIN LOGIC QUERIES | 2015-04-29 | Paper |
| Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments | 2014-02-27 | Paper |
| On the Termination of Logic Programs with Function Symbols | 2014-02-25 | Paper |
| Graph Grammars for Querying Graph-like Data | 2013-05-10 | Paper |
| Probabilistic query answering over inconsistent databases | 2012-10-01 | Paper |
| Incomplete data and data dependencies in relational databases | 2012-08-17 | Paper |
| Collaborative clustering of XML documents | 2012-01-11 | Paper |
| Logic Programming Languages for Databases and the Web | 2010-07-20 | Paper |
| atalog: A logic language for expressing search and optimization problems | 2010-04-07 | Paper |
| A time series representation model for accurate and fast similarity detection | 2009-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3624104 | 2009-04-28 | Paper |
| Querying and Repairing Inconsistent Databases Under Three-Valued Semantics | 2009-03-05 | Paper |
| On the Semantics of Logic Programs with Preferences | 2008-10-30 | Paper |
| A three-valued semantics for querying and repairing inconsistent databases | 2008-04-21 | Paper |
| Aggregates and Preferences in Logic Programming | 2008-03-17 | Paper |
| Declarative Semantics of Production Rules for Integrity Maintenance | 2008-03-11 | Paper |
| Weighted path queries on semistructured databases | 2006-06-30 | Paper |
| Optimization of bound disjunctive queries with constraints | 2006-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4659576 | 2005-03-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4659574 | 2005-03-21 | Paper |
| Partially ordered regular languages for graph queries | 2005-02-23 | Paper |
| Minimal founded semantics for disjunctive logic programs and deductive databases | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046853 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736524 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475095 | 2004-08-06 | Paper |
| Declarative semantics for active rules | 2004-03-01 | Paper |
| Greedy algorithms in Datalog | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4428302 | 2003-09-15 | Paper |
| Functional queries in datalog | 2003-07-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4408076 | 2003-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707759 | 2003-06-11 | Paper |
| Pushing extrema aggregates to optimize logic queries | 2003-02-20 | Paper |
| Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\). | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767028 | 2002-07-22 | Paper |
| Combining inductive and deductive tools for data analysis | 2001-11-08 | Paper |
| Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\) | 2001-08-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955337 | 2001-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944883 | 2000-03-22 | Paper |
| ``Possible is certain is desirable and can be expressive | 1998-01-07 | Paper |
| Programming with non-determinism in deductive databases | 1997-10-26 | Paper |
| Matching of bounded set terms in the logic language LDL++ | 1997-06-15 | Paper |
| Extending Datalog with arrays | 1997-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4940933 | 1997-01-01 | Paper |
| Extrema predicates in deductive databases | 1995-10-25 | Paper |
| Complex-Prolog: A logic database language for handling complex objects | 1989-01-01 | Paper |
