| Publication | Date of Publication | Type |
|---|
| Automatic theorem proving in paraconsistent logics: Theory and implementation | 2023-04-28 | Paper |
| The query topology in logic programming | 2022-08-16 | Paper |
| Merging heterogeneous security orderings | 2022-08-16 | Paper |
| Does financial connectedness predict crises? | 2018-09-19 | Paper |
| Heterogeneous temporal probabilistic agents | 2017-07-12 | Paper |
| Probabilistic interval XML | 2017-07-12 | Paper |
| ChoiceGAPs: Competitive Diffusion as a Massive Multi-player Game in Social Networks | 2017-06-20 | Paper |
| Probabilistic agent programs | 2017-06-13 | Paper |
| Diffusion centrality: a paradigm to maximize spread in social networks | 2016-10-14 | Paper |
| Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems | 2015-09-17 | Paper |
| Annotated RDF | 2015-09-17 | Paper |
| Parallel Abductive Query Answering in Probabilistic Logic Programs | 2015-09-17 | Paper |
| Annotated Probabilistic Temporal Logic | 2015-09-17 | Paper |
| Super-Solutions | 2015-09-17 | Paper |
| Policy-based inconsistency management in relational databases | 2015-07-10 | Paper |
| A temporal database forecasting algebra | 2015-07-10 | Paper |
| A General Framework for Reasoning On Inconsistency | 2013-03-20 | Paper |
| Using Histograms to Better Answer Queries to Probabilistic Logic Programs | 2012-11-13 | Paper |
| Focused most probable world computations in probabilistic logic programs | 2012-10-01 | Paper |
| Abduction in annotated probabilistic temporal logic | 2012-08-29 | Paper |
| Privacy Preservation Using Multi-context Systems and Default Logic | 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 | 2011-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2996249 | 2011-05-06 | Paper |
| An AGM-style belief revision mechanism for probabilistic spatio-temporal logics | 2010-03-16 | Paper |
| Computing the fault tolerance of multi-agent deployment | 2009-08-31 | Paper |
| Foundations of Information and Knowledge Systems | 2009-05-14 | Paper |
| Aggregate operators in probabilistic databases | 2008-12-21 | Paper |
| How Dirty Is Your Relational Database? An Axiomatic Approach | 2008-09-16 | Paper |
| Flexible support for multiple access control policies | 2008-06-18 | Paper |
| Probabilistic object bases | 2008-06-18 | Paper |
| Probabilistic temporal databases, I | 2008-06-18 | Paper |
| The Relationship Between Reasoning About Privacy and Default Logics | 2008-05-27 | Paper |
| Computing most probable worlds of action probabilistic logic programs: scalable estimation for \(10^{30,000}\) worlds | 2008-04-21 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3046912 | 2004-08-12 | Paper |
| Improving performance of heterogeneous agents | 2004-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736499 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4414547 | 2003-07-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707752 | 2003-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4797415 | 2003-03-13 | Paper |
| Secure agents | 2003-03-10 | Paper |
| Complexity, decidability and undecidability results for domain-independent planning | 2003-02-04 | Paper |
| Foundations of distributed interaction systems | 2002-06-27 | Paper |
| Meta-agent programs | 2001-10-30 | Paper |
| Temporal agent programs | 2001-08-20 | Paper |
| Applications of paraconsistency in data and knowledge bases | 2001-02-22 | Paper |
| Heterogeneous active agents. III: Polynomially implementable agents | 2000-06-04 | Paper |
| Hybrid probabilistic programs | 2000-05-07 | Paper |
| An algebra for creating and querying multimedia presentations | 2000-01-01 | Paper |
| Heterogeneous active agents, I: Semantics | 1999-04-28 | Paper |
| Heterogeneous active agents, II: Algorithms and complexity | 1999-04-28 | Paper |
| Foundations of multimedia database systems | 1998-01-21 | Paper |
| Amalgamating knowledge bases, III: Algorithms, data structures and query processing | 1997-11-16 | Paper |
| The logic of totally and partially ordered plans: A deductive database approach | 1997-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4342504 | 1997-06-22 | Paper |
| Disjunctive \(LP+\) integrity constraints = stable model semantics. | 1997-05-12 | Paper |
| Annotated nonmonotonic rule systems | 1997-02-28 | Paper |
| A non-ground realization of the stable and well-founded semantics | 1997-02-27 | Paper |
| Computing minimal models by partial instantiation | 1997-02-27 | Paper |
| Multiagent reasoning with probability, time, and beliefs | 1995-11-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4764116 | 1995-11-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4852889 | 1995-10-25 | Paper |
| Computing circumscriptive databases | 1995-04-10 | Paper |
| Mixed integer programming methods for computing nonmonotonic deductive databases | 1995-04-10 | Paper |
| Stable semantics for probabilistic deductive databases | 1995-01-12 | Paper |
| Computing definite logic programs by partial instantiation | 1994-08-21 | Paper |
| A semantical framework for supporting subjective and conditional probabilities in deductive databases | 1994-03-27 | Paper |
| Dualities between alternative semantics for logic programming and nonmonotonic reasoning | 1994-03-13 | Paper |
| Completeness issues in RUE-NRF deduction: The undecidability of viability | 1994-01-13 | Paper |
| Probabilistic logic programming | 1993-05-16 | Paper |
| Relating minimal models and pre-requisite-free normal defaults | 1993-04-01 | Paper |
| The Paraconsistent Logics PJ | 1993-04-01 | Paper |
| The relationship between stable, supported, default and autoepistemic semantics for general logic programs | 1993-01-16 | Paper |
| Stable and extension class theory for logic programs and default logics | 1993-01-16 | Paper |
| Paraconsistent disjunctive deductive databases | 1992-06-28 | Paper |
| The Paraconsistent Logics PJ | 1992-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3486860 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202173 | 1990-01-01 | Paper |
| Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete | 1990-01-01 | Paper |
| A RING-THEORETIC BASIS FOR LOGIC PROGRAMMING | 1990-01-01 | Paper |
| Protected completions of first-order general logic programs | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490992 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3199402 | 1990-01-01 | Paper |
| Paraconsistent logic programming | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4204135 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490993 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3359740 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4207887 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3817650 | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3768366 | 1987-01-01 | Paper |
