The following pages link to Matthias Nickles (Q2835883):
Displayed 8 items.
- A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics (Q2835884) (← links)
- (Q2852090) (← links)
- (Q3520134) (← links)
- (Q4414239) (← links)
- (Q4473440) (← links)
- Sampling-Based SAT/ASP Multi-model Optimization as a Framework for Probabilistic Inference (Q5149786) (← links)
- Agents and Peer-to-Peer Computing (Q5717523) (← links)
- Distribution-aware sampling of answer sets (Q6109614) (← links)