Pages that link to "Item:Q3638182"
From MaRDI portal
The following pages link to Realizing Default Logic over Description Logic Knowledge Bases (Q3638182):
Displaying 4 items.
- New tractable classes for default reasoning from conditional knowledge bases (Q2502153) (← links)
- A model building framework for answer set programming with external computations (Q4593036) (← links)
- Reasoning About Prescription and Description Using Prioritized Default Rules (Q5222955) (← links)
- \textbf{DefTab}: a tableaux system for sceptical consequence in default modal logics (Q6541144) (← links)