logo
Automated Reasoning

نتائج المؤتمرات (6)

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 Conference on Relational and AlgebraicMethods in Computer Science (RAMiCS)

Rank: COffline
Prague, Czech Republic
Aug 19, 2024 - Aug 22, 2024
relation algebrasKleene algebrassemigroups+14 المزيد

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 المزيد