The following pages link to Martin Slota (Q900301):
Displaying 15 items.
- On updates of hybrid knowledge bases composed of ontologies and rules (Q900304) (← links)
- Non-monotonic Temporal Goals (Q2851267) (← links)
- Early Recovery in Logic Program Updates (Q2851282) (← links)
- Time Is Up! – Norms with Deadlines in Action Languages (Q2851972) (← links)
- MKNF Knowledge Bases in Multi-Context Systems (Q2915049) (← links)
- A Unifying Perspective on Knowledge Updates (Q2915086) (← links)
- The rise and fall of semantic rule updates based on<tt>SE</tt>-models (Q2933088) (← links)
- What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems (Q2939302) (← links)
- On Semantic Update Operators for Answer-Set Programs (Q2999230) (← links)
- Back and Forth between Rules and SE-Models (Q3003253) (← links)
- Splitting and updating hybrid knowledge bases (Q3087461) (← links)
- Normative Systems Represented as Hybrid Knowledge Bases (Q3092311) (← links)
- Towards closed world reasoning in dynamic open worlds (Q3585167) (← links)
- EVOLP: Tranformation-Based Semantics (Q3602944) (← links)
- EVOLP: An Implementation (Q3602956) (← links)
