The following pages link to Jörg Pührer (Q1748466):
Displayed 20 items.
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments (Q1748467) (← links)
- Realizability of three-valued semantics for abstract dialectical frameworks (Q2287192) (← links)
- Multi-valued GRAPPA (Q2296698) (← links)
- Inconsistency Management in Reactive Multi-context Systems (Q2835898) (← links)
- (Q2883088) (← links)
- Stepwise Debugging of Description-Logic Programs (Q2900544) (← links)
- On Testing Answer-Set Programs (Q2999229) (← links)
- Stepping through an Answer-Set Program (Q3003250) (← links)
- Catching the Ouroboros: On debugging non-ground answer-set programs (Q3585165) (← links)
- The system Kato: Detecting cases of plagiarism for answer-set programs (Q3585184) (← links)
- Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection (Q3643124) (← links)
- (Q4576179) (← links)
- Model-based recasting in answer-set programming (Q4583308) (← links)
- Stepwise debugging of answer-set programs (Q4603428) (← links)
- Annotating answer-set programs in <scp>Lana</scp> (Q4911139) (← links)
- Asynchronous Multi-Context Systems (Q5172612) (← links)
- (Q5282969) (← links)
- (Q5398061) (← links)
- Debugging ASP Programs by Means of ASP (Q5425396) (← links)
- Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence (Q5504680) (← links)