logo
Automated Reasoning

会议结果 (6)

International Conference on Relational and AlgebraicMethods in Computer Science (RAMiCS)

Rank: COffline
Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland
Apr 7, 2026 - Apr 10, 2026
relation algebrasKleene algebrasalgebraic structures+29 更多

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

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 更多

International Joint Conference on Automated Reasoning (IJCAR)

Rank: AOffline
Lisbon, Portugal
Jul 26, 2026 - Jul 29, 2026
Automated ReasoningLogicComputer Science+7 更多

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 更多