Search results

• IJCAR
  |Title=International Joint Conference on Automated Reasoning |Field=Automated reasoning
  167 bytes (22 words) - 11:18, 17 February 2021
• CADE
  |Title=International Conference on Automated Deduction |Field=Automated reasoning
  179 bytes (24 words) - 11:14, 17 February 2021
• IJCAR 2020
  |Title=International Joint Conference on Automated Reasoning IJCAR 2020 is the merger of the following leading events in automated reasoning:
  938 bytes (116 words) - 14:12, 17 February 2021
• LPAR
  |Title=Logic Programming and Automated Reasoning
  146 bytes (19 words) - 11:19, 17 February 2021
• IJCAR 2018
  |Title=9th International Joint Conference on Automated Reasoning |Field=automated reasoning
  1 KB (152 words) - 13:49, 17 February 2021
• IJCAR 2016
  |Field=Automated Reasoning
  235 bytes (26 words) - 13:33, 17 February 2021
• IJCAR 2014
  |Field=Automated Reasoning
  235 bytes (27 words) - 13:33, 17 February 2021
• IJCAR 2008
  |Field=Automated Reasoning
  233 bytes (26 words) - 13:33, 17 February 2021
• IJCAR 2012
  |Field=Automated Reasoning
  275 bytes (34 words) - 13:33, 17 February 2021
• IJCAR 2010
  |Field=Automated Reasoning
  251 bytes (28 words) - 13:33, 17 February 2021
• IJCAR 2001
  |Field=Automated Reasoning
  258 bytes (31 words) - 13:33, 17 February 2021
• IJCAR 2004
  |Field=Automated Reasoning
  256 bytes (31 words) - 13:33, 17 February 2021
• IJCAR 2006
  |Field=Automated Reasoning
  258 bytes (31 words) - 13:33, 17 February 2021
• WAIMS 2016
  ...logic-based knowledge represen, statistical pattern recognitio, automated reasoning
  678 bytes (75 words) - 14:09, 17 February 2021
• HermiT
  |Field=Automated reasoning
  889 bytes (124 words) - 12:12, 17 February 2021
• 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 (321 words) - 12:22, 17 February 2021
• 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 (244 words) - 13:53, 17 February 2021
• PSI 2019
  * Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back
  1 KB (131 words) - 13:58, 17 February 2021
• 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 (799 words) - 13:54, 17 February 2021
• ASE 2017
  |Title=32nd IEEE/ACM International Conference on Automated Software Engineering The '''32nd IEEE/ACM International Conference on Automated Software Engineering''' will be held at the University of Illinois at Urban
  5 KB (557 words) - 14:07, 17 February 2021

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