The following pages link to (Q4739568):
Displaying 6 items.
- Probabilistic description logic programs (Q997050) (← links)
- A theory of nonmonotonic rule systems I (Q1356221) (← links)
- Nonmonotonic rule systems with recursive sets of restraints (Q1389245) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Propositional Clausal Defeasible Logic (Q3532456) (← links)
- Defeasible RDFS via rational closure (Q6490339) (← links)