Conference Information
JELIA 2021: European Conference On Logics In Artificial Intelligence
https://jelia2021.aau.at/Submission Date: |
2020-12-16 |
Notification Date: |
2021-02-15 |
Conference Date: |
2021-05-17 |
Location: |
Klagenfurt, Austria |
Years: |
17 |
CORE: a Viewed: 8138 Tracked: 0 Attend: 0
Call For Papers
The Program Committee of the 17th European Conference on Logics in Artificial Intelligence (JELIA 2021) invites the submission of technical papers for the conference that will be held in Klagenfurt, Austria, from May 17th to May 20th, 2021, circumstances permitting. The conference could also be held in a hybrid (physical presence and online) or online-only mode, depending on the development of the Covid-19 pandemic. The aim of JELIA 2021 is to bring together active researchers interested in all aspects concerning the use of logics in Artificial Intelligence to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilisation of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence including: Abductive and inductive reasoning Applications of logic-based AI systems Argumentation systems Automated reasoning including satisfiability checking and its extensions Causality and logics Computational complexity and expressiveness Deep learning for rules and ontologies Deontic logic and normative systems Description logics and other logical approaches to Semantic Web and ontologies Diagnosis and logics Explanation finding Knowledge representation, reasoning, and compilation Logic programming, answer set programming, constraint logic programming Logic-based data access and integration Logics in machine learning Logics for uncertain and probabilistic reasoning Logics in multi-agent systems, games, and social choice Neural networks and logic rules Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics Nonmonotonic logics, default logics, conditional logics Ontology formalisms and models Ontology-based reasoning and query answering Planning and diagnosis based on logic Preferences and optimization Reasoning about actions and causality Updates, belief revision and nonmonotonic reasoning
Last updated by Dou Sun in 2020-12-12
Related Conferences
CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
---|---|---|---|---|---|---|---|
Smart X | International Conference on Smart X | 2017-04-30 | 2017-05-20 | 2017-07-21 | |||
MCCAI | International Conference on Medical Image Computing and Computer Assisted Intervention | 2018-03-02 | 2018-09-16 | ||||
c | b | a2 | ICTAI | International Conference on Tools with Artificial Intelligence | 2024-07-01 | 2024-08-18 | 2024-10-28 |
CNML | International Conference on Networking and Machine Learning | 2021-07-15 | 2021-07-20 | 2021-07-23 | |||
SEE | International Symposium on Energy Economy | 2022-06-20 | 2022-07-05 | 2022-07-27 | |||
MEACM | International Conference on Mechanical Engineering and Applied Composite Materials | 2024-07-30 | 2024-08-30 | 2024-09-23 | |||
IWNMT | International Workshop on New Material Technologies | 2023-05-12 | |||||
c | b | b1 | AsiaCCS | ACM ASIA Conference on Computer and Communications Security | 2024-09-20 | 2024-12-13 | 2025-08-25 |
PSGEC | Power System and Green Energy Conference | 2025-02-10 | 2025-03-15 | 2025-08-20 |
Short | Full Name | Submission | Conference |
---|---|---|---|
Smart X | International Conference on Smart X | 2017-04-30 | 2017-07-21 |
MCCAI | International Conference on Medical Image Computing and Computer Assisted Intervention | 2018-03-02 | 2018-09-16 |
ICTAI | International Conference on Tools with Artificial Intelligence | 2024-07-01 | 2024-10-28 |
CNML | International Conference on Networking and Machine Learning | 2021-07-15 | 2021-07-23 |
SEE | International Symposium on Energy Economy | 2022-06-20 | 2022-07-27 |
MEACM | International Conference on Mechanical Engineering and Applied Composite Materials | 2024-07-30 | 2024-09-23 |
IWNMT | International Workshop on New Material Technologies | 2023-05-12 | |
AsiaCCS | ACM ASIA Conference on Computer and Communications Security | 2024-09-20 | 2025-08-25 |
PSGEC | Power System and Green Energy Conference | 2025-02-10 | 2025-08-20 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
b | Software Testing, Verification and Reliability | 1.500 | John Wiley & Sons, Ltd | 1099-1689 |
Human-centric Computing and Information Sciences | Springer | 2192-1962 | ||
b | Journal of Web Semantics | 2.100 | Elsevier | 1570-8268 |
Calphad | 1.900 | Elsevier | 0364-5916 | |
c | Journal of Biomedical Informatics | 4.000 | Elsevier | 1532-0464 |
b | Information and Software Technology | 3.800 | Elsevier | 0950-5849 |
a | ACM Transactions on Architecture and Code Optimization | 1.500 | ACM | 1544-3566 |
b | World Wide Web | 2.700 | Springer | 1386-145X |
International Journal of Digital Information and Wireless Communications | SDIWC | 2225-658X | ||
Security Informatics | Springer | 2190-8532 |
Full Name | Impact Factor | Publisher |
---|---|---|
Software Testing, Verification and Reliability | 1.500 | John Wiley & Sons, Ltd |
Human-centric Computing and Information Sciences | Springer | |
Journal of Web Semantics | 2.100 | Elsevier |
Calphad | 1.900 | Elsevier |
Journal of Biomedical Informatics | 4.000 | Elsevier |
Information and Software Technology | 3.800 | Elsevier |
ACM Transactions on Architecture and Code Optimization | 1.500 | ACM |
World Wide Web | 2.700 | Springer |
International Journal of Digital Information and Wireless Communications | SDIWC | |
Security Informatics | Springer |
Recommendation