Pages that link to "Item:Q1891266"
From MaRDI portal
The following pages link to A logic programming system for nonmonotonic reasoning (Q1891266):
Displaying 8 items.
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- An encompassing framework for paraconsistent logic programs (Q1775864) (← links)
- Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
- Belief revision via Lamarckian evolution (Q1877376) (← links)
- Epistemology and artificial intelligence (Q2565612) (← links)
- The limits of fixed-order computation (Q5940930) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)
- Update-programms can update programs (Q6623796) (← links)
