Pages that link to "Item:Q4868235"
From MaRDI portal
The following pages link to Analytic tableaux for default logics (Q4868235):
Displaying 6 items.
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- Consistency defaults (Q2454638) (← links)
- A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules (Q3455758) (← links)
- A query answering algorithm for Lukaszewicz' general open default theory (Q5236435) (← links)
- Abduction as deductive saturation: a proof-theoretic inquiry (Q6145029) (← links)
