Pages that link to "Item:Q1855239"
From MaRDI portal
The following pages link to A comparative study of open default theories (Q1855239):
Displaying 9 items.
- Default theories over monadic languages (Q860840) (← links)
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning (Q1024815) (← links)
- A note on the stable model semantics for logic programs (Q1127348) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- The complexity of predicate default logic over a countable domain (Q1861328) (← links)
- GK: implementing full first order default logic for commonsense reasoning (system description) (Q2104518) (← links)
- Open default theories over closed domains (Q4934056) (← links)
- XI Latin American Symposium on Mathematical Logic (Q4946844) (← links)
- Extensions for open default theories via the domain closure assumption (Q5236446) (← links)