Pages that link to "Item:Q1060866"
From MaRDI portal
The following pages link to Semantical considerations on nonmonotonic logic (Q1060866):
Displaying 50 items.
- Preferences in artificial intelligence (Q314443) (← links)
- Approximating operators and semantics for abstract dialectical frameworks (Q490444) (← links)
- On the parameterized complexity of non-monotonic logics (Q494658) (← links)
- John McCarthy's legacy (Q543573) (← links)
- Iterated belief change in the situation calculus (Q543588) (← links)
- Stable models and circumscription (Q543596) (← links)
- From answer set logic programming to circumscription via logic of GK (Q543597) (← links)
- Semantics and complexity of recursive aggregates in answer set programming (Q543600) (← links)
- Using approximate reasoning to represent default knowledge (Q578935) (← links)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Well-founded semantics for defeasible logic (Q625708) (← 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)
- Semantical considerations on multiagent only knowing (Q892188) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- Logic programming as classical inference (Q898781) (← links)
- Semantic-based construction of arguments: an answer set programming approach (Q899190) (← links)
- Conditional entailment: bridging two approaches to default reasoning. (Q989161) (← links)
- Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning (Q1024815) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Default logic generalized and simplified (Q1028638) (← links)
- A non-preferential semantics of non-monotonic modal logic (Q1028644) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- Argumentation in artificial intelligence (Q1028943) (← links)
- The computational complexity of ideal semantics (Q1045987) (← 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)
