| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jean-Guy Mailly |
A Logical Encoding for k-m-Realization of Extensions in Abstract Argumentation.  |
CLAR  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxuan Fu, Zhiguang Zhao |
Dynamic Modal Logic with Counting: When Reduction Axioms Work and Fail. |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiao Chi |
A Filtering-Based General Approach to Learning Rational Constraints of Epistemic Graphs. |
CLAR |
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. |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxuan Fu, Zhiguang Zhao |
A Logic for Preference Lifting Under Uncertainty and Its Decidability. |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zongshun Wang, Yuping Shen |
Fuzzy Labeling Semantics for Quantitative Argumentation. |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Polina Vinogradova |
Formalizing the Unexpected Hanging Paradox: A Classical Surprise. |
CLAR |
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 |
CLAR |
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. |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Yu, Yiwei Lu |
A Structured Bipolar Argumentation Theory for Providing Explanations in Practical Reasoning. |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Cachin, David Lehnherr, Thomas Studer |
Modal and Justification Logics for Multi-agent Systems (Invited Talk). |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jieting Luo, Thomas Studer, Mehdi Dastani |
Providing Personalized Explanations: A Conversational Approach. |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuko Takahashi, Hiroyoshi Miwa |
Topological Conditions and Solutions for Repairing Argumentation Frameworks. |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liping Tang, Ryuichiro Ishikawa |
Audience Irrelevance in Strategic Argumentation Games. |
CLAR |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zuber |
Entailments with Sentential Predicates. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinghan Liu, Emiliano Lorini |
A Logic for Binary Classifiers and Their Explanation. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Cramer, Yannick Spörl |
The Choice-Preferred Semantics for Relevance-Oriented Acceptance of Admissible Sets of Arguments. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérémie Dauphin, Tjitze Rienstra, Leendert van der Torre |
New Weak Admissibility Semantics for Abstract Argumentation. |
CLAR |
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. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Pease |
Choosing a Logic to Represent the Semantics of Natural Language. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim S. Lyon |
A Framework for Intuitionistic Grammar Logics. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Vassiliades, Giorgos Flouris, Theodore Patkos, Antonis Bikakis, Nick Bassiliades, Dimitris Plexousakis |
A Multi Attack Argumentation Framework. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Li |
Tableau-Based Decision Procedure for Logic of Knowing-How via Simple Plans. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Chonghui Li, Beishui Liao |
Integrating Individual Preferences into Collective Argumentation. |
CLAR |
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. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuefeng Wen |
Validity Under Assumptions and Modus Ponens. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor |
The Burden of Persuasion in Abstract Argumentation. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Antonio Yuste-Ginel |
Abstract Argumentation with Qualitative Uncertainty: An Analysis in Dynamic Logic. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinsheng Chen, Beishui Liao, Leendert van der Torre |
Base Argumentation as an Abstraction of Deductive Argumentation. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Giacomin, Pietro Baroni, Federico Cerutti 0001 |
Towards a General Theory of Decomposability in Abstract Argumentation. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vít Puncochár, Igor Sedlár |
Relevant Epistemic Logic with Public Announcements and Common Knowledge. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberta Calegari, Giovanni Sartor |
Burdens of Persuasion and Standards of Proof in Structured Argumentation. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiwei Chen |
Collective Argumentation with Topological Restrictions. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Guy Mailly |
Extension-Based Semantics for Incomplete Argumentation Frameworks. |
CLAR |
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 |
CLAR |
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. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariusz Urbanski, Zofia Zmójdzin |
Paranegations and the Square of Oppositions. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Bentzen |
A Henkin-Style Completeness Proof for the Modal Logic S5. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen Paul Spaans |
Intrinsic Argument Strength in Structured Argumentation: A Principled Approach. |
CLAR |
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. |
CLAR |
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. |
CLAR |
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. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuko Takahashi, Tamon Okubo |
How Can You Resolve a Trilemma? - A Topological Approach -. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing Du, Zihan Niu, Minghui Xiong |
Resolving the Cohenian Paradox in Judicial Probability Theory. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Pezlar |
The Placeholder View of Assumptions and the Curry-Howard Correspondence (Extended Abstract). |
CLAR |
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. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Xydis, Christopher Hampson, Sanjay Modgil, Elizabeth Black |
Towards a Sound and Complete Dialogue System for Handling Enthymemes. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Fazzinga, Andrea Galassi, Paolo Torroni |
An Argumentative Dialogue System for COVID-19 Vaccine Information. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Timotheus Kampik, Kristijonas Cyras |
Explanations of Non-monotonic Inference in Admissibility-Based Abstract Argumentation. |
CLAR |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcos Cramer, Emmanuelle-Anna Dietz Saldanha |
Logic Programming, Argumentation and Human Reasoning. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mina Young Pedersen, Sonja Smets, Thomas Ågotnes |
Further Steps Towards a Logic of Polarization in Social Networks. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryuta Arisaka, Takayuki Ito 0001 |
Broadening Label-Based Argumentation Semantics with May-Must Scales. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivo Düntsch, Wojciech Dzik |
Ideal Related Algebras and Their Logics Extended Abstract. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ågotnes, Yì N. Wáng |
Group Belief. |
CLAR |
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. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sejla Dautovic, Dragan Doder, Zoran Ognjanovic |
Reasoning About Degrees of Confirmation. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Chinghui Su, Liwu Rong, Fei Liang |
Reasoning as Speech Acts. |
CLAR |
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 |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiwei Chen 0006 |
Preservation of Admissibility with Rationality and Feasibility Constraints. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiachao Wu, Hengfei Li |
Probabilistic Three-Valued Argumentation Frameworks. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Satoru Suzuki |
Intuitionistic-Bayesian Semantics of First-Order Logic for Generics. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Baur, Thomas Studer |
Semirings of Evidence. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xu Li, Yì N. Wáng |
A Logic of Knowledge and Belief Based on Abstract Arguments. |
CLAR |
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. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zongshun Wang, Jiachao Wu |
Dynamics of Fuzzy Argumentation Frameworks. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomer Libal, Alexander Steen |
Towards an Executable Methodology for the Formalization of Legal Texts. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fuenmayor, Christoph Benzmüller |
Computer-Supported Analysis of Arguments in Climate Engineering. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Liga, Monica Palmirani |
Uncertainty in Argumentation Schemes: Negative Consequences and Basic Slippery Slope. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomer Libal |
A Meta-level Annotation Language for Legal Texts. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Liping Tang |
Ambiguity Preference and Context Learning in Uncertain Signaling. |
CLAR |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Yu |
A Formalization of the Slippery Slope Argument. |
CLAR |
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. |
CLAR |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuming Xu, Lidong Xu, Claudette Cayrol |
Structural Analysis of Extension-Based Argumentation Semantics with Joint Acceptability. |
CLAR |
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. |
CLAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Huimin Dong, Norbert Gratzl, Olivier Roy |
Open Reading and Free Choice Permission: A Perspective in Substructural Logics. |
CLAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Fan 0001 |
A Road to Ultrafilter Extensions. |
CLAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvie Doutre, Andreas Herzig, Laurent Perrussel |
Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change. |
CLAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kang Xu 0004, Beishui Liao, Huaxin Huang |
Updating Argumentation Frameworks for Enforcing Extensions. |
CLAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengyuan Zhao |
Soft Presuppositions as Scalar Implicatures in Signaling Games. |
CLAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini 0001, Carlo Taticchi |
Local Expansion Invariant Operators in Argumentation Semantics. |
CLAR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | David Fuenmayor, Christoph Benzmüller |
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments. |
CLAR |
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. |
CLAR |
2017 |
DBLP BibTeX RDF |
|
| 1 | Satoshi Tojo |
Agent, Epistemology, and AI. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Leendert W. N. van der Torre |
Norms and Arguments. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Xin Sun 0001, Livio Robaldo |
Norm Creation in Proposition Control Games. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Hans van Ditmarsch |
Epistemic Gossip Protocols. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Cihua Xu, Chuanrui Zhang |
Argument by Multimodal Metaphor as Strategic Maneuvering: A Case Study. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Mengyuan Zhao |
A Game-Theoretic Analysis on the Use of Indirect Speech Acts. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Chenwei Shi, Sonja Smets |
Beliefs supported by Arguments. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jiachao Wu, Nir Oren |
Some properties of Janssen's Fuzzy Argumentation Frameworks. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jianfang Wang |
On Freeman's Argument Structure Approach. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Fenrong Liu |
Reasons to Believe in Social Settings. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Liying Zhang |
Reasoning with Generics and Induction. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Jun Dong |
Electrocardiogram (ECG) Analysis - From Domain Experience to Classification. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Yuming Xu, Claudette Cayrol |
Initial Sets in Abstract Argumentation Frameworks. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Yuan Yao, Wanwan Li, Junsheng Shen, Xiaoming Yang |
Rule-based Lightweight Structure Design. |
CLAR |
2016 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license