default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th CLAR 2021: Hangzhou, China
- Pietro Baroni
, Christoph Benzmüller, Yì N. Wáng:
Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings. Lecture Notes in Computer Science 13040, Springer 2021, ISBN 978-3-030-89390-3
Invited Papers
- Wenjing Du, Zihan Niu, Minghui Xiong:
Resolving the Cohenian Paradox in Judicial Probability Theory. 3-19 - Melisa Gisselle Escañuela Gonzalez, Maximiliano Celmo David Budán, Diego I. Martínez, Maria Laura Cobo, Guillermo Ricardo Simari:
Focusing the Argumentative Process: Neighborhood-Based Semantics in Abstract Argumentation. 20-39 - Roberta Calegari, Giovanni Sartor:
Burdens of Persuasion and Standards of Proof in Structured Argumentation. 40-59 - Ken Satoh, Laura Giordano, Matteo Baldoni:
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter. 60-75
Full Papers
- Weiwei Chen:
Collective Argumentation with Topological Restrictions. 79-93 - Marcos Cramer, Yannick Spörl:
The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments. 94-111 - Jérémie Dauphin, Tjitze Rienstra, Leendert van der Torre:
New Weak Admissibility Semantics for Abstract Argumentation. 112-126 - Vivien Beuselinck, Jérôme Delobelle, Srdjan Vesic:
On Restricting the Impact of Self-attacking Arguments in Gradual Semantics. 127-146 - Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca:
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation. 147-168 - Massimiliano Giacomin, Pietro Baroni, Federico Cerutti:
Towards a General Theory of Decomposability in Abstract Argumentation. 169-189 - Andreas Herzig, Antonio Yuste-Ginel:
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic. 190-208 - Timotheus Kampik, Kristijonas Cyras:
Explanations of Non-monotonic Inference in Admissibility-Based Abstract Argumentation. 209-223 - Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor:
The Burden of Persuasion in Abstract Argumentation. 224-243 - Marie-Christine Lagasquie-Schiex:
Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks. 244-265 - Yanjun Li:
Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans. 266-283 - Chonghui Li, Beishui Liao:
Integrating Individual Preferences into Collective Argumentation. 284-301 - Xinghan Liu, Emiliano Lorini:
A Logic for Binary Classifiers and Their Explanation. 302-321 - Jean-Guy Mailly:
Extension-Based Semantics for Incomplete Argumentation Frameworks. 322-341 - Vít Puncochár, Igor Sedlár:
Relevant Epistemic Logic with Public Announcements and Common Knowledge. 342-361 - Gemma Robles:
A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDE. 362-376 - Jeroen Paul Spaans:
Intrinsic Argument Strength in Structured Argumentation: A Principled Approach. 377-396 - Kazuko Takahashi, Tamon Okubo:
How Can You Resolve a Trilemma? - A Topological Approach -. 397-416 - Alexandros Vassiliades, Giorgos Flouris, Theodore Patkos, Antonis Bikakis, Nick Bassiliades, Dimitris Plexousakis:
A Multi Attack Argumentation Framework. 417-436 - Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black:
Towards a Sound and Complete Dialogue System for Handling Enthymemes. 437-456
Short Papers and Extended Abstracts
- Bruno Bentzen:
A Henkin-Style Completeness Proof for the Modal Logic S5. 459-467 - Jinsheng Chen, Beishui Liao, Leendert van der Torre:
Base Argumentation as an Abstraction of Deductive Argumentation. 468-476 - Bettina Fazzinga, Andrea Galassi, Paolo Torroni:
An Argumentative Dialogue System for COVID-19 Vaccine Information. 477-485 - Yan Gao, Zhengtao Liu, Juan Li, Fan Guo, Fei Xiao:
Extractive-Abstractive Summarization of Judgment Documents Using Multiple Attention Networks. 486-494 - Tim S. Lyon:
A Framework for Intuitionistic Grammar Logics. 495-503 - Adam Pease:
Choosing a Logic to Represent the Semantics of Natural Language. 504-512 - Ivo Pezlar:
The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract). 513-520 - Mariusz Urbanski, Zofia Zmójdzin:
Paranegations and the Square of Oppositions. 521-532 - Xuefeng Wen:
Validity Under Assumptions and Modus Ponens. 533-542 - Richard Zuber:
Entailments with Sentential Predicates. 543-550
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
