List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On updates of hybrid knowledge bases composed of ontologies and rules Artificial Intelligence | 2015-12-22 | Paper |
| What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems Journal Of Logic And Computation | 2015-01-19 | Paper |
| The rise and fall of semantic rule updates based on SE-models Theory and Practice of Logic Programming | 2014-12-10 | Paper |
| Non-monotonic temporal goals Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
| Early recovery in logic program updates Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
| Time is up! -- Norms with deadlines in action languages Lecture Notes in Computer Science | 2013-10-04 | Paper |
| MKNF knowledge bases in multi-context systems Lecture Notes in Computer Science | 2012-09-21 | Paper |
| A Unifying Perspective on Knowledge Updates Logics in Artificial Intelligence | 2012-09-21 | Paper |
| Normative systems represented as hybrid knowledge bases Lecture Notes in Computer Science | 2011-09-16 | Paper |
| Splitting and updating hybrid knowledge bases Theory and Practice of Logic Programming | 2011-08-16 | Paper |
| Back and Forth between Rules and SE-Models Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
| On semantic update operators for answer-set programs | 2011-05-11 | Paper |
| Towards closed world reasoning in dynamic open worlds Theory and Practice of Logic Programming | 2010-08-19 | Paper |
| EVOLP: An Implementation Lecture Notes in Computer Science | 2009-02-12 | Paper |
| EVOLP: Tranformation-Based Semantics Lecture Notes in Computer Science | 2009-02-12 | Paper |
Research outcomes over time
This page was built for person: Martin Slota
