The following pages link to Matthias Knorr (Q646499):
Displaying 23 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)
- (Q3457253) (← links)
- You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming (Q4576228) (← links)
- When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710) (← links)
- (Q4619830) (← links)
- A Syntactic Operator for Forgetting that Satisfies Strong Persistence (Q5108521) (← links)
- (Q5282995) (← links)
