Pages that link to "Item:Q1140442"
From MaRDI portal
The following pages link to The mathematics of non-monotonic reasoning (Q1140442):
Displaying 26 items.
- John McCarthy's legacy (Q543573) (← links)
- A theorem on the consistency of circumscription (Q578934) (← links)
- Decidability and definability with circumscription (Q579240) (← links)
- Circumscription: Completeness reviewed (Q685339) (← links)
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning (Q1024815) (← links)
- Saturation, nonmonotonic reasoning and the closed-world assumption (Q1060864) (← links)
- Completeness results for circumscription (Q1073787) (← links)
- On the computability of circumscription (Q1098651) (← links)
- A natural semantics for modal logic over databases (Q1102937) (← links)
- An approach to default reasoning based on a first-order conditional logic: Revised report (Q1103607) (← links)
- Autocircumscription (Q1105394) (← links)
- Nonmonotonic logic and temporal projection (Q1108819) (← links)
- The importance of open and recursive circumscription (Q1117210) (← links)
- Results on translating defaults to circumscription (Q1117211) (← links)
- Eliminating the fixed predicates from a circumscription (Q1119564) (← links)
- Circumscription - a form of non-monotonic reasoning (Q1140440) (← links)
- Abstract minimality and circumscription (Q1193477) (← links)
- The value of the four values (Q1274293) (← links)
- First-order syntactic characterizations of minimal entailment, domain- minimal entailment, and Herbrand entailment (Q1311412) (← links)
- A tableau prover for domain minimization (Q1344878) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- Complexity and undecidability results for logic programming (Q1924779) (← links)
- My Life as a Logician (Q3305314) (← links)
- Circumscription within monotonic inferences (Q3808067) (← links)
- General domain circumscription and its first-order reduction (Q4632291) (← links)
- Only persistence makes nonmonotonicity monotonous (Q5236431) (← links)
