| Publication | Date of Publication | Type |
|---|
Credulous acceptance in high-order argumentation frameworks with necessities: an incremental approach
Artificial Intelligence | 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
Information Sciences | 2024-04-30 | Paper |
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks
Artificial Intelligence | 2023-10-04 | Paper |
Preference-based inconsistency-tolerant query answering under existential rules
Artificial Intelligence | 2022-11-08 | Paper |
Query answering over inconsistent knowledge bases: a probabilistic approach
Theoretical Computer Science | 2022-10-14 | Paper |
| On the incremental computation of semantics in dynamic argumentation | 2022-10-12 | Paper |
Incremental computation for structured argumentation over dynamic DeLP knowledge bases
Artificial Intelligence | 2021-11-02 | Paper |
| scientific article; zbMATH DE number 7368407 (Why is no real title available?) | 2021-07-06 | Paper |
On the semantics of abstract argumentation frameworks: a logic programming approach
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
An information-theoretic approach to hierarchical clustering of uncertain data
Information Sciences | 2020-02-07 | Paper |
The pushdown method to optimize chain logic programs
Automata, Languages and Programming | 2019-01-10 | Paper |
The expressive power of unique total stable model semantics
Automata, Languages and Programming | 2018-07-04 | Paper |
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols
ACM Transactions on Computational Logic | 2018-03-22 | Paper |
Checking termination of bottom-up evaluation of logic programs with function symbols
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Using linear constraints for logic program termination analysis
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Incremental computation of deterministic extensions for dynamic argumentation frameworks
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Datalog and logic databases
Synthesis Lectures on Data Management | 2015-11-23 | Paper |
Grammars and automata to optimize chain logic queries
International Journal of Foundations of Computer Science | 2015-04-29 | Paper |
Logic programming with function symbols: checking termination of bottom-up evaluation through program adornments
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| On the termination of logic programs with function symbols | 2014-02-25 | Paper |
Graph grammars for querying graph-like data
Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
Probabilistic query answering over inconsistent databases
Annals of Mathematics and Artificial Intelligence | 2012-10-01 | Paper |
Incomplete data and data dependencies in relational databases
Synthesis Lectures on Data Management | 2012-08-17 | Paper |
Collaborative clustering of XML documents
Journal of Computer and System Sciences | 2012-01-11 | Paper |
Logic Programming Languages for Databases and the Web
Lecture Notes in Computer Science | 2010-07-20 | Paper |
\(\mathcal {NPD}\)atalog: A logic language for expressing \(\mathcal {NP}\) search and optimization problems
Theory and Practice of Logic Programming | 2010-04-07 | Paper |
A time series representation model for accurate and fast similarity detection
Pattern Recognition | 2009-07-29 | Paper |
| On the semantics of logic programs with preferences | 2009-04-28 | Paper |
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics
Logic Programming | 2009-03-05 | Paper |
On the Semantics of Logic Programs with Preferences
Logics in Artificial Intelligence | 2008-10-30 | Paper |
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
Aggregates and Preferences in Logic Programming
Lecture Notes in Computer Science | 2008-03-17 | Paper |
Declarative Semantics of Production Rules for Integrity Maintenance
Logic Programming | 2008-03-11 | Paper |
Weighted path queries on semistructured databases
Information and Computation | 2006-06-30 | Paper |
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming | 2006-01-03 | Paper |
| scientific article; zbMATH DE number 2147921 (Why is no real title available?) | 2005-03-21 | Paper |
| scientific article; zbMATH DE number 2147919 (Why is no real title available?) | 2005-03-21 | Paper |
Partially ordered regular languages for graph queries
Journal of Computer and System Sciences | 2005-02-23 | Paper |
Minimal founded semantics for disjunctive logic programs and deductive databases
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2089452 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2085288 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2084357 (Why is no real title available?) | 2004-08-06 | Paper |
Declarative semantics for active rules
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Greedy algorithms in Datalog
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1980928 (Why is no real title available?) | 2003-09-15 | Paper |
Functional queries in datalog
New Generation Computing | 2003-07-15 | Paper |
scientific article; zbMATH DE number 1944944 (Why is no real title available?)
World Wide Web | 2003-07-01 | Paper |
| scientific article; zbMATH DE number 1926632 (Why is no real title available?) | 2003-06-11 | Paper |
Pushing extrema aggregates to optimize logic queries
Information Systems | 2003-02-20 | Paper |
Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\).
Information and Computation | 2003-01-14 | Paper |
| scientific article; zbMATH DE number 1696773 (Why is no real title available?) | 2002-07-22 | Paper |
Combining inductive and deductive tools for data analysis
AI Communications | 2001-11-08 | Paper |
Extending stratified datalog to capture complexity classes ranging from \(\mathcal P\) to \(Cal Q\mathcal H\)
Acta Informatica | 2001-08-26 | Paper |
| scientific article; zbMATH DE number 1453064 (Why is no real title available?) | 2001-01-14 | Paper |
| scientific article; zbMATH DE number 1420817 (Why is no real title available?) | 2000-03-22 | Paper |
``Possible is certain is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence | 1998-01-07 | Paper |
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
Matching of bounded set terms in the logic language LDL++
The Journal of Logic Programming | 1997-06-15 | Paper |
Extending Datalog with arrays
Data & Knowledge Engineering | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 1407678 (Why is no real title available?) | 1997-01-01 | Paper |
Extrema predicates in deductive databases
Journal of Computer and System Sciences | 1995-10-25 | Paper |
Complex-Prolog: A logic database language for handling complex objects
Information Systems | 1989-01-01 | Paper |
