Inference rules using local contexts
From MaRDI portal
Publication:751642
- scientific article; zbMATH DE number 2087445
- The context of inference
- scientific article; zbMATH DE number 1341465
- Contextual reasoning distilled
- Publication:4941944
- Artificial Intelligence and Soft Computing - ICAISC 2004
- Local conditioning in Bayesian networks
- scientific article; zbMATH DE number 1670573
- Local possibilistic logic
(7)
- Local Confluence for Rules with Nested Application Conditions
- Title not available (Why is no real title available?)
- What holds in a context?
- Presenting and combining inference systems. Presentations with inference rules
- IMPS: An interactive mathematical proof system
- IMPS: An updated system description
- IMPS : An interactive mathematical proof system
Uses Software
This page was built for publication: Inference rules using local contexts
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q751642)