会議情報
CLAR 2023: International Conference on Logic and Argumentation
https://www.zlaire.net/zjulogai2023/clar2023/提出日: |
2023-05-06 Extended |
通知日: |
2023-06-15 |
会議日: |
2023-09-10 |
場所: |
Hangzhou, China |
年: |
5 |
閲覧: 5074 追跡: 0 出席: 0
論文募集
The 5th International Conference on Logic and Argumentation (CLAR 2023) invites contributions from logic, artificial intelligence, philosophy, computer science, linguistics, law, and other areas studying logic and formal argumentation. CLAR 2023 will be held 10th-12th September 2023 at Zhejiang University in Hangzhou. In order to save travelling cost and time, the conference will be held in a HYBRID format (virtual and physical attendance both accepted), and we encourage physical participation if possible.
CLAR 2023 aims to highlight recent advances in logic and argumentation and foster interaction in these two areas between researchers within and outside China. Previous conferences can be accessed via: https://www.zlaire.net/clar/.
This conference is a satellite event of ZJULogAI2023 taking place at Zhejiang University from 8th - 12th September 2023.
List of Topics
Suggested topics include, but are not limited to the following:
Abstract argumentation
Applications of logic and/or argumentation
Applied logic
Argumentation and game theory
Argumentation and law
Argumentation and linguistics
Argumentation and medical reasoning
Argumentation and causal reasoning
Argumentation and explainable AI
Argumentation and ethical AI
Argumentation and knowledge graph reasoning
Argumentation and modal logics
Argument mining
Argumentation schemes
BDI logic
Computational argumentation
Deontic logic
Dynamic epistemic logic
Belief revision
Formal models for dialog and argumentation
Informal logic
Judgment aggregation
Knowledge representation and reasoning
Logic for game theory
Logic for multi-agent systems
Logic for semantic web
Logic for social networks
Mathematical logic
Modal logic
Nonmonotonic logics
Numerical and uncertainty reasoning
Philosophical logic
Pragma-Dialectics
Preference logic
Probabilistic argumentation
Quantitative argumentation
Structured (i.e. logic-based) argumentation
Uncertain argumentation
最終更新 Dou Sun 2023-05-03
関連会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| c | a | b1 | ISAAC | International Symposium on Algorithms and Computation | 2024-06-28 | 2024-09-02 | 2024-12-08 |
| c | a | a2 | ICDAR | International Conference on Document Analysis and Recognition | 2025-03-07 | 2025-05-24 | 2025-09-17 |
| c | b | b3 | LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2025-05-09 | 2025-06-27 | 2025-09-09 |
| b2 | IWLS | International Workshop on Logic & Synthesis | 2012-04-02 | 2012-06-01 | |||
| a* | ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-01-23 | 2024-04-16 | 2024-07-16 | ||
| a* | a1 | EC | ACM Conference on Economics and Computation | 2025-02-03 | 2025-05-17 | 2025-07-07 | |
| b2 | IPAW | International Provenance and Annotation Workshop | 2012-04-20 | 2012-06-19 | |||
| a | a | a1 | DAC | Design Automation Conference | 2025-11-11 | 2026-03-09 | 2026-07-26 |
| a | b1 | ICLP | International Conference on Logic Programming | 2022-01-14 | 2022-03-14 | 2022-07-31 | |
| b | b | a1 | ICRA | International Conference on Robotics and Automation | 2025-09-15 | 2026-06-01 |
| 省略名 | 完全な名前 | 会議日 |
|---|---|---|
| ISAAC | International Symposium on Algorithms and Computation | 2024-12-08 |
| ICDAR | International Conference on Document Analysis and Recognition | 2025-09-17 |
| LOPSTR | International Symposium on Logic-Based Program Synthesis and Transformation | 2025-09-09 |
| IWLS | International Workshop on Logic & Synthesis | 2012-06-01 |
| ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-07-16 |
| EC | ACM Conference on Economics and Computation | 2025-07-07 |
| IPAW | International Provenance and Annotation Workshop | 2012-06-19 |
| DAC | Design Automation Conference | 2026-07-26 |
| ICLP | International Conference on Logic Programming | 2022-07-31 |
| ICRA | International Conference on Robotics and Automation | 2026-06-01 |
関連仕訳帳
| CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
|---|---|---|---|---|
| Journal of Documentation | 1.700 | Emerald | 0022-0418 | |
| c | Journal of Logic and Computation | 0.700 | Oxford University Press | 0955-792X |
| International Journal of Robotics and Automation | ACTA Press | 0826-8185 | ||
| Journal of Logic, Language and Information | 0.700 | Springer | 0925-8531 | |
| Journal of Library Automation | American Library Association | 0022-2240 | ||
| b | Journal of Symbolic Computation | 1.1 | Elsevier | 0747-7171 |
| ACM Transactions on Economics and Computation | 1.100 | ACM | 2167-8375 | |
| Information | MDPI | 2078-2489 | ||
| Computation | MDPI | 2079-3197 | ||
| IEEE Robotics and Automation Letters | 4.600 | IEEE | 2377-3766 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| Journal of Documentation | 1.700 | Emerald |
| Journal of Logic and Computation | 0.700 | Oxford University Press |
| International Journal of Robotics and Automation | ACTA Press | |
| Journal of Logic, Language and Information | 0.700 | Springer |
| Journal of Library Automation | American Library Association | |
| Journal of Symbolic Computation | 1.1 | Elsevier |
| ACM Transactions on Economics and Computation | 1.100 | ACM |
| Information | MDPI | |
| Computation | MDPI | |
| IEEE Robotics and Automation Letters | 4.600 | IEEE |