Search results

• IJCAR
  |Title=International Joint Conference on Automated Reasoning |Field=Automated reasoning
  222 bytes (27 words) - 21:16, 1 April 2022
• CADE
  |Title=International Conference on Automated Deduction |Field=Automated reasoning
  234 bytes (29 words) - 21:09, 1 April 2022
• IJCAR 2020
  |Title=International Joint Conference on Automated Reasoning IJCAR 2020 is the merger of the following leading events in automated reasoning:
  1,004 bytes (122 words) - 20:08, 1 April 2022
• IJCAR 2018
  |Title=9th International Joint Conference on Automated Reasoning |Field=automated reasoning
  1 KB (157 words) - 19:41, 1 April 2022
• LPAR
  |Title =Logic Programming and Automated Reasoning
  232 bytes (25 words) - 22:39, 7 April 2022
• IJCAR 2016
  |Field=Automated Reasoning
  290 bytes (31 words) - 19:26, 1 April 2022
• IJCAR 2014
  |Field=Automated Reasoning
  290 bytes (32 words) - 19:26, 1 April 2022
• IJCAR 2008
  |Field=Automated Reasoning
  288 bytes (31 words) - 19:26, 1 April 2022
• IJCAR 2012
  |Field=Automated Reasoning
  330 bytes (39 words) - 19:26, 1 April 2022
• IJCAR 2010
  |Field=Automated Reasoning
  306 bytes (33 words) - 19:26, 1 April 2022
• IJCAR 2006
  |Field=Automated Reasoning
  313 bytes (36 words) - 19:26, 1 April 2022
• IJCAR 2001
  |Field=Automated Reasoning
  313 bytes (36 words) - 19:25, 1 April 2022
• IJCAR 2004
  |Field=Automated Reasoning
  311 bytes (36 words) - 19:26, 1 April 2022
• HermiT
  |Field=Automated reasoning
  889 bytes (124 words) - 11:52, 26 September 2008
• WAIMS 2016
  ...logic-based knowledge represen, statistical pattern recognitio, automated reasoning
  737 bytes (80 words) - 20:21, 1 April 2022
• ECSQARU 2009
  ...itle = 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty ...U conferences are a major forum for advances in the theory and practice of reasoning under uncertainty. Contributors are expected to come both from researchers
  3 KB (324 words) - 20:39, 1 April 2022
• ICAPS 2018
  |Title=28th International Conference on Automated Planning and Scheduling '''28th International Conference on Automated Planning and Scheduling (ICAPS) 2018''', will take place in Delft, Netherla
  2 KB (251 words) - 19:44, 1 April 2022
• International Journal of Networks and Systems ( IJNS )
  Automated Software Engineering Genetic Algorithms and Modeling, Fuzzy Logic and Approximate Reasoning
  2 KB (211 words) - 08:30, 26 October 2012
• PSI 2019
  * Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back
  1 KB (137 words) - 19:54, 1 April 2022
• LPAR 2008
  ...rnational Conference on Logic for Programming, Artificial Intelligence and Reasoning ...fter year, some of the most renowned researchers in the areas of automated reasoning, computational logic, programming languages and their applications come to
  5 KB (804 words) - 20:53, 1 April 2022

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)