Conference Information
JELIA 2016: European Conference On Logics In Artificial Intelligence
Submission Date:
Notification Date:
Conference Date:
Larnaca, Cyprus
CORE: a   Viewed: 1866   Tracked: 0   Attend: 0

Conference Location
Call For Papers
Aim and Scope

The aim of JELIA 2016 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-fertilization 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
    Answer set programming
    Applications of logic-based AI systems
    Argumentation systems
    Automated reasoning including satisfiability checking and its extensions
    Computational complexity and expressiveness
    Deontic logic and normative systems
    Description logics and other logical approaches to semantic web and ontologies
    Knowledge representation, reasoning, and compilation
    Logic-based data access and integration
    Logic programming and constraint programming
    Logics for uncertain and probabilistic reasoning
    Logics in machine learning
    Logics in multi-agent systems, games, and social choice
    Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics
    Planning and diagnosis based on logic
    Reasoning about actions and causality
    Updates, belief revision and nonmonotonic reasoning

Special Track

This year's conference will include a Special Track on "Logic in AI and Cognition", focusing on the use of logics that seek to describe (not prescribe) human cognition, and that can be used for the design of systems that learn, reason, and interact with humans in a natural manner. Topics of interest for this Special Track include:

    Logic and natural language
    Cognitive knowledge representation and context
    Automating commonsense reasoning
    Algorithms and data structures for logic-based reasoning at a massive scale
    Tradeoffs between representational expressivity and reasoning/learning efficiency
    Interaction of logics with connectionist/neural approaches
    Conflict resolution across different knowledge bases
    Psychologically-inspired logics and psychological evaluation of logics
Last updated by Dou Sun in 2017-09-30
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 Intelligence2020-07-012020-08-162020-11-09
SEEInternational Symposium on Energy Economy2020-11-252020-12-102021-07-08
MEACMInternational Conference on Mechanical Engineering and Applied Composite Materials2020-10-232020-10-242020-10-24
cbb1AsiaCCSACM ASIA Conference on Computer and Communications Security2020-12-112021-02-152021-06-07
IWNMTInternational Workshop on New Material Technologies2020-10-052020-10-202020-11-05
PSGECPower System and Green Energy Conference2020-12-302021-01-302021-08-20
b1HapticsIEEE World Haptics2019-10-20 2020-03-28
Related Journals