The following pages link to (Q4514013):
Displaying 15 items.
- Hyperresolution for guarded formulae (Q1404983) (← links)
- Expressiveness of concept expressions in first-order description logics (Q1606296) (← links)
- Reasoning in the defeasible description logic \(\mathcal{EL}_{\bot}\) -- computing standard inferences under rational and relevant semantics (Q1726275) (← links)
- Reasoning with logical bilattices (Q1919988) (← links)
- Rational closure for all description logics (Q2321316) (← links)
- A hybrid reasoning system for terminologies and first-order clauses in knowledge bases (Q2493276) (← links)
- (Q4386924) (← links)
- Practical reasoning for very expressive description logics (Q4487262) (← links)
- (Q4576215) (← links)
- Rational Closure for Defeasible Description Logics (Q4930756) (← links)
- Hypothetical reasoning and definitional reflection in logic programming (Q5053014) (← links)
- Reasoning about Multiple Aspects in Rational Closure for DLs (Q5215373) (← links)
- Rough Pragmatic Description Logic (Q5245313) (← links)
- DESCRIPTION LOGICS OVER LATTICES (Q5291327) (← links)
- Logic Programming (Q5475803) (← links)