| Publication | Date of Publication | Type |
|---|
Defending a city from multi-drone attacks: a sequential Stackelberg security games approach
Artificial Intelligence | 2025-12-12 | Paper |
| Judicial support tool: finding the k most likely judicial worlds | 2025-05-23 | Paper |
Querying data exchange settings beyond positive queries
Theory and Practice of Logic Programming | 2025-02-14 | 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 |
Inconsistency-tolerant query answering for existential rules
Artificial Intelligence | 2022-04-11 | Paper |
Dimensional inconsistency measures and postulates in spatio-temporal databases
Journal of Artificial Intelligence Research | 2021-10-05 | Paper |
| On measuring inconsistency in spatio-temporal databases | 2019-08-01 | Paper |
Probabilistic spatio-temporal knowledge bases: capacity constraints, count queries, and consistency checking
International Journal of Approximate Reasoning | 2018-09-21 | Paper |
Using linear constraints for logic program termination analysis
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
| Count queries in probabilistic spatio-temporal knowledge bases with capacity constraints | 2017-09-05 | Paper |
Diffusion centrality: a paradigm to maximize spread in social networks
Artificial Intelligence | 2016-10-14 | Paper |
Datalog and logic databases
Synthesis Lectures on Data Management | 2015-11-23 | Paper |
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Super-Solutions
ACM Transactions on Computational Logic | 2015-09-17 | 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 |
A general framework for reasoning on inconsistency
SpringerBriefs in Computer Science | 2013-03-20 | Paper |
Probabilistic query answering over inconsistent databases
Annals of Mathematics and Artificial Intelligence | 2012-10-01 | Paper |
| Abduction in annotated probabilistic temporal logic | 2012-08-29 | Paper |
Incomplete data and data dependencies in relational databases
Synthesis Lectures on Data Management | 2012-08-17 | Paper |
Disjunctive databases for representing repairs
Annals of Mathematics and Artificial Intelligence | 2010-08-13 | 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 |
Querying and Repairing Inconsistent Databases Under Three-Valued Semantics
Logic Programming | 2009-03-05 | Paper |
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
