Conference Information

JELIA 2021: European Conference On Logics In Artificial Intelligence

Please Login to view website of conference

Submission Date:
2020-12-16
Notification Date:
2021-02-15
Conference Date:
2021-05-17
Location:
Klagenfurt, Austria
Years:
17
CORE: a   Viewed: 18883   Tracked: 0   Attend: 0

Call For Papers

JELIA 2021 (European Conference On Logics In Artificial Intelligence) is a CORE A conference held in Klagenfurt, Austria on 2021-05-17. The paper submission deadline is 2020-12-16. Acceptance notifications are sent on 2021-02-15.

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

Related Conferences

CCFCOREQUALISShortFull NameSubmissionNotificationConference
Artificial IntelligenceInternational Conference on Automation and Artificial Intelligence2022-06-012021-11-302020-05-21
aa*a1AAAIAAAI Conference on Artificial Intelligence2025-07-252025-11-032026-01-20
aa*a1SIGIRInternational Conference on Research and Development in Information Retrieval2026-01-152026-04-022026-07-20
aa*a1CVPRIEEE Conference on Computer Vision and Pattern Recognition2025-11-062026-02-202026-06-03
bba1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
aa*a1IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
aa*a1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
cba2ICCInternational Conference on Communications2025-10-132026-01-122026-05-24
caa2IJCNNInternational Joint Conference on Neural Networks2025-01-152025-03-312025-06-30
bba1ICASSPInternational Conference on Acoustics, Speech and Signal Processing2025-09-172026-01-162026-05-04

Related Journals

CCFFull NameImpact FactorPublisherISSN
The European Journal on Artificial Intelligence1.0IOS Press3050-4554
bIEEE Transactions on Multimedia9.7IEEE1520-9210
cKnowledge-Based Systems7.2Elsevier0950-7051
bSoftware & Systems Modeling3.2Springer1619-1366
aIEEE Transactions on Computers3.8IEEE0018-9340
cFuture Generation Computer Systems6.1Elsevier0167-739X
cNeurocomputing6.5Elsevier0925-2312
cPattern Recognition Letters3.9Elsevier0167-8655
bPattern Recognition7.6Elsevier0031-3203
IEEE Access3.6IEEE2169-3536

Tracker
No results found.
AttenderYear
No results found.
Advertisment