Search results

Create the page "Automated Reasoning" on this wiki! See also the search results found.

• WAIMS 2016
  ...logic-based knowledge represen, statistical pattern recognitio, automated reasoning
  678 bytes (75 words) - 10:16, 27 August 2020
• VaMoS 2009
  -Formal reasoning and automated analysis on variability
  6 KB (763 words) - 10:26, 9 September 2016
• IJCAR 2004
  |Field=Automated Reasoning
  256 bytes (31 words) - 13:05, 25 October 2016
• IJCAR 2008
  |Field=Automated Reasoning
  233 bytes (26 words) - 13:05, 25 October 2016
• IJCAR 2014
  |Field=Automated Reasoning
  235 bytes (27 words) - 13:05, 25 October 2016
• IJCAR 2016
  |Field=Automated Reasoning
  235 bytes (26 words) - 13:05, 25 October 2016
• IJCAR 2010
  |Field=Automated Reasoning
  251 bytes (28 words) - 13:05, 25 October 2016
• IJCAR 2006
  |Field=Automated Reasoning
  258 bytes (31 words) - 13:05, 25 October 2016
• IJCAR 2012
  |Field=Automated Reasoning
  275 bytes (34 words) - 13:05, 25 October 2016
• IJCAR 2001
  |Field=Automated Reasoning
  258 bytes (31 words) - 13:05, 25 October 2016
• IJCAR
  |Title=International Joint Conference on Automated Reasoning |Field=Automated reasoning
  167 bytes (22 words) - 13:17, 25 October 2016
• CADE
  |Title=International Conference on Automated Deduction |Field=Automated reasoning
  179 bytes (24 words) - 20:02, 28 October 2016
• LICS 2016
  * automated deduction * reasoning about security and privacy
  4 KB (528 words) - 11:25, 26 June 2020
• LICS 2017
  * automated deduction * reasoning about security and privacy
  4 KB (490 words) - 11:42, 26 June 2020
• KESW 2017
  ====Knowledge Representation and Reasoning==== * Theory of automated reasoning
  7 KB (988 words) - 09:50, 14 August 2019
• Drift-a-LOD 2017
  ...real world and capture them in their datasets; users and applications need automated tools to adapt querying over diachronic datasets; knowledge engineers want ...ses using various domain-specific methods (statistical inference, symbolic reasoning, natural language processing, etc.), leveraging the LOD cloud as a data sou
  4 KB (531 words) - 12:59, 8 July 2017
• IS 2017
  Knowledge Representation, Reasoning, and Logic Automated Reasoning
  3 KB (415 words) - 11:34, 8 August 2017
• ICMLSC 2018
  Automated reasoning and logic programming
  2 KB (216 words) - 12:32, 3 September 2017
• DMS 2017
  * user profiling, reasoning and recommendations * Automated Generation and Layout of Visualisations
  4 KB (436 words) - 11:49, 21 April 2020
• PSI 2019
  * Moshe Vardi (Rice University, USA): Automated-Reasoning Revolution: From Theory to Practice and Back
  1 KB (131 words) - 18:20, 1 April 2020

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