Search results

• IJCAR
  |Title=International Joint Conference on Automated Reasoning |Field=Automated reasoning
  167 bytes (22 words) - 11:26, 17 February 2021
• CADE
  |Title=International Conference on Automated Deduction |Field=Automated reasoning
  179 bytes (24 words) - 12:08, 28 January 2021
• IJCAR 2020
  |Title=International Joint Conference on Automated Reasoning IJCAR 2020 is the merger of the following leading events in automated reasoning:
  944 bytes (117 words) - 11:01, 8 March 2021
• LPAR
  |Title=Logic Programming and Automated Reasoning
  146 bytes (19 words) - 11:27, 17 February 2021
• IJCAR 2018
  |Title=9th International Joint Conference on Automated Reasoning |Field=automated reasoning
  1 KB (153 words) - 11:01, 8 March 2021
• IJCAR 2016
  |Field=Automated Reasoning
  241 bytes (27 words) - 11:01, 8 March 2021
• IJCAR 2014
  |Field=Automated Reasoning
  241 bytes (28 words) - 11:01, 8 March 2021
• IJCAR 2008
  |Field=Automated Reasoning
  239 bytes (27 words) - 11:01, 8 March 2021
• IJCAR 2012
  |Field=Automated Reasoning
  281 bytes (35 words) - 11:01, 8 March 2021
• IJCAR 2010
  |Field=Automated Reasoning
  257 bytes (29 words) - 11:01, 8 March 2021
• IJCAR 2001
  |Field=Automated Reasoning
  264 bytes (32 words) - 11:01, 8 March 2021
• IJCAR 2004
  |Field=Automated Reasoning
  262 bytes (32 words) - 11:01, 8 March 2021
• IJCAR 2006
  |Field=Automated Reasoning
  264 bytes (32 words) - 11:01, 8 March 2021
• WAIMS 2016
  ...logic-based knowledge represen, statistical pattern recognitio, automated reasoning
  684 bytes (76 words) - 11:25, 8 March 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:21, 28 January 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 (245 words) - 10:49, 8 March 2021
• PSI 2019
  * Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back
  1 KB (132 words) - 11:16, 8 March 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 (800 words) - 11:08, 8 March 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 (558 words) - 10:29, 8 March 2021
• IS 2017
  Knowledge Representation, Reasoning, and Logic Automated Reasoning
  3 KB (416 words) - 11:03, 8 March 2021

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