Pages that link to "Item:Q2807073"
From MaRDI portal
The following pages link to Systems and Implementations for Solving Reasoning Problems in Conditional Logics (Q2807073):
Displaying 4 items.
- A logical calculus for problem solving in highly structured application domains (Q1115646) (← links)
- Rules reduction for knowledge representation systems (Q1198439) (← links)
- A Gentzen system for conditional logic (Q1327484) (← links)
- A note on the rational closure of knowledge bases with both positive and negative knowledge (Q1387806) (← links)