Pages that link to "Item:Q1388210"
From MaRDI portal
The following pages link to Interval-valued probabilistic logic for a class of Horn clauses (Q1388210):
Displaying 5 items.
- Pseudo-Boolean valued Prolog (Q1117705) (← links)
- Inference flexibility in Horn clause knowledge bases and the simplex method (Q1319393) (← links)
- Characterizing consistency in probabilistic logic for a class of Horn clauses (Q1340063) (← links)
- Interval/probabilistic uncertainty and non-classical logics (Q2473569) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5473985) (← links)