The following pages link to Rafael Kiesel (Q4999273):
Displaying 7 items.
- (Q4999274) (← links)
- Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Q5019600) (← links)
- Efficient Knowledge Compilation Beyond Weighted Model Counting (Q5038457) (← links)
- ASP (): Answer Set Programming with Algebraic Constraints (Q5140023) (← links)
- Semiring reasoning frameworks in AI and their computational complexity (Q6488781) (← links)
- A dynamic MaxSAT-based approach to directed feedback vertex sets (Q6543534) (← links)
- Aspmc: new frontiers of algebraic answer set counting (Q6566624) (← links)
