scientific article; zbMATH DE number 4049120
From MaRDI portal
Publication:3786007
Recommendations
Cited in
(18)- Intuitive minimal abduction in sequent calculi
- A unifying view for logic programming with non-monotonic reasoning
- Reasoning about causality between distributed nonatomic events
- Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
- A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
- Meaning and dialogue coherence: A proof-theoretic investigation
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Linear resolution for consequence finding
- Worlds of events: deduction with partial knowledge about causality
- Consistency-based and abductive diagnoses as generalised stable models
- On the duality of abduction and model generation in a framework for model generation with equality
- A Prolog technology theorem prover: A new exposition and implementation in Prolog
- Approximate achievability in event databases
- Event-object reasoning with curated knowledge bases: deriving missing information
- scientific article; zbMATH DE number 1803731 (Why is no real title available?)
- Formal Concept Analysis
- Updating knowledge bases
- Temporal abductive reasoning about biochemical reactions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3786007)
