Martin Slota
From MaRDI portal
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
