scientific article; zbMATH DE number 4049120
From MaRDI portal
Publication:3786007
zbMATH Open0643.68127MaRDI QIDQ3786007FDOQ3786007
Tomasz Pietrzykowski, P. T. Cox
Publication date: 1986
Title of this publication is not available (Why is that?)
Recommendations
- Dynamic Causality in Event Structures
- Dynamic Causality in Event Structures
- Reasoning about causality between distributed nonatomic events
- Causation in branching time. I: Transitions, events and causes
- scientific article
- scientific article; zbMATH DE number 1439344
- Computing in cause-effect structures
- Causality. Models, reasoning, and inference
Cited In (14)
- 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
- ABox abduction in the description logic \(\mathcal{ALC}\)
- Meaning and dialogue coherence: A proof-theoretic investigation
- Linear resolution for consequence finding
- 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
- Title not available (Why is that?)
- 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)
