The following pages link to The Description Logic Handbook (Q3569996):
Displaying 10 items.
- Logic programming approach to automata-based decision procedures (Q347398) (← links)
- Using formal methods with SysML in aerospace design and engineering (Q434438) (← links)
- Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases (Q513332) (← links)
- Interactive error correction in implicative theories (Q899138) (← links)
- Weighted defeasible knowledge bases and a multipreference semantics for a deep neural network model (Q2055796) (← links)
- Towards semantic document modelling of business processes (Q2280348) (← links)
- FLP answer set semantics without circular justifications for general logic programs (Q2453743) (← links)
- (Q4636969) (← links)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- Analyzing natural languages: antimems, contradictions, and onthologies (Q6042245) (← links)