logo
Automated reasoning

컨퍼런스 결과 (5)

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
Data MiningDecision Support SystemsDescription Logics+45 더 보기

Logic Programming and Automated Reasoning (LPAR)

Rank: BOffline
Ravenala Attitude Hotel, Balaclava, Mauritius
May 26, 2024 - May 31, 2024
automated reasoningcomputational logicprogramming languages and their applications

International Joint Conference on Automated Reasoning (IJCAR)

Rank: AOffline
Lisbon, Portugal
Jul 26, 2026 - Jul 29, 2026
Automated Reasoning

Computer Algebra in Scientific Computing (CASC)

Rank: BOffline
Dubai, The United Arab Emirates
Nov 24, 2025 - Nov 28, 2025
Symbolic ComputationComputer Algebra SystemsScientific Computing+9 더 보기

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 더 보기