Pages that link to "Item:Q1104777"
From MaRDI portal
The following pages link to A logical framework for default reasoning (Q1104777):
Displaying 50 items.
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- Semantics and complexity of abduction from default theories (Q1402749) (← links)
- Abstract argumentation systems (Q1402750) (← links)
- Compiling specificity into approaches to nonmonotonic reasoning (Q1402752) (← links)
- Abductive reasoning through filtering (Q1575426) (← links)
- Default reasoning and belief revision: A syntax-independent approach (Q1587335) (← links)
- Expressing preferences in default logic (Q1589465) (← links)
- Prioritized logic programming and its application to commonsense reasoning (Q1589476) (← links)
- Computing with default logic (Q1606312) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases (Q1678418) (← links)
- Restricted semantics for default reasoning (Q1757453) (← links)
- Semantics for a theory of defeasible reasoning (Q1776195) (← links)
- Abductive logics in a belief revision framework (Q1778101) (← links)
- Local logics, non-monotonicity and defeasible argumentation (Q1778103) (← links)
- On the computational complexity of assumption-based argumentation for default reasoning. (Q1852857) (← links)
- Nested abnormality theories (Q1855215) (← links)
- Abduction as belief revision (Q1855234) (← links)
- Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge (Q1855237) (← links)
- A comparative study of open default theories (Q1855239) (← links)
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games (Q1855240) (← links)
- A decision method for nonmonotonic reasoning based on autoepistemic reasoning (Q1891263) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- Belief revision, conditional logic and nonmonotonic reasoning (Q1903579) (← links)
- Minimal model semantics for sorted constraint representation (Q1907066) (← links)
- Modular specifications with supernormal defaults (Q1924749) (← links)
- Another perspective on default reasoning (Q1924825) (← links)
- Connections between default reasoning and partial constraint satisfaction (Q1961815) (← links)
- A modal logic for subjective default reasoning (Q1978244) (← links)
- Judgment aggregation in nonmonotonic logic (Q1990001) (← links)
- Abduction to plausible causes: an event-based model of belief update (Q2171257) (← links)
- Qualitative probabilities for default reasoning, belief revision, and causal modeling (Q2171264) (← links)
- EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface (Q2299238) (← links)
- The dramatic true story of the frame default (Q2341259) (← links)
- Nonmonotonic inferences and neural networks (Q2386104) (← links)
- Active logic semantics for a single agent in a static world (Q2389647) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Combining answer set programming with description logics for the semantic web (Q2389666) (← links)
- Consistency defaults (Q2454638) (← links)
- Dialectic proof procedures for assumption-based, admissible argumentation (Q2457643) (← links)
- Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)
- Conflicting imperatives and dyadic deontic logic (Q2568342) (← links)
- Non-monotonic reasoning from an evolution-theoretic perspective: Ontic, logical and cognitive foundations (Q2576425) (← links)
- (Q2767105) (← links)
- Preferential reasoning for modal logics (Q2825407) (← links)
- (Q3123861) (← links)
- Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches (Q3128369) (← links)
- A methodology for using a default and abductive reasoning system (Q3200593) (← links)
- Hybrid Reasoning on a Bipolar Argumentation Framework (Q3297805) (← links)
- (Q3408151) (← links)