Pages that link to "Item:Q4632323"
From MaRDI portal
The following pages link to Skeptical query-answering in Constrained Default Logic (Q4632323):
Displaying 4 items.
- A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370) (← links)
- A sequent calculus for skeptical Default Logic (Q4610318) (← links)
- A Set-theoretic Approach to Reasoning Services for the Description Logic 𝒟 ℒ D 4,× (Q4988948) (← links)
- An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4,׆ (Q4991928) (← links)