How to reason defeasibly
From MaRDI portal
Recommendations
Cites work
- A circumscriptive theorem prover
- A general framework for reason maintenance
- A logic for default reasoning
- A skeptical theory of inheritance in nonmonotonic semantic networks
- All I know: A study in autoepistemic logic
- Formalizing nonmonotonic reasoning systems
- scientific article; zbMATH DE number 4164169 (Why is no real title available?)
- scientific article; zbMATH DE number 4166925 (Why is no real title available?)
- scientific article; zbMATH DE number 1964822 (Why is no real title available?)
- Interest driven suppositional reasoning
- Limiting recursion
- Non-monotonic logic. I
- The logical foundations of statistical inference
- Trial and error predicates and the solution to a problem of Mostowski
Cited in
(62)- On the evaluation of argumentation formalisms
- Argumentation in artificial intelligence
- On principle-based evaluation of extension-based argumentation semantics
- Reaching agreements through argumentation: a logical model and implementation
- Justification and defeat
- Deontic logic as founded on nonmonotonic logic
- Dynamic reasoning with qualified syllogisms
- Abstract argumentation systems
- Extending abstract argumentation systems theory
- Inductive inference and argumentation methods in modern intelligent decision support systems
- Deductive argumentation by enhanced sequent calculi and dynamic derivations
- A characterization of types of support between structured arguments and their relationship with support in abstract argumentation
- Augmenting tractable fragments of abstract argumentation
- Minimal hypotheses: extension-based semantics to argumentation
- A generalized proof-theoretic approach to logical argumentation based on hypersequents
- A review of the relations between logical argumentation and reasoning with maximal consistency
- On three-valued acceptance conditions of abstract dialectical frameworks
- An argumentation system for defeasible reasoning
- Logical argumentation by dynamic proof systems
- A QBF-based formalization of abstract argumentation semantics
- A neural cognitive model of argumentation with application to legal inference and decision making
- SCC-recursiveness: a general schema for argumentation semantics
- Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems
- A formal account of Socratic-style argumentation
- Abductive inference in defeasible reasoning: a model for research programmes
- Backdoors to satisfaction
- Building an epistemic logic for argumentation
- Handling controversial arguments
- The Logical Handling of Threats, Rewards, Tips, and Warnings
- DEFEASIBLE REASONING IN WEB-BASED FORMS THROUGH ARGUMENTATION
- OSCAR
- scientific article; zbMATH DE number 1292296 (Why is no real title available?)
- Generating possible intentions with constrained argumentation systems
- scientific article; zbMATH DE number 1964822 (Why is no real title available?)
- Valued preference-based instantiation of argumentation frameworks with varied strength defeats
- Postulates for logic-based argumentation systems
- scientific article; zbMATH DE number 1844500 (Why is no real title available?)
- Argumentation through a distributed self-stabilizing approach
- scientific article; zbMATH DE number 757648 (Why is no real title available?)
- An approach to human-level commonsense reasoning
- A defeasible calculus for zetetic agents
- Defeasible reasoning in Navya-Nyāya
- Uses and computation of imprecise probabilities from statistical data and expert arguments
- I don't care, I don't know \(\dots \) I know too much! on incompleteness and undecidedness in abstract argumentation
- Defeasible reasoning + partial models: A formal framework for the methodology of research programs
- scientific article; zbMATH DE number 4189221 (Why is no real title available?)
- Evaluation of arguments in weighted bipolar graphs
- Cost-bounded argumentation
- A logic-based theory of deductive arguments
- When is argumentation deductive?
- Belief revision and computational argumentation: a critical comparison
- A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling
- Weakest link in formal argumentation: lookahead and principle-based analysis
- Instantiating abstract argumentation with classical logic arguments: postulates and properties
- Algorithms and complexity results for persuasive argumentation
- Bridging informal reasoning and formal proving: the role of argumentation in proof-events
- Epistemic entrenchment and arithmetical hierarchy
- The A-BDI metamodel for human-level AI. Argumentation as balancing, dialogue and inference
- Proportional acceptability of arguments
- Weakest link, prioritized default logic and principles in argumentation
- A new approach for preference-based argumentation frameworks
- The logicist manifesto: At long last let logic-based artificial intelligence become a field unto itself
This page was built for publication: How to reason defeasibly
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1199924)
