logo
description logics

会议结果 (4)

Logics in Artificial Intelligence, European Conference (JELIA)

Rank: AOffline
Kutaisi, Georgia
Sep 1, 2025 - Sep 5, 2025
Logics in Artificial IntelligenceAbductive and inductive reasoningArgumentation+19 更多

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theoryautomated deductioncategorical models and logics+35 更多

International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE)

Rank: COffline
Kuala Lumpur, Malaysia
Jul 6, 2026 - Jul 9, 2026
Adaptive ControlAmbient IntelligenceArgumentation Systems+45 更多

Annual Conference on Computer Science Logic (CSL)

Rank: BOffline
Paris, France
Feb 23, 2026 - Feb 28, 2026
automated deduction and interactive theorem provingconcurrency and distributed computationconstructive mathematics and type theory+27 更多