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
CCFCOREQUALISShortFull NameSubmissionNotificationConference
Smart XInternational Conference on Smart X2017-04-302017-05-202017-07-21
MCCAIInternational Conference on Medical Image Computing and Computer Assisted Intervention2018-03-02 2018-09-16
cba2ICTAIInternational Conference on Tools with Artificial Intelligence2024-07-012024-08-182024-10-28
CNMLInternational Conference on Networking and Machine Learning2021-07-152021-07-202021-07-23
SEEInternational Symposium on Energy Economy2022-06-202022-07-052022-07-27
MEACMInternational Conference on Mechanical Engineering and Applied Composite Materials2024-07-302024-08-302024-09-23
IWNMTInternational Workshop on New Material Technologies  2023-05-12
cbb1AsiaCCSACM ASIA Conference on Computer and Communications Security2024-09-202024-12-132025-08-25
PSGECPower System and Green Energy Conference2025-02-102025-03-152025-08-20
Related Journals
CCFFull NameImpact FactorPublisherISSN
bSoftware Testing, Verification and Reliability1.500John Wiley & Sons, Ltd1099-1689
Human-centric Computing and Information SciencesSpringer2192-1962
bJournal of Web Semantics2.100Elsevier1570-8268
Calphad1.900Elsevier0364-5916
cJournal of Biomedical Informatics4.000Elsevier1532-0464
bInformation and Software Technology3.800Elsevier0950-5849
aACM Transactions on Architecture and Code Optimization1.500ACM1544-3566
bWorld Wide Web2.700Springer1386-145X
International Journal of Digital Information and Wireless Communications SDIWC2225-658X
Security InformaticsSpringer2190-8532
Recommendation