The following pages link to Matthias Knorr (Q646499):
Displaying 17 items.
- Local closed world reasoning with description logics under the well-founded semantics (Q646502) (← links)
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- Tractable reasoning using logic programs with intensional concepts (Q2055806) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Telco network inventory validation with NoHR (Q2326708) (← links)
- Towards provenance in heterogeneous knowledge bases (Q2694577) (← links)
- Inconsistency Management in Reactive Multi-context Systems (Q2835898) (← links)
- Forgetting in ASP: The Forgotten Properties (Q2835900) (← links)
- Forgetting under the Well-Founded Semantics (Q2851229) (← links)
- Non-monotonic Temporal Goals (Q2851267) (← links)
- Time Is Up! – Norms with Deadlines in Action Languages (Q2851972) (← links)
- MKNF Knowledge Bases in Multi-Context Systems (Q2915049) (← links)
- Evolving Bridge Rules in Evolving Multi-Context Systems (Q2921958) (← links)
- Preserving Strong Equivalence while Forgetting (Q2938510) (← links)
- What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems (Q2939302) (← links)
- Query-Driven Procedures for Hybrid MKNF Knowledge Bases (Q2946701) (← links)
