Name: International Conference on Logics in Artificial Intelligence, Reasoning and Compilation
Start: 2026-04-18T00:00:00.000Z
End: 2026-04-19T00:00:00.000Z
Location: Seda Capitol CentralNorth Capitol Road, Lacson St, Bacolod, 6100 Negros Occidental, Philippines

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

_x000D_

International Conference on Logics in Artificial Intelligence, Reasoning and Compilation

Explore Related Pages

Engineering Topics

Philippines

Bacolod City

April-2026

More Engineering Topics Conferences

National Conference on Computing and Electronics Engineering

National Conference on Electrical and Power Electronics

National Conference on Computing and Electronics Engineering

National Conference on Computing and Electronics Engineering

More Conferences in Philippines

International Conference on Biomechanics and Ergonomics in Sports Equipment Design

International Conference on Displacement, Identity, and Cultural Change

International Conference on Sports Infrastructure, Facilities, and Structural Engineering

International Conference on Mobility and Digital Society

More Conferences in Bacolod City

International Conference on Artificial Intelligence and Digital Transformation in HR

International Conference on Industrial Enzymes and Biocatalyst Engineering

International Conference on Immunometabolism and Mitochondrial Function

International Conference on Ecosystem Health and Species Diversity