Search results

• IJCAR
  |Field=Automated reasoning |Title =International Joint Conference on Automated Reasoning
  171 bytes (22 words) - 20:30, 3 November 2021
• CADE
  |Field=Automated reasoning |Title=International Conference on Automated Deduction
  180 bytes (24 words) - 19:32, 3 November 2021
• IJCAR 2020
  |Title =International Joint Conference on Automated Reasoning IJCAR 2020 is the merger of the following leading events in automated reasoning:
  980 bytes (126 words) - 03:42, 6 December 2021
• LPAR
  |Title =Logic Programming and Automated Reasoning
  168 bytes (20 words) - 03:11, 6 December 2021
• IJCAR 2018
  |Field=automated reasoning |Title =9th International Joint Conference on Automated Reasoning
  1 KB (161 words) - 03:13, 6 December 2021
• IJCAR 2016
  |Field=Automated Reasoning
  272 bytes (34 words) - 03:18, 6 December 2021
• IJCAR 2014
  |Field=Automated Reasoning
  270 bytes (35 words) - 03:48, 6 December 2021
• IJCAR 2008
  |Field=Automated Reasoning
  272 bytes (36 words) - 02:37, 6 December 2021
• IJCAR 2012
  |Field=Automated Reasoning
  319 bytes (44 words) - 02:29, 6 December 2021
• IJCAR 2010
  |Field=Automated Reasoning
  295 bytes (38 words) - 03:02, 6 December 2021
• IJCAR 2004
  |Field=Automated Reasoning
  295 bytes (41 words) - 02:20, 6 December 2021
• IJCAR 2006
  |Field=Automated Reasoning
  299 bytes (41 words) - 02:34, 6 December 2021
• IJCAR 2001
  |Field=Automated Reasoning
  297 bytes (39 words) - 02:33, 6 December 2021
• WAIMS 2016
  ...logic-based knowledge represen, statistical pattern recognitio, automated reasoning
  706 bytes (84 words) - 03:10, 6 December 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 (327 words) - 02:31, 6 December 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 (254 words) - 03:47, 6 December 2021
• PSI 2019
  * Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back
  1 KB (141 words) - 03:15, 6 December 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 (810 words) - 02:58, 6 December 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 (564 words) - 03:45, 6 December 2021
• IS 2017
  Knowledge Representation, Reasoning, and Logic Automated Reasoning
  3 KB (425 words) - 03:24, 6 December 2021

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