The following pages link to (Q4858040):
Displaying 17 items.
- A context for belief revision: forward chaining-normal nonmonotonic rule systems (Q1326782) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Universe of discourse and existence (Q1634754) (← links)
- Dealing with explicit preferences and uncertainty in answer set programming (Q1928820) (← links)
- Nonmonotonicity in the framework of parametric logic (Q2009771) (← links)
- What makes propositional abduction tractable (Q2389658) (← links)
- Beliefs in conditionals vs. conditional beliefs (Q2460295) (← links)
- Inference on the low level. An investigation into deduction, nonmonotonic reasoning, and the philosophy of cognition (Q2487868) (← links)
- Privacy Preservation Using Multi-context Systems and Default Logic (Q2900519) (← links)
- Qualitative decision theory (Q3455538) (← links)
- (Q4282617) (← links)
- HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions (Q4443404) (← links)
- On the dynamics of default reasoning (Q4805483) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)
- Nonmonotonic reasoning by inhibition nets (Q5941136) (← links)
- Explaining updates by minimal sums (Q5958777) (← links)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)
