Publication | Date of Publication | Type |
---|
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/Q4659574 | 2005-03-21 | Paper |
https://portal.mardi4nfdi.de/entity/Q4659576 | 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 |
https://portal.mardi4nfdi.de/entity/Q2755398 | 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 |