Search results

Jump to: navigation, search

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
  • LICS 2020
    * automated deduction * reasoning about security and privacy
    5 KB (656 words) - 11:29, 27 August 2020
  • WORM 2008
    | Title = International Workshop on Ontologies: Reasoning and Modularity ...for query answering. In such tasks, availability of powerful services for reasoning about ontologies and techniques for supporting ontology modularization is o
    7 KB (891 words) - 23:35, 14 October 2008
  • QAPL 2009
    analysis, Language extension, Multi-tasking systems, Automated reasoning,
    6 KB (823 words) - 14:28, 14 December 2008
  • CompGeo 2009
    - spatiotemporal data modelling and reasoning - automated mapping and map generalisation
    5 KB (648 words) - 13:00, 18 January 2009
  • FroCoS 2009
    representation, and automated reasoning, there is an obvious need for
    5 KB (669 words) - 13:03, 18 January 2009
  • FUZZ-IEEE 2020
    * » handling systems » automated factories * » knowledge representation and approximate reasoning
    2 KB (223 words) - 17:26, 6 May 2021
  • WISM-AICI 2009
    Logic Reasoning and Theorem-Proving Automated problem solving
    5 KB (604 words) - 17:06, 27 February 2009
  • TKDE 2009
    | Title = IEEE TKDE Special Issue on 'Rule Representation, Interchange and Reasoning in Distributed, Heterogeneous Environments' Rule Representation, Interchange and Reasoning in Distributed,
    7 KB (883 words) - 17:06, 27 February 2009
  • RelMiCS-AKA 2009
    - mechanised and automated reasoning, decision procedures - spatio-temporal reasoning, knowledge acquisition, preference and scaling methods
    7 KB (912 words) - 17:08, 27 February 2009
  • ICIMP 2010
    ...s and ID Cards; Security on hardware and smart cards; Identity management; Automated security analysis; Electronic Privacy; Anonymity and pseudo-anonymity; Secu ...ion, verification and validation; Logics for the analysis of trust and for reasoning about trust; Legal framework for online trust environments; Trust in semant
    14 KB (1,651 words) - 15:56, 15 February 2017
  • KES AMSTA 2010
    Joanna Jozefowska (Knowledge representation for automated reasoning),
    6 KB (733 words) - 18:19, 24 September 2020
  • ICFC
    ...has led to major applications in fields ranging from medical diagnosis and automated learning to image understanding and systems control. This conference intend › Approximate reasoning and fuzzy inference
    2 KB (286 words) - 19:11, 16 February 2010
  • 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) - 10:03, 20 November 2020
  • LPAR
    |Title=Logic Programming and Automated Reasoning
    146 bytes (19 words) - 21:49, 26 February 2020
  • 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) - 12:39, 27 February 2020
  • ICAPS 2019
    |Title=29th International Conference on Automated Planning and Scheduling '''The International Conference on Automated Planning and Scheduling (ICAPS)''' is the premier conference on enabling sm
    3 KB (397 words) - 13:21, 27 February 2020
  • ICAPS 2020
    |Title=30th International Conference on Automated Planning and Scheduling The '''30th International Conference on Automated Planning and Scheduling (ICAPS)''', will take place in Nancy, France, June
    5 KB (694 words) - 14:02, 27 February 2020
  • WWV 2011
    |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems
    5 KB (650 words) - 14:16, 22 February 2011
  • FCTA 2011
    ...has led to major applications in fields ranging from medical diagnosis and automated learning to image understanding, decision and systems control. This confere * Approximate Reasoning and Fuzzy Inference
    2 KB (296 words) - 14:47, 27 December 2015
  • ICCIIS 2012
    Automated Planning Qualitative Reasoning
    11 KB (1,490 words) - 11:59, 27 January 2012
  • EC-Web 2012
    * Semantic reasoning about business data * Auctions and Automated Negotiation
    10 KB (1,232 words) - 18:10, 5 March 2012
  • Main Page
    ...s of scientific events''' permanently accessible in a high quality through automated processes and scientific data curating. OpenResearch as a sustainable servi ...an>: <span style="font-size:80%">[[:Category:Automated reasoning|Automated reasoning]], [[:Category:Machine learning|Machine learning]], [[:Category:Natural lan
    7 KB (815 words) - 18:03, 14 April 2021
  • EKAW 2020
    *Ethics and trust in automated reasoning *Similarity and analogy-based reasoning
    5 KB (579 words) - 13:18, 17 February 2020
  • ESEC/FSE 2020
    | Automated reasoning techniques || Emerging domains of software || Program analysis || Software
    6 KB (738 words) - 11:21, 6 July 2020
  • IJCAR 2018
    |Title=9th International Joint Conference on Automated Reasoning |Field=automated reasoning
    1 KB (152 words) - 14:57, 23 July 2019
  • International Journal of Networks and Systems ( IJNS )
    Automated Software Engineering Genetic Algorithms and Modeling, Fuzzy Logic and Approximate Reasoning
    2 KB (211 words) - 08:30, 26 October 2012
  • FCTA 2013
    ...has led to major applications in fields ranging from medical diagnosis and automated learning to image understanding, decision and systems control. This confere Approximate reasoning and fuzzy inference
    2 KB (319 words) - 18:30, 4 March 2013
  • KESW 2016
    ...rections in the areas related to Linked Data, knowledge representation and reasoning, and semantic technologies. Its aim is to bring together researchers, pract Knowledge representation and reasoning
    6 KB (898 words) - 14:42, 24 September 2016
  • 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

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"