| 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 |
| Automatic theorem proving in paraconsistent logics: Theory and implementation | 2023-04-28 | Paper |
The query topology in logic programming
STACS 89 | 2022-08-16 | Paper |
Merging heterogeneous security orderings
Computer Security — ESORICS 96 | 2022-08-16 | Paper |
Does financial connectedness predict crises?
Quantitative Finance | 2018-09-19 | Paper |
Heterogeneous temporal probabilistic agents
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Probabilistic interval XML
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
ChoiceGAPs: competitive diffusion as a massive multi-player game in social networks
Lecture Notes in Computer Science | 2017-06-20 | Paper |
Probabilistic agent programs
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Diffusion centrality: a paradigm to maximize spread in social networks
Artificial Intelligence | 2016-10-14 | Paper |
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Annotated RDF
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Parallel abductive query answering in probabilistic logic programs
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Annotated probabilistic temporal logic: approximate fixpoint implementation
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Super-Solutions
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning | 2015-07-10 | Paper |
A temporal database forecasting algebra
International Journal of Approximate Reasoning | 2015-07-10 | Paper |
A general framework for reasoning on inconsistency
SpringerBriefs in Computer Science | 2013-03-20 | Paper |
Using histograms to better answer queries to probabilistic logic programs
Logic Programming | 2012-11-13 | Paper |
Focused most probable world computations in probabilistic logic programs
Annals of Mathematics and Artificial Intelligence | 2012-10-01 | Paper |
| Abduction in annotated probabilistic temporal logic | 2012-08-29 | Paper |
Privacy preservation using multi-context systems and default logic
Correct Reasoning | 2012-07-23 | Paper |
| Abductive inference in probabilistic logic programs | 2012-05-11 | Paper |
| Using generalized annotated programs to solve social network optimization problems | 2012-05-11 | Paper |
Approximate achievability in event databases
Lecture Notes in Computer Science | 2011-06-29 | Paper |
| Paranoia versus overconfidence in imperfect-information games | 2011-05-06 | Paper |
An AGM-style belief revision mechanism for probabilistic spatio-temporal logics
Artificial Intelligence | 2010-03-16 | Paper |
Computing the fault tolerance of multi-agent deployment
Artificial Intelligence | 2009-08-31 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Aggregate operators in probabilistic databases
Journal of the ACM | 2008-12-21 | Paper |
How Dirty Is Your Relational Database? An Axiomatic Approach
Lecture Notes in Computer Science | 2008-09-16 | Paper |
Flexible support for multiple access control policies
ACM Transactions on Database Systems | 2008-06-18 | Paper |
Probabilistic object bases
ACM Transactions on Database Systems | 2008-06-18 | Paper |
Probabilistic temporal databases, I
ACM Transactions on Database Systems | 2008-06-18 | Paper |
The Relationship Between Reasoning About Privacy and Default Logics
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 2089480 (Why is no real title available?) | 2004-08-12 | Paper |
Improving performance of heterogeneous agents
Annals of Mathematics and Artificial Intelligence | 2004-08-10 | Paper |
| scientific article; zbMATH DE number 2085265 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1953143 (Why is no real title available?) | 2003-07-25 | Paper |
| scientific article; zbMATH DE number 1926620 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1882040 (Why is no real title available?) | 2003-03-13 | Paper |
Secure agents
Annals of Mathematics and Artificial Intelligence | 2003-03-10 | Paper |
Complexity, decidability and undecidability results for domain-independent planning
Artificial Intelligence | 2003-02-04 | Paper |
Foundations of distributed interaction systems
Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
Meta-agent programs
The Journal of Logic Programming | 2001-10-30 | Paper |
Temporal agent programs
Artificial Intelligence | 2001-08-20 | Paper |
Applications of paraconsistency in data and knowledge bases
Synthese | 2001-02-22 | Paper |
Heterogeneous active agents. III: Polynomially implementable agents
Artificial Intelligence | 2000-06-04 | Paper |
Hybrid probabilistic programs
The Journal of Logic Programming | 2000-05-07 | Paper |
An algebra for creating and querying multimedia presentations
Multimedia Systems | 2000-01-01 | Paper |
Heterogeneous active agents, I: Semantics
Artificial Intelligence | 1999-04-28 | Paper |
Heterogeneous active agents, II: Algorithms and complexity
Artificial Intelligence | 1999-04-28 | Paper |
Foundations of multimedia database systems
Journal of the ACM | 1998-01-21 | Paper |
Amalgamating knowledge bases, III: Algorithms, data structures and query processing
The Journal of Logic Programming | 1997-11-16 | Paper |
The logic of totally and partially ordered plans: A deductive database approach
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
| scientific article; zbMATH DE number 1024673 (Why is no real title available?) | 1997-06-22 | Paper |
Disjunctive \(LP+\) integrity constraints = stable model semantics.
Annals of Mathematics and Artificial Intelligence | 1997-05-12 | Paper |
Annotated nonmonotonic rule systems
Theoretical Computer Science | 1997-02-28 | Paper |
A non-ground realization of the stable and well-founded semantics
Theoretical Computer Science | 1997-02-27 | Paper |
Computing minimal models by partial instantiation
Theoretical Computer Science | 1997-02-27 | Paper |
Multiagent reasoning with probability, time, and beliefs
International Journal of Intelligent Systems | 1995-11-20 | Paper |
| scientific article; zbMATH DE number 749936 (Why is no real title available?) | 1995-11-06 | Paper |
| scientific article; zbMATH DE number 809138 (Why is no real title available?) | 1995-10-25 | Paper |
Computing circumscriptive databases
Information and Computation | 1995-04-10 | Paper |
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM | 1995-04-10 | Paper |
Stable semantics for probabilistic deductive databases
Information and Computation | 1995-01-12 | Paper |
Computing definite logic programs by partial instantiation
Annals of Pure and Applied Logic | 1994-08-21 | Paper |
A semantical framework for supporting subjective and conditional probabilities in deductive databases
Journal of Automated Reasoning | 1994-03-27 | Paper |
Dualities between alternative semantics for logic programming and nonmonotonic reasoning
Journal of Automated Reasoning | 1994-03-13 | Paper |
Completeness issues in RUE-NRF deduction: The undecidability of viability
Journal of Automated Reasoning | 1994-01-13 | Paper |
Probabilistic logic programming
Information and Computation | 1993-05-16 | Paper |
Relating minimal models and pre-requisite-free normal defaults
Information Processing Letters | 1993-04-01 | Paper |
The Paraconsistent Logics P<i>J</i>
Mathematical Logic Quarterly | 1993-04-01 | Paper |
The relationship between stable, supported, default and autoepistemic semantics for general logic programs
Theoretical Computer Science | 1993-01-16 | Paper |
Stable and extension class theory for logic programs and default logics
Journal of Automated Reasoning | 1993-01-16 | Paper |
Paraconsistent disjunctive deductive databases
Theoretical Computer Science | 1992-06-28 | Paper |
The Paraconsistent Logics P<i>J</i>
Mathematical Logic Quarterly | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4160109 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4193644 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4164174 (Why is no real title available?) | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4174904 (Why is no real title available?) | 1990-01-01 | Paper |
Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete
Information Processing Letters | 1990-01-01 | Paper |
A RING-THEORETIC BASIS FOR LOGIC PROGRAMMING
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
Protected completions of first-order general logic programs
Journal of Automated Reasoning | 1990-01-01 | Paper |
| scientific article; zbMATH DE number 4123705 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4164175 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4213424 (Why is no real title available?) | 1989-01-01 | Paper |
Paraconsistent logic programming
Theoretical Computer Science | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4128792 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4090844 (Why is no real title available?) | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4026795 (Why is no real title available?) | 1987-01-01 | Paper |
