Pages that link to "Item:Q1104771"
From MaRDI portal
The following pages link to On the relation between default and autoepistemic logic (Q1104771):
Displaying 50 items.
- Approximating operators and semantics for abstract dialectical frameworks (Q490444) (← links)
- Ultimate approximation and its application in nonmonotonic knowledge representation systems (Q598245) (← 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)
- Introduction: Progress in formal commonsense reasoning (Q814546) (← links)
- Grounded fixpoints and their applications in knowledge representation (Q892232) (← links)
- An epistemic model of logic programming (Q918192) (← links)
- General default logic (Q987485) (← links)
- Diversity of agents and their interaction (Q1006512) (← links)
- A non-preferential semantics of non-monotonic modal logic (Q1028644) (← links)
- Hyperequivalence of logic programs with respect to supported models (Q1028652) (← links)
- The computational complexity of ideal semantics (Q1045987) (← links)
- Reasoning by cases in Default Logic (Q1128615) (← links)
- Impediments to universal preference-based default theories (Q1182162) (← links)
- Three-valued nonmonotonic formalisms and semantics of logic programs (Q1182168) (← links)
- Cumulative default logic: In defense of nonmonotonic inference rules (Q1187215) (← links)
- Nonmonotonicity and the scope of reasoning (Q1189875) (← links)
- Stable and extension class theory for logic programs and default logics (Q1197387) (← links)
- The relationship between stable, supported, default and autoepistemic semantics for general logic programs (Q1199545) (← links)
- A logic of knowledge and justified assumption (Q1199920) (← links)
- Relating minimal models and pre-requisite-free normal defaults (Q1205716) (← links)
- On the relation between default and modal nonmonotonic reasoning (Q1274266) (← 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)
- Minimal knowledge problem: A new approach (Q1329374) (← links)
- The epistemic structure of a theory of a game (Q1330010) (← links)
- Possible world semantics and autoepistemic reasoning (Q1343838) (← links)
- Autoepistemic logic of first order and its expressive power (Q1344888) (← links)
- Interpretations of open default theories in non-monotonic logics (Q1353871) (← links)
- A theory of nonmonotonic rule systems I (Q1356221) (← links)
- Modal logic for default reasoning (Q1356222) (← links)
- Multi-valued autoepistemic logic (Q1380408) (← links)
- Fixed-parameter tractability of disjunction-free default reasoning (Q1400063) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- Compiling specificity into approaches to nonmonotonic reasoning (Q1402752) (← links)
- Uniform semantic treatment of default and autoepistemic logics (Q1853682) (← links)
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games (Q1855240) (← links)
- In search of a ``true'' logic of knowledge: The nonmonotonic perspective (Q1855242) (← links)
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263) (← links)
- Modality and interrupts (Q1891265) (← links)
- A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370) (← links)
- Preference logics: Towards a unified approach to nonmonotonicity in deductive reasoning (Q1924777) (← links)
- Modal nonmonotonic logics demodalized (Q1924826) (← links)
- Autoepistemic answer set programming (Q2046018) (← links)
- Default reasoning using classical logic (Q2171265) (← links)
- Limited reasoning in first-order knowledge bases with full introspection (Q2171268) (← links)
- t-DeLP: an argumentation-based temporal defeasible logic programming framework (Q2248517) (← links)
