The following pages link to (Q3786007):
Displaying 12 items.
- Updating knowledge bases (Q918229) (← links)
- Meaning and dialogue coherence: A proof-theoretic investigation (Q1006473) (← links)
- Linear resolution for consequence finding (Q1199916) (← links)
- A Prolog technology theorem prover: A new exposition and implementation in Prolog (Q1199932) (← links)
- On the duality of abduction and model generation in a framework for model generation with equality (Q1314425) (← links)
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881) (← links)
- A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation (Q1354059) (← links)
- Intuitive minimal abduction in sequent calculi (Q1389097) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Consistency-based and abductive diagnoses as generalised stable models (Q1924796) (← links)
- ABox abduction in the description logic \(\mathcal{ALC}\) (Q2429984) (← links)
- Temporal abductive reasoning about biochemical reactions (Q4586234) (← links)
