Choosing a Logic to Represent the Semantics of Natural Language (English)
- New search for: Pease, Adam
- New search for: Baroni, Pietro
- Further information on Baroni, Pietro:
-
https://orcid.org/https://orcid.org/0000-0001-5439-9561
- New search for: Benzmüller, Christoph
- Further information on Benzmüller, Christoph:
-
https://orcid.org/https://orcid.org/0000-0002-3392-3093
- New search for: Wáng, Yὶ N.
- Further information on Wáng, Yὶ N.:
-
https://orcid.org/https://orcid.org/0000-0002-0650-4993
- New search for: Pease, Adam
In:
Logic and Argumentation
: 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings
;
Chapter: 30
;
504-512
;
2021
- Article/Chapter (Book) / Electronic Resource
-
Title:Choosing a Logic to Represent the Semantics of Natural Language
-
Additional title:Lect.Notes Computer
-
Contributors:Baroni, Pietro ( editor ) / Benzmüller, Christoph ( editor ) / Wáng, Yὶ N. ( editor ) / Pease, Adam ( author )
-
Conference:International Conference on Logic and Argumentation ; 2021 ; Hangzhou, China
-
Published in:Logic and Argumentation : 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings ; Chapter: 30 ; 504-512Lecture Notes in Computer Science ; 13040 ; 504-512Lecture Notes in Artificial Intelligence ; 504-512
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2021-10-15
-
Size:9 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Resolving the Cohenian Paradox in Judicial Probability TheoryDu, Wenjing / Niu, Zihan / Xiong, Minghui et al. | 2021
- 2
-
Focusing the Argumentative Process: Neighborhood-Based Semantics in Abstract ArgumentationEscañuela Gonzalez, Melisa G. / Budán, Maximiliano C. D. / Martínez, Diego I. / Cobo, Maria Laura / Simari, Guillermo R. et al. | 2021
- 3
-
Burdens of Persuasion and Standards of Proof in Structured ArgumentationCalegari, Roberta / Sartor, Giovanni et al. | 2021
- 4
-
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreterSatoh, Ken / Giordano, Laura / Baldoni, Matteo et al. | 2021
- 5
-
Collective Argumentation with Topological RestrictionsChen, Weiwei et al. | 2021
- 6
-
The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of ArgumentsCramer, Marcos / Spörl, Yannick et al. | 2021
- 7
-
New Weak Admissibility Semantics for Abstract ArgumentationDauphin, Jérémie / Rienstra, Tjitze / van der Torre, Leendert et al. | 2021
- 8
-
On Restricting the Impact of Self-attacking Arguments in Gradual SemanticsBeuselinck, Vivien / Delobelle, Jérôme / Vesic, Srdjan et al. | 2021
- 9
-
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based ArgumentationDiller, Martin / Gaggl, Sarah Alice / Gorczyca, Piotr et al. | 2021
- 10
-
Towards a General Theory of Decomposability in Abstract ArgumentationGiacomin, Massimiliano / Baroni, Pietro / Cerutti, Federico et al. | 2021
- 11
-
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic LogicHerzig, Andreas / Yuste-Ginel, Antonio et al. | 2021
- 12
-
Explanations of Non-monotonic Inference in Admissibility-Based Abstract ArgumentationKampik, Timotheus / Čyras, Kristijonas et al. | 2021
- 13
-
The Burden of Persuasion in Abstract ArgumentationKampik, Timotheus / Gabbay, Dov / Sartor, Giovanni et al. | 2021
- 14
-
Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation FrameworksLagasquie-Schiex, Marie-Christine et al. | 2021
- 15
-
Tableau-Based Decision Procedure for Logic of Knowing-How via Simple PlansLi, Yanjun et al. | 2021
- 16
-
Integrating Individual Preferences into Collective ArgumentationLi, Chonghui / Liao, Beishui et al. | 2021
- 17
-
A Logic for Binary Classifiers and Their ExplanationLiu, Xinghan / Lorini, Emiliano et al. | 2021
- 18
-
Extension-Based Semantics for Incomplete Argumentation FrameworksMailly, Jean-Guy et al. | 2021
- 19
-
Relevant Epistemic Logic with Public Announcements and Common KnowledgePunčochář, Vít / Sedlár, Igor et al. | 2021
- 20
-
A Variant with the Variable-Sharing Property of Brady’s 4-Valued Implicative Expansion BN4 of Anderson and Belnap’s Logic FDERobles, Gemma et al. | 2021
- 21
-
Intrinsic Argument Strength in Structured Argumentation: A Principled ApproachSpaans, Jeroen Paul et al. | 2021
- 22
-
How Can You Resolve a Trilemma? - A Topological Approach -Takahashi, Kazuko / Okubo, Tamon et al. | 2021
- 23
-
A Multi Attack Argumentation FrameworkVassiliades, Alexandros / Flouris, Giorgos / Patkos, Theodore / Bikakis, Antonis / Bassiliades, Nick / Plexousakis, Dimitris et al. | 2021
- 24
-
Towards a Sound and Complete Dialogue System for Handling EnthymemesXydis, Andreas / Hampson, Christopher / Modgil, Sanjay / Black, Elizabeth et al. | 2021
- 25
-
A Henkin-Style Completeness Proof for the Modal Logic S5Bentzen, Bruno et al. | 2021
- 26
-
Base Argumentation as an Abstraction of Deductive ArgumentationChen, Jinsheng / Liao, Beishui / van der Torre, Leendert et al. | 2021
- 27
-
An Argumentative Dialogue System for COVID-19 Vaccine InformationFazzinga, Bettina / Galassi, Andrea / Torroni, Paolo et al. | 2021
- 28
-
Extractive-Abstractive Summarization of Judgment Documents Using Multiple Attention NetworksGao, Yan / Liu, Zhengtao / Li, Juan / Guo, Fan / Xiao, Fei et al. | 2021
- 29
-
A Framework for Intuitionistic Grammar LogicsLyon, Tim S. et al. | 2021
- 30
-
Choosing a Logic to Represent the Semantics of Natural LanguagePease, Adam et al. | 2021
- 31
-
The Placeholder View of Assumptions and the Curry–Howard Correspondence (Extended Abstract)Pezlar, Ivo et al. | 2021
- 32
-
Paranegations and the Square of OppositionsUrbański, Mariusz / Żmójdzin, Zofia et al. | 2021
- 33
-
Validity Under Assumptions and Modus PonensWen, Xuefeng et al. | 2021
- 34
-
Entailments with Sentential PredicatesZuber, Richard et al. | 2021