Martin Slota

Available identifiers

zbMath Open slota.martinMaRDI QIDQ900301

List of research outcomes

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 onSE-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: Tranformation-Based Semantics	2009-02-12	Paper
EVOLP: An Implementation	2009-02-12	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin Slota