Pages that link to "Item:Q1891266"
From MaRDI portal
The following pages link to A logic programming system for nonmonotonic reasoning (Q1891266):
Displaying 15 items.
- Formalizing nonmonotonic reasoning systems (Q1099647) (← links)
- 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)
- Systems and Implementations for Solving Reasoning Problems in Conditional Logics (Q2807073) (← links)
- (Q3044494) (← links)
- Extending Prolog with nonmonotonic reasoning (Q3129501) (← links)
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion (Q4208858) (← links)
- Non-monotonic reasoning with logic programming (Q4275259) (← links)
- (Q4537975) (← 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)