CLAR 2021: THE FOURTH INTERNATIONAL CONFERENCE ON LOGIC AND ARGUMENTATION

This page contains an index consisting of author-provided keywords.

4
4-valued relevant logics	A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
A
Abstract argumentation	New Weakly Admissible Semantics for Abstract Argumentation Towards a General Theory of Decomposability in Abstract Argumentation On Restricting the Impact of Self-Attacking Arguments in Gradual Semantics How Can You Resolve a Trilemma? - A Topological Approach - The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments Extension-based Semantics for Incomplete Argumentation Frameworks Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks
Abstract Argumentation Framework	A Multi Attack Argumentation Framework
Abstract argumentation frameworks	Abstract Argumentation with Qualitative Uncertainty: an Analysis in Dynamic Logic
Aggregation Method	Intrinsic Argument Strength in Structured Argumentation: a Principled Approach
Argumentation	Flexible dispute derivations with forward and backward arguments for assumption-based argumentation Towards a sound and complete dialogue system for handling enthymemes
Argumentation Framework	A Multi Attack Argumentation Framework
argumentation semantics	Towards a General Theory of Decomposability in Abstract Argumentation The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments
assumption withdrawing	The placeholder view of assumptions and the Curry–Howard correspondence
Assumption-based argumentation	Flexible dispute derivations with forward and backward arguments for assumption-based argumentation
Attack Types	A Multi Attack Argumentation Framework
attention network	Extractive-abstractive summarization of judgment documents using multiple attention networks
attitudinal self-awareness principle	Entailments with sentential predicates
automatic summarization	Extractive-abstractive summarization of judgment documents using multiple attention networks
B
Bi-relational model	A Framework for Intuitionistic Grammar Logics
Bipolar interactions	Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks
Boolean Function	A Logic for Binary Classifiers and their Explanation
Brady's 4-valued logic BN4	A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
C
Ceteris Paribus Logic	A Logic for Binary Classifiers and their Explanation
Chatbots	An Argumentative Dialogue System for COVID-19 Vaccine Information
Classifier	A Logic for Binary Classifiers and their Explanation
Collective argumentation	Integrating Individual Preferences into Collective Argumentation Collective Argumentation with Topological Restrictions
Completeness	A Framework for Intuitionistic Grammar Logics A Henkin-style completeness proof for the modal logic S5
computational argumentation	How Can You Resolve a Trilemma? - A Topological Approach - An Argumentative Dialogue System for COVID-19 Vaccine Information
Concordance	Integrating Individual Preferences into Collective Argumentation
conditional excluded middle	Validity under Assumptions
conditional logic	Validity under Assumptions
Context-free	A Framework for Intuitionistic Grammar Logics
Control argumentation framewroks	Abstract Argumentation with Qualitative Uncertainty: an Analysis in Dynamic Logic
Converse	A Framework for Intuitionistic Grammar Logics
corpus linguistics	Choosing a Logic to Represent the Semantics of Natural Language
COVID-19	An Argumentative Dialogue System for COVID-19 Vaccine Information
Curry–Howard correspondence	The placeholder view of assumptions and the Curry–Howard correspondence
D
Decomposability	Towards a General Theory of Decomposability in Abstract Argumentation
Deductive argumentation	Base Argumentation as an Abstraction of Deductive Argumentation (Extended Abstract)
Dialogue	Towards a sound and complete dialogue system for handling enthymemes
Dialogue systems	An Argumentative Dialogue System for COVID-19 Vaccine Information
Dispute derivations	Flexible dispute derivations with forward and backward arguments for assumption-based argumentation
Dynamic epistemic logic	Relevant Epistemic Logic with Public Announcements and Common Knowledge
Dynamic logic	Abstract Argumentation with Qualitative Uncertainty: an Analysis in Dynamic Logic
Dynamic logic of propositional assignments	Abstract Argumentation with Qualitative Uncertainty: an Analysis in Dynamic Logic
E
encoder-decoder	Extractive-abstractive summarization of judgment documents using multiple attention networks
Enthymemes	Towards a sound and complete dialogue system for handling enthymemes
Epistemic logic	Tableau-Based Decision Procedure for Logic of Knowing-How Relevant Epistemic Logic with Public Announcements and Common Knowledge
epistemic modality	Validity under Assumptions
excluded middle presupposition	Entailments with sentential predicates
Expert systems	An Argumentative Dialogue System for COVID-19 Vaccine Information
Explainability	An Argumentative Dialogue System for COVID-19 Vaccine Information
Explainable AI	A Logic for Binary Classifiers and their Explanation
Explainable Artificial Intelligence	Principle-based Explanations of Non-Monotonic Inference in Abstract Argumentation
F
Formal argumentation	New Weakly Admissible Semantics for Abstract Argumentation Principle-based Explanations of Non-Monotonic Inference in Abstract Argumentation The Burden of Persuasion in Abstract Argumentation Base Argumentation as an Abstraction of Deductive Argumentation (Extended Abstract)
Formal methods	A Henkin-style completeness proof for the modal logic S5
Framework	Towards a sound and complete dialogue system for handling enthymemes
Framework merging	Integrating Individual Preferences into Collective Argumentation
G
Gradual semantics	On Restricting the Impact of Self-Attacking Arguments in Gradual Semantics
Grammar logic	A Framework for Intuitionistic Grammar Logics
graph topology	How Can You Resolve a Trilemma? - A Topological Approach -
H
Higher-order interactions	Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks
I
Import-Export	Validity under Assumptions
Incomplete argumentation frameworks	Abstract Argumentation with Qualitative Uncertainty: an Analysis in Dynamic Logic
Incomplete preference aggregation	Integrating Individual Preferences into Collective Argumentation
Inquisitive logic	Relevant Epistemic Logic with Public Announcements and Common Knowledge
Intrinsic Argument Strength	Intrinsic Argument Strength in Structured Argumentation: a Principled Approach
Intuitionistic logic	A Framework for Intuitionistic Grammar Logics
intuitionistic propositional logic	The placeholder view of assumptions and the Curry–Howard correspondence
J
judgment documents	Extractive-abstractive summarization of judgment documents using multiple attention networks
K
knowing-how logic	Tableau-Based Decision Procedure for Logic of Knowing-How
L
Lean	A Henkin-style completeness proof for the modal logic S5
Legal Reasoning	The Burden of Persuasion in Abstract Argumentation
logic	Choosing a Logic to Represent the Semantics of Natural Language
Logic-based argumentation	Base Argumentation as an Abstraction of Deductive Argumentation (Extended Abstract)
Logical translation	Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks
M
midpoint operators	Entailments with sentential predicates
Modal Logic	A Logic for Binary Classifiers and their Explanation A Framework for Intuitionistic Grammar Logics A Henkin-style completeness proof for the modal logic S5
modus ponens	Validity under Assumptions
Multi Attack Argumentation Framework	A Multi Attack Argumentation Framework
N
natural deduction	The placeholder view of assumptions and the Curry–Howard correspondence
neg-transportability	Entailments with sentential predicates
Non-monotonic Reasoning	Principle-based Explanations of Non-Monotonic Inference in Abstract Argumentation The Burden of Persuasion in Abstract Argumentation
O
ontology	Choosing a Logic to Represent the Semantics of Natural Language
P
paralogics	Paranegations and The Square of Opposition
Path axiom	A Framework for Intuitionistic Grammar Logics
placeholder view of assumptions	The placeholder view of assumptions and the Curry–Howard correspondence
Principle-based analysis	New Weakly Admissible Semantics for Abstract Argumentation
principle-based approach	The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments
Principles	Intrinsic Argument Strength in Structured Argumentation: a Principled Approach
Public announcement logic	Relevant Epistemic Logic with Public Announcements and Common Knowledge
Q
Qualitative uncertainty	Abstract Argumentation with Qualitative Uncertainty: an Analysis in Dynamic Logic
R
Relevant logic	Relevant Epistemic Logic with Public Announcements and Common Knowledge
Relevant logics	A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
revision of argumentation	How Can You Resolve a Trilemma? - A Topological Approach -
S
SCC-recursion	The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments
Self-attack	On Restricting the Impact of Self-Attacking Arguments in Gradual Semantics
Semantics	Extension-based Semantics for Incomplete Argumentation Frameworks Choosing a Logic to Represent the Semantics of Natural Language
Sentence embeddings	An Argumentative Dialogue System for COVID-19 Vaccine Information
social choice theory	Collective Argumentation with Topological Restrictions
square of oppositions	Paranegations and The Square of Opposition
Structured Argumentation	Intrinsic Argument Strength in Structured Argumentation: a Principled Approach
SUMO	Choosing a Logic to Represent the Semantics of Natural Language
synthetic tableau method	Paranegations and The Square of Opposition
T
tableau	Tableau-Based Decision Procedure for Logic of Knowing-How
topological constraint	Collective Argumentation with Topological Restrictions
Two-valued Belnap-Dunn semantics	A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
U
Uncertainty	Extension-based Semantics for Incomplete Argumentation Frameworks
V
validity	Validity under Assumptions
Variable-sharing property	A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
W
Weak admissibility	New Weakly Admissible Semantics for Abstract Argumentation
Weight Aggregation	Intrinsic Argument Strength in Structured Argumentation: a Principled Approach

Disclaimer | Powered by EasyChair Smart Program