+91 9344546233

events@researchfora.net

Physical / Digital Conference

Do's and Dont's FAQ Venue

Home

Call For Paper

Home Call For Paper

Call For Paper

Engineering

    • 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 Preferences
    • Reasoning about actions and causality

Sponsored and Indexed by

all conference alert all conference alert