Martin Slota

Available identifiers

Publication	Date of Publication	Type
On updates of hybrid knowledge bases composed of ontologies and rules	2015-12-22	Paper
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems	2015-01-19	Paper
The rise and fall of semantic rule updates based on`SE`-models	2014-12-10	Paper
Non-monotonic Temporal Goals	2013-10-10	Paper
Early Recovery in Logic Program Updates	2013-10-10	Paper
Time Is Up! – Norms with Deadlines in Action Languages	2013-10-04	Paper
MKNF Knowledge Bases in Multi-Context Systems	2012-09-21	Paper
A Unifying Perspective on Knowledge Updates	2012-09-21	Paper
Normative Systems Represented as Hybrid Knowledge Bases	2011-09-16	Paper
Splitting and updating hybrid knowledge bases	2011-08-16	Paper
Back and Forth between Rules and SE-Models	2011-05-26	Paper
On Semantic Update Operators for Answer-Set Programs	2011-05-11	Paper
Towards closed world reasoning in dynamic open worlds	2010-08-19	Paper
EVOLP: An Implementation	2009-02-12	Paper
EVOLP: Tranformation-Based Semantics	2009-02-12	Paper

This page was built for person: Martin Slota