Pages that link to "Item:Q1333271"
From MaRDI portal
The following pages link to A graph-theoretic approach to default logic (Q1333271):
Displayed 8 items.
- Finding kernels or solving SAT (Q414435) (← links)
- Kernels in digraphs that are not kernel perfect (Q442354) (← links)
- Propositional discourse logic (Q484942) (← links)
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- Operational concepts of nonmonotonic logics. I: Default logic (Q1333283) (← links)
- Default theories that always have extensions (Q1337686) (← links)
- Fixed-parameter tractability of disjunction-free default reasoning (Q1400063) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)