Pages that link to "Item:Q1344885"

The following pages link to Tableau-based characterization and theorem proving for default logic (Q1344885):

Displayed 4 items.

• Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) ‎ (← links)
• Is default logic a reinvention of inductive-statistical reasoning? (Q1293025) ‎ (← links)
• Alternative foundations for Reiter's default logic (Q1589575) ‎ (← links)
• Analytic tableaux for default logics (Q4868235) ‎ (← links)