The following pages link to (Q5740451):
Displaying 11 items.
- Computational complexity of terminological reasoning in BACK (Q1104128) (← links)
- A four-valued semantics for terminological logics (Q1115428) (← links)
- Subsumption computed algebraically (Q1202639) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- Toward effective knowledge acquisition with first-order logic induction. (Q1850683) (← links)
- (Q3063987) (← links)
- (Q3821625) (← links)
- (Q4386924) (← links)
- A First-order Logic for Reasoning about Knowledge and Probability (Q5121267) (← links)
- A practical integration of first-order reasoning and decision procedures (Q5234694) (← links)
- Fusing First-Order Knowledge Compilation and the Lifted Junction Tree Algorithm (Q6488077) (← links)