Pages that link to "Item:Q4275255"
From MaRDI portal
The following pages link to An overview of nonmonotonic reasoning and logic programming (Q4275255):
Displaying 12 items.
- Parsing as non-Horn deduction (Q688151) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- A unifying view for logic programming with non-monotonic reasoning (Q1390932) (← links)
- Verification, validation, and integrity issues in expert and database systems: Two perspectives (Q2739003) (← links)
- To Vladimir Lifschitz on His 65th Birthday (Q2900498) (← links)
- (Q3044494) (← links)
- Extending Prolog with nonmonotonic reasoning (Q3129501) (← links)
- A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion (Q4208858) (← links)
- (Q4537434) (← links)
- Contextual hypotheses and semantics of logic programs (Q4897703) (← links)
- Characterizing D-WFS: Confluence and iterated GCWA (Q5236439) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)