A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY

No abstract is available for this paper.

• Publication year

  1995

• Venue

  International Conference on Climate Informatics

• Publication date

  1995-02-01

• Fields of study

  Mathematics, Philosophy, Computer Science

• Identifiers
  DOI 10.1111/j.1467-8640.1995.tb00025.x
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A categorical approach to the semantics of argumentation

  1996cited by this paper
• Paraconsistent logics?

  1995cited by this paper
• Inconsistency Management and Prioritized Syntax-Based Entailment

  1993cited by this paper
• Argumentative inference in uncertain and inconsistent knowledge bases

  1993cited by this paper
• Logic in Computer Science

  1993cited by this paper
• Dialectic reasoning with inconsistent information

  1993cited by this paper
• Making Inconsistency Respectable: A Logical Framework for Inconsistency in Reasoning: Part 2"; (In)

  1992cited by this paper
• A Symbolic Approach to Reasoning with Linguistic Quantifiers

  1992cited by this paper
• How to Reason Defeasibly

  1992cited by this paper
• Making inconsistency respectable 1 : A logical framework for inconsistency

  1992cited by this paper
• The Development of a "Logic of Argumentation"

  1992cited by this paper
• Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict

  1992cited by this paper
• Contraction-free sequent calculi for intuitionistic logic

  1992cited by this paper
• Arguments, Contradicitions and Practical Reasoning

  1992cited by this paper
• Inconsistency in possibilistic knowledge bases: to live with it or not live with it

  1992cited by this paper
• Ex contradictione nihil sequitur

  1991cited by this paper
• Knowledge in Flux

  1991cited by this paper
• An introduction to possibilistic and fuzzy logics

  1990cited by this paper
• Possibility theory: An approach to computerized processing of uncertainty

  1990cited by this paper
• Non-standard logics for automated reasoning

  1990cited by this paper
• Book Review: Non-Standard Logics for Automated Reasoning by P. Smets, E. H. Mamdani, D. Dubois, and H. Prade (Academic Press)

  1989cited by this paper
• Proofs and types

  1989influential reference
• Knowledge in Flux

  1988cited by this paper
• Defeasible reasoning and decision support systems

  1988cited by this paper
• Introduction to combinators and λ-calculus

  1988cited by this paper
• Knowledge in flux: modeling the dynamics of epistemic states

  1988cited by this paper
• Defeat among arguments: a system of defeasible inference

  1987cited by this paper
• Introduction to combinators and l-calculus

  1986cited by this paper
• Introduction to higher order categorical logic

  1986cited by this paper
• Logic for Computer Science

  1986cited by this paper
• On the Comparison of Theories: Preferring the Most Specific Explanation

  1985cited by this paper
• Judgment under uncertainty: The robust beauty of improper linear models in decision making

  1982cited by this paper
• Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge

  1977cited by this paper
• The concept of a linguistic variable and its application to approximate reasoning-III

  1975cited by this paper
• The concept of a linguistic variable and its application to approximate reasoning - I

  1975cited by this paper
• Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

  1972cited by this paper
• On inference from inconsistent premisses

  1970cited by this paper
• The development of logic

  1963cited by this paper
• Intuitionism: An introduction

  1956cited by this paper
• Constructible falsity

  1949cited by this paper

• A User Study Evaluating Argumentative Explanations in Diagnostic Decision Support

  2025cites this paper
• Value-oriented Legal Reasoning in LOGIKEY: Methodology and Case Study

  2022cites this paper
• Value-Oriented Legal Argumentation in Isabelle/HOL

  2021cites this paper
• Joint Attacks and Accrual in Argumentation Frameworks

  2021cites this paper
• Examining the modelling capabilities of defeasible argumentation and non-monotonic fuzzy reasoning

  2021cites this paper
• Logical assessment formula and its principles for evaluations with inaccurate ground-truth labels

  2021cites this paper
• A model to support collective reasoning: Formalization, analysis and computational assessment

  2020cites this paper
• A logic of defeasible argumentation: Constructing arguments in justification logic

  2020influential citation
• Modelling Value-Oriented Legal Reasoning in LogiKEy

  2020cites this paper
• The CREDO stack: theory to practice in cognitive systems design

  2020cites this paper
• A Purely Defeasible Argumentation Framework

  2019cites this paper
• An approach to decision making based on dynamic argumentation systems

  2019cites this paper
• Jog és a mesterséges intelligencia

  2019cites this paper
• The evolution of argumentation mining: From models to social media and emerging tools

  2019cites this paper
• Argumentation Mining: Exploiting Multiple Sources and Background Knowledge

  2018cites this paper
• Connecting fuzzy logic and argumentation frames via logical attack principles

  2018cites this paper
• Aide à la construction et l'évaluation des preuves mathématiques déductives par les systèmes d'argumentation. (Argumentation frameworks for constructing and evaluating deductive mathematical proofs)

  2018cites this paper
• Argumentation for statistical model selection

  2018cites this paper
• An Argumentation-Based Perspective Over the Social IoT

  2018cites this paper
• Combining Social Choice Theory and Argumentation: Enabling Collective Decision Making

  2018cites this paper
• Uses and computation of imprecise probabilities from statistical data and expert arguments

  2017influential citation
• Two forms of minimality in ASPIC `

  2017cites this paper
• Historical overview of formal argumentation

  2017cites this paper
• University of Groningen Historical overview of formal argumentation

  2017cites this paper
• Cognitive systems at the point of care: The CREDO program

  2017cites this paper
• Formal methods of argumentation as models of engineering design decisions and processes

  2017cites this paper
• An approach to characterize graded entailment of arguments through a label-based framework

  2017cites this paper
• A robust strategy for automated negotiations

  2017cites this paper
• A framework for relating, implementing and verifying argumentation models and their translations

  2016influential citation
• Machine Learning for Health Informatics

  2016influential citation
• Firewall configuration: An application of multiagent metalevel argumentation

  2016cites this paper
• An activity-centric argumentation framework for assistive technology aimed at improving health

  2016cites this paper
• Argumentation for Knowledge Representation, Conflict Resolution, Defeasible Inference and Its Integration with Machine Learning

  2016cites this paper
• Restablecimiento y especificidad en sistemas argumentativos

  2016cites this paper
• Possibilistic reasoning with partially ordered beliefs

  2015cites this paper
• About Radioisotope Dating ; CU-CS-1026-07

  2015cites this paper
• The CREDO stack: Theory to practice in cognitive systems engineering

  2015cites this paper
• Argument-based Constraint Logic-Programming in Satisfiability Modulo CHR

  2015cites this paper
• On Extracting Arguments in Favor of One Given Conclusion

  2015cites this paper
• Argumentative SOX Compliant and Intelligent Decision Support Systems for the Suppliers Contracting Process

  2015cites this paper
• Belief revision in structured probabilistic argumentation

  2015cites this paper
• A quantitative approach to belief revision in structured probabilistic argumentation

  2015cites this paper
• On Extracting Arguments in Favor of one Given Conclusion

  2015cites this paper
• A labeled argumentation framework

  2015cites this paper
• Agent-Based Reasoning in Medical Planning and Diagnosis Combining Multiple Strategies

  2014cites this paper
• Dispute Resolution Using Argumentation-Based Mediation

  2014cites this paper
• Formalising Human Mental Workload as a Defeasible Computational Concept

  2014cites this paper
• Decision Making Intelligent Agent on SOX Compliance over the Imports Process

  2014cites this paper
• Forensic Reasoning and Paleoclimatology: Creating a System That Works

  2014influential citation
• Defeasible Reasoning and Argument-Based Systems in Medical Fields: An Informal Overview

  2014cites this paper
• A tutorial on assumption-based argumentation

  2014cites this paper
• Knowledge‐Based Approaches for Predicting the Sites and Products of Metabolism

  2014cites this paper
• Advances in Argumentation-Based Negotiation

  2014cites this paper
• Structured Arguments and Their Aggregation: A Reply to Selinger

  2014cites this paper
• A possibilistic defeasible logic programming approach to argumentation-based decision-making

  2014cites this paper
• Towards a Human-Centric Argument-Based Decision-Making Framework

  2014cites this paper
• Belief Revision in Structured Probabilistic Argumentation

  2014cites this paper
• A Conditional Logic-Based Argumentation Framework

  2013cites this paper
• Business Intelligence Expert System on SOX Compliance over the Purchase Orders Creation Process

  2013cites this paper
• Decision Making Intelligent Agent on SOX Compliance over the Goods Receipt Processs

  2013cites this paper
• Argumentative SOX Compliant and Quality Decision Support Intelligent Expert System over the Suppliers Selection Process

  2013cites this paper
• Forensic Reasoning about Paleoclimatology

  2013cites this paper
• From Preferences over Arguments to Preferences over Attacks in Abstract Argumentation: A Comparative Study

  2013cites this paper
• On the integration of trust with negotiation, argumentation and semantics

  2013cites this paper
• Structural Properties for Deductive Argument Systems

  2013cites this paper
• Probabilistic program verification in the style of the unifying theories of programming

  2013cites this paper
• Argumentation logic to assist in security administration

  2012cites this paper
• An Argumentation Framework for Reasoning about Bounded Resources

  2012cites this paper
• An appreciation of John Pollock's work on the computational study of argument

  2012cites this paper
• A logic of argumentation for specification and verification of abstract argumentation frameworks

  2012cites this paper
• The application of structure-activity relationships to the prediction of the mutagenic activity of chemicals.

  2012cites this paper
• A Canonical Theory of Dynamic Decision-Making

  2012cites this paper
• A Probabilistic Semantics for abstract Argumentation

  2012cites this paper
• ProCLAIM: an argument-based model for deliberating over safety critical actions

  2012cites this paper
• STUDIES IN LOGIC, GRAMMAR AND RHETORIC 23 (36) 2011

  2012cites this paper
• The development of argument and computation and its roots in the LVOV-Warsaw school

  2011cites this paper
• Weighted Argumentation Systems: A Tool for Merging Argumentation Systems

  2011cites this paper
• Probabilistic Argumentation Frameworks

  2011cites this paper
• Sobre la toma de decisiones usando razonamiento argumentativo en agentes autónomos

  2011cites this paper
• Weighted argument systems: Basic definitions, algorithms, and complexity results

  2011cites this paper
• Poster Proceedings of the Fifth International Conference on Scalable Uncertainty Management

  2011cites this paper
• A Possibilistic Argumentation Decision Making Framework with Default Reasoning

  2011cites this paper
• Towards a UTP-style framework to deal with probabilities

  2011cites this paper
• Practical argumentation in a mixed-initiative framework

  2011cites this paper
• Merging argumentation systems with weighted argumentation systems: a preliminary study

  2011cites this paper
• An Algorithm for Constructing and Searching Spaces of Alternative Hypotheses

  2011cites this paper
• Arguments and actions: decoupling preference and planning through argumentation

  2011cites this paper
• Graduality in Argumentation

  2011influential citation
• Argumentation-Based Negotiation Support

  2010cites this paper
• Argumentation as a practical foundation for decision theory

  2010influential citation
• A taxonomy of argumentation models used for knowledge representation

  2010cites this paper
• Combining statistics and arguments to compute trust

  2010influential citation
• Some open questions for the integration of trust with negotiation , argumentation and semantics

  2010cites this paper
• Dialectical Proofs Accounting for Strength of Attacks in Argumentation Systems

  2010cites this paper
• Reasoning about Trust Using Argumentation: A Position Paper

  2010cites this paper
• Integrating Dialectical and Accrual Modes of Argumentation

  2010cites this paper
• Probabilistic Semantics for the Carneades Argument Model Using Bayesian Networks

  2010cites this paper
• End-to-End Support for Dating Paleolandforms

  2010cites this paper
• Base Logics in Argumentation

  2010cites this paper
• Coalitions of arguments: A tool for handling bipolar argumentation frameworks

  2010cites this paper