This event is expired!
International Conference on Logics in Artificial Intelligence, Machine Learning and Automated Reasoning ICLAIMLAR on May 27-28, 2023 in Tokyo, Japan
Submit Your Paper
- Short Name: ICLAIMLAR
- Event Type: Conference
- Website URL: https://waset.org/logics-in-artificial-intelligence-machine-learning-and-automated-reasoning-conference-in-may-2023-in-tokyo
- Program URL: https://waset.org/conferences-in-may-2023-in-tokyo/program
- Location: Tokyo, Japan
- Date: May 27-28, 2023
- Organization: World Academy of Science, Engineering and Technology
- Conference Tags: artificial intelligence
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
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
Name: World Academy of Science, Engineering and Technology
Website: https://waset.org/
Address: UAE