The following pages link to Wolfgang Faber (Q543598):
Displaying 8 items.
- Synonymous theories and knowledge representations in answer set programming (Q414849) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system (Q814436) (← links)
- Strong order equivalence (Q854968) (← links)
- Magic Sets and their application to data integration (Q882436) (← links)
- Undoing the effects of action sequences (Q946576) (← links)
- Answer Set Programming for Qualitative Spatio-temporal Reasoning: Methods and Experiments (Q5240208) (← links)
- Thirty years of Epistemic Specifications (Q6085582) (← links)
