The following pages link to Logic Programming (Q5475779):
Displaying 8 items.
- Possibilistic uncertainty handling for answer set programming (Q854974) (← links)
- Hybrid probabilistic logic programs as residuated logic programs (Q1863825) (← links)
- Dealing with explicit preferences and uncertainty in answer set programming (Q1928820) (← links)
- A semantics for hybrid probabilistic logic programs with function symbols (Q2238621) (← links)
- A new approach to hybrid probabilistic logic programs (Q2642628) (← links)
- A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics (Q2835884) (← links)
- A Logical Approach to Qualitative and Quantitative Reasoning (Q3524928) (← links)
- Probabilistic Reasoning by SAT Solvers (Q3638188) (← links)
