ON PROOFS IN SYSTEM P

DOI10.1142/S0218488500000149zbMath1113.68490MaRDI QIDQ3427877

Rachel A. Bourne, Simon Parsons

Publication date: 27 March 2007

Published in: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

zbMATH Keywords

proof theoryqualitative probabilitySystem P

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

Generalizing inference rules in a coherence-based probabilistic default reasoning ⋮ Lossy Inference Rules and Their Bounds: A Brief Review

Cites Work

• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• What does a conditional knowledge base entail?

This page was built for publication: ON PROOFS IN SYSTEM P