Pages that link to "Item:Q1060866"
From MaRDI portal
The following pages link to Semantical considerations on nonmonotonic logic (Q1060866):
Displayed 50 items.
- Using approximate reasoning to represent default knowledge (Q578935) (← links)
- On the autoepistemic reconstruction of logic programming (Q685123) (← links)
- Skeptical reason maintenance and belief revision (Q685347) (← links)
- The alternating fixpoint of logic programs with negation (Q686646) (← links)
- Negation in rule-based database languages: A survey (Q753476) (← links)
- Negation by default and unstratifiable logic programs (Q753501) (← links)
- Evaluating the effect of semi-normality on the expressiveness of defaults (Q814438) (← links)
- Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief (Q814492) (← links)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Reasoning with infinite stable models (Q814596) (← links)
- Qualitative choice logic (Q814609) (← links)
- Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs (Q819946) (← links)
- Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
- A natural semantics for modal logic over databases (Q1102937) (← links)
- Reasoning about action. I: A possible worlds approach (Q1103419) (← links)
- On the relation between default and autoepistemic logic (Q1104771) (← links)
- A logical framework for default reasoning (Q1104777) (← links)
- Autocircumscription (Q1105394) (← links)
- A first-order conditional logic for prototypical properties (Q1108818) (← links)
- Efficient reasoning about rich temporal domains (Q1113891) (← links)
- On the relationship between circumscription and negation as failure (Q1115207) (← links)
- An algorithm to compute circumscription (Q1115208) (← links)
- Eliminating the fixed predicates from a circumscription (Q1119564) (← links)
- General logical databases and programs: Default logic semantics and stratification (Q1173955) (← links)
- Impediments to universal preference-based default theories (Q1182162) (← links)
- The effect of knowledge on belief: Conditioning, specificity and the lottery paradox in default reasoning (Q1182167) (← links)
- Three-valued nonmonotonic formalisms and semantics of logic programs (Q1182168) (← links)
- A general framework for reason maintenance (Q1187218) (← links)
- Nonmonotonicity and the scope of reasoning (Q1189875) (← links)
- What does a conditional knowledge base entail? (Q1193479) (← links)
- Resolving ambiguity in nonmonotonic inheritance hierarchies (Q1193489) (← links)
- An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic (Q1193840) (← links)
- The relationship between stable, supported, default and autoepistemic semantics for general logic programs (Q1199545) (← links)
- On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919) (← links)
- A logic of knowledge and justified assumption (Q1199920) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← links)
- On first-order conditional logics (Q1274556) (← links)
- Inheritance comes of age: applying nonmonotonic techniques to problems in industry (Q1274763) (← links)
- Lexicographic priorities in default logic (Q1277698) (← links)
- Is default logic a reinvention of inductive-statistical reasoning? (Q1293025) (← links)
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning (Q1311405) (← links)
- Autoepistemic circumscription and logic programming (Q1311407) (← links)
- Modal logics for qualitative possibility theory (Q1318249) (← links)
- Minimal knowledge problem: A new approach (Q1329374) (← links)
- The epistemic structure of a theory of a game (Q1330010) (← links)
- Unifying default reasoning and belief revision in a modal framework (Q1330669) (← links)
- Conditional logics of normality: A modal approach (Q1330670) (← links)
- Limited reasoning in first-order knowledge bases (Q1343837) (← links)
- Possible world semantics and autoepistemic reasoning (Q1343838) (← links)
- Autoepistemic logic programming (Q1344887) (← links)