Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jean-Guy Mailly |
A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 84-100, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxuan Fu, Zhiguang Zhao |
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 11-24, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Chi |
A Filtering-Based General Approach to Learning Rational Constraints of Epistemic Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 175-192, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Steen, Geoff Sutcliffe, Tobias Scholl, Christoph Benzmüller |
Solving Modal Logic Problems by Translation to Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 25-43, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxuan Fu, Zhiguang Zhao |
A Logic for Preference Lifting Under Uncertainty and Its Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 213-223, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zongshun Wang, Yuping Shen |
Fuzzy Labeling Semantics for Quantitative Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 193-210, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Polina Vinogradova |
Formalizing the Unexpected Hanging Paradox: A Classical Surprise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 44-58, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Herzig, Jieting Luo, Pere Pardo (eds.) |
Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![Springer, 978-3-031-40874-8 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chen Chen, Pere Pardo, Leendert van der Torre, Liuwen Yu |
Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 61-83, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Yu, Yiwei Lu |
A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 157-171, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Cachin, David Lehnherr, Thomas Studer |
Modal and Justification Logics for Multi-agent Systems (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 3-8, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jieting Luo, Thomas Studer, Mehdi Dastani |
Providing Personalized Explanations: A Conversational Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 121-137, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kazuko Takahashi, Hiroyoshi Miwa |
Topological Conditions and Solutions for Repairing Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 101-118, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Liping Tang, Ryuichiro Ishikawa |
Audience Irrelevance in Strategic Argumentation Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings, pp. 138-156, 2023, Springer, 978-3-031-40874-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Richard Zuber |
Entailments with Sentential Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 543-550, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xinghan Liu, Emiliano Lorini |
A Logic for Binary Classifiers and Their Explanation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 302-321, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Cramer, Yannick Spörl |
The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 94-111, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Dauphin, Tjitze Rienstra, Leendert van der Torre |
New Weak Admissibility Semantics for Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 112-126, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Martin Diller, Sarah Alice Gaggl, Piotr Gorczyca |
Flexible Dispute Derivations with Forward and Backward Arguments for Assumption-Based Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 147-168, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Adam Pease |
Choosing a Logic to Represent the Semantics of Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 504-512, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Tim S. Lyon |
A Framework for Intuitionistic Grammar Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 495-503, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexandros Vassiliades, Giorgos Flouris, Theodore Patkos, Antonis Bikakis, Nick Bassiliades, Dimitris Plexousakis |
A Multi Attack Argumentation Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 417-436, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yanjun Li |
Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 266-283, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Chonghui Li, Beishui Liao |
Integrating Individual Preferences into Collective Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 284-301, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Yan Gao, Zhengtao Liu, Juan Li, Fan Guo, Fei Xiao |
Extractive-Abstractive Summarization of Judgment Documents Using Multiple Attention Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 486-494, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Xuefeng Wen |
Validity Under Assumptions and Modus Ponens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 533-542, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor |
The Burden of Persuasion in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 224-243, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Herzig, Antonio Yuste-Ginel |
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 190-208, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jinsheng Chen, Beishui Liao, Leendert van der Torre |
Base Argumentation as an Abstraction of Deductive Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 468-476, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Massimiliano Giacomin, Pietro Baroni, Federico Cerutti 0001 |
Towards a General Theory of Decomposability in Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 169-189, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vít Puncochár, Igor Sedlár |
Relevant Epistemic Logic with Public Announcements and Common Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 342-361, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Roberta Calegari, Giovanni Sartor |
Burdens of Persuasion and Standards of Proof in Structured Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 40-59, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Weiwei Chen |
Collective Argumentation with Topological Restrictions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 79-93, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Guy Mailly |
Extension-Based Semantics for Incomplete Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 322-341, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Baroni, Christoph Benzmüller, Yì N. Wáng (eds.) |
Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![Springer, 978-3-030-89390-3 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marie-Christine Lagasquie-Schiex |
Handling Support Cycles and Collective Interactions in the Logical Encoding of Higher-Order Bipolar Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 244-265, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Mariusz Urbanski, Zofia Zmójdzin |
Paranegations and the Square of Oppositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 521-532, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Bentzen |
A Henkin-Style Completeness Proof for the Modal Logic S5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 459-467, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jeroen Paul Spaans |
Intrinsic Argument Strength in Structured Argumentation: A Principled Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 377-396, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Vivien Beuselinck, Jérôme Delobelle, Srdjan Vesic |
On Restricting the Impact of Self-attacking Arguments in Gradual Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 127-146, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 20-39, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ken Satoh, Laura Giordano 0001, Matteo Baldoni |
Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 60-75, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Kazuko Takahashi, Tamon Okubo |
How Can You Resolve a Trilemma? - A Topological Approach -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 397-416, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Wenjing Du, Zihan Niu, Minghui Xiong |
Resolving the Cohenian Paradox in Judicial Probability Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 3-19, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Pezlar |
The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 513-520, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gemma Robles |
A Variant with the Variable-Sharing Property of Brady's 4-Valued Implicative Expansion BN4 of Anderson and Belnap's Logic FDE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 362-376, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black |
Towards a Sound and Complete Dialogue System for Handling Enthymemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 437-456, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Fazzinga, Andrea Galassi, Paolo Torroni |
An Argumentative Dialogue System for COVID-19 Vaccine Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 477-485, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Timotheus Kampik, Kristijonas Cyras |
Explanations of Non-monotonic Inference in Admissibility-Based Abstract Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - 4th International Conference, CLAR 2021, Hangzhou, China, October 20-22, 2021, Proceedings, pp. 209-223, 2021, Springer, 978-3-030-89390-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marcos Cramer, Emmanuelle-Anna Dietz Saldanha |
Logic Programming, Argumentation and Human Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 58-79, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mina Young Pedersen, Sonja Smets, Thomas Ågotnes |
Further Steps Towards a Logic of Polarization in Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 324-345, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ryuta Arisaka, Takayuki Ito 0001 |
Broadening Label-Based Argumentation Semantics with May-Must Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 22-41, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ivo Düntsch, Wojciech Dzik |
Ideal Related Algebras and Their Logics Extended Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 96-103, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ågotnes, Yì N. Wáng |
Group Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 3-21, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tiago Oliveira 0002, Jérémie Dauphin, Ken Satoh, Shusaku Tsumoto, Paulo Novais |
Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 166-183, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sejla Dautovic, Dragan Doder, Zoran Ognjanovic |
Reasoning About Degrees of Confirmation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 80-95, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Chinghui Su, Liwu Rong, Fei Liang |
Reasoning as Speech Acts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 279-286, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi Dastani, Huimin Dong, Leon van der Torre (eds.) |
Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![Springer, 978-3-030-44637-6 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Weiwei Chen 0006 |
Preservation of Admissibility with Rationality and Feasibility Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 245-258, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jiachao Wu, Hengfei Li |
Probabilistic Three-Valued Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 308-323, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Satoru Suzuki |
Intuitionistic-Bayesian Semantics of First-Order Logic for Generics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 184-200, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michael Baur, Thomas Studer |
Semirings of Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 42-57, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Xu Li, Yì N. Wáng |
A Logic of Knowledge and Belief Based on Abstract Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 116-130, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kees van Berkel 0002, Tim Lyon, Francesco Olivieri |
A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 219-241, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zongshun Wang, Jiachao Wu |
Dynamics of Fuzzy Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 287-307, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomer Libal, Alexander Steen |
Towards an Executable Methodology for the Formalization of Legal Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 151-165, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | David Fuenmayor, Christoph Benzmüller |
Computer-Supported Analysis of Arguments in Climate Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 104-115, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Davide Liga, Monica Palmirani |
Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 259-278, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Tomer Libal |
A Meta-level Annotation Language for Legal Texts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 131-150, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Liping Tang |
Ambiguity Preference and Context Learning in Uncertain Signaling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 201-218, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Yu |
A Formalization of the Slippery Slope Argument. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Logic and Argumentation - Third International Conference, CLAR 2020, Hangzhou, China, April 6-9, 2020, Proceedings, pp. 346-361, 2020, Springer, 978-3-030-44637-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Beishui Liao, Thomas Ågotnes, Yì N. Wáng (eds.) |
Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![Springer, 978-981-13-7790-7 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuming Xu, Lidong Xu, Claudette Cayrol |
Structural Analysis of Extension-Based Argumentation Semantics with Joint Acceptability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018., pp. 1-20, 2018, Springer, 978-981-13-7790-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre |
A Dynamic Approach for Combining Abstract Argumentation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018., pp. 21-43, 2018, Springer, 978-981-13-7790-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Huimin Dong, Norbert Gratzl, Olivier Roy |
Open Reading and Free Choice Permission: A Perspective in Substructural Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018., pp. 81-115, 2018, Springer, 978-981-13-7790-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jie Fan 0001 |
A Road to Ultrafilter Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018., pp. 117-133, 2018, Springer, 978-981-13-7790-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sylvie Doutre, Andreas Herzig, Laurent Perrussel |
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018., pp. 153-185, 2018, Springer, 978-981-13-7790-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kang Xu 0004, Beishui Liao, Huaxin Huang |
Updating Argumentation Frameworks for Enforcing Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018., pp. 63-79, 2018, Springer, 978-981-13-7790-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mengyuan Zhao |
Soft Presuppositions as Scalar Implicatures in Signaling Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018., pp. 135-151, 2018, Springer, 978-981-13-7790-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Bistarelli, Francesco Santini 0001, Carlo Taticchi |
Local Expansion Invariant Operators in Argumentation Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018., pp. 45-62, 2018, Springer, 978-981-13-7790-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Fuenmayor, Christoph Benzmüller |
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018., pp. 187-207, 2018, Springer, 978-981-13-7790-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ågotnes, Beishui Liao, Yì N. Wáng (eds.) |
Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Satoshi Tojo |
Agent, Epistemology, and AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 4, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Leendert W. N. van der Torre |
Norms and Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 5, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Xin Sun 0001, Livio Robaldo |
Norm Creation in Proposition Control Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 12-22, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Hans van Ditmarsch |
Epistemic Gossip Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 1, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Cihua Xu, Chuanrui Zhang |
Argument by Multimodal Metaphor as Strategic Maneuvering: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 38-71, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Mengyuan Zhao |
A Game-Theoretic Analysis on the Use of Indirect Speech Acts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 103-115, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Chenwei Shi, Sonja Smets |
Beliefs supported by Arguments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 6-11, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Jiachao Wu, Nir Oren |
Some properties of Janssen's Fuzzy Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 30-37, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Jianfang Wang |
On Freeman's Argument Structure Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 23-29, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Fenrong Liu |
Reasons to Believe in Social Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 3, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Liying Zhang |
Reasoning with Generics and Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 93-102, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Jun Dong |
Electrocardiogram (ECG) Analysis - From Domain Experience to Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 2, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Yuming Xu, Claudette Cayrol |
Initial Sets in Abstract Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 72-85, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
1 | Yuan Yao, Wanwan Li, Junsheng Shen, Xiaoming Yang |
Rule-based Lightweight Structure Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLAR ![In: Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), Hangzhou, China, April 2-3, 2016., pp. 86-92, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|