Search results

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

• CSR 2009
  * automated reasoning
  5 KB (614 words) - 17:22, 11 September 2008
• DBKDA 2020
  ...ries; Database task schedulers; Similarity search; Fuzzy object databases; Automated prediction of relationships; Linked data streams and Internet of things; Pr ...ationship search; Deductive reasoning; Reasoning databases; Ontology-based reasoning; Knowledge graphs
  11 KB (1,371 words) - 12:28, 18 May 2020
• DB 2009
  ** Deductive reasoning ** Reasoning databases
  11 KB (1,446 words) - 18:26, 13 October 2008
• HermiT
  |Field=Automated reasoning
  889 bytes (124 words) - 11:52, 26 September 2008
• ICAIL 2009
  * the study of legal reasoning and argumentation using computational methods * Formal and computational models of legal reasoning, argumentation, decision making, and negotiation
  7 KB (998 words) - 17:48, 14 October 2008
• IICAI 2009
  Automated Problem Solving Case Based Reasoning
  3 KB (359 words) - 20:06, 14 October 2008
• 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) - 20:06, 14 October 2008
• FLOW 2008
  around the question of how to introduce a form of automated reasoning important subgoal of establishing this kind of automated reasoning is
  5 KB (696 words) - 18:29, 8 November 2008
• 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) - 21:49, 26 February 2020
• KRAQ 2008
  | Title = Knowledge and Reasoning for Answering Questions KRAQ08: Knowledge and Reasoning for Answering Questions
  7 KB (991 words) - 23:04, 14 October 2008
• AIMSA 2008
  - Automated reasoning - Knowledge representation and reasoning
  6 KB (827 words) - 23:04, 14 October 2008
• AIPR 2008
  * Automated problem solving * Case-based reasoning
  3 KB (346 words) - 23:05, 14 October 2008
• CCAI 2008
  Automated Reasoning Case-based reasoning
  3 KB (333 words) - 23:05, 14 October 2008
• STEP 2008
  - automated reasoning in the service of semantic analysis of text
  7 KB (856 words) - 23:06, 14 October 2008
• SPLT 2008
  ...Artificial Intelligence and Law addressing aspects such as automated legal reasoning and argumentation, semantic and cross-language legal information retrieval, ...ation; legal ontologies are used for legal knowledge representation, legal reasoning and drafting, concepts comparison and consistency checking.
  7 KB (1,016 words) - 23:08, 14 October 2008
• DocEng 2008
  ...ailable structured collections of information on which to anchor automated reasoning, such as promoted through the Semantic Web. Furthermore, document technolog
  3 KB (379 words) - 23:09, 14 October 2008
• ALPSWS 2008
  some form of automated reasoning. For example, the Semantic Web composition of services. Reasoning technologies for services and data
  6 KB (865 words) - 23:13, 14 October 2008
• SEKE 2008
  * Automated Reasoning * Automated Software Design and Synthesis
  6 KB (733 words) - 12:48, 27 October 2016
• LICS 2008
  ...ic systems, process calculi, programming language semantics, proof theory, reasoning about security, rewriting, specifications, type systems and type theory, an
  2 KB (285 words) - 15:11, 7 November 2016
• ATAI 2011
  Automated problem solving Reasoning strategies
  3 KB (397 words) - 10:23, 24 June 2011

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