knowledge representation reasoning system

  • 91CYC (projet) — Cyc est un projet d’intelligence artificielle (« IA ») qui cherche à développer une ontologie globale et une base de données de la connaissance générale, dans le but de permettre à des applications d’intelligence artificielle de… …

    Wikipédia en Français

  • 92Cyc (projet) — Cyc est un projet d’intelligence artificielle (« IA ») qui cherche à développer une ontologie globale et une base de connaissance générale, dans le but de permettre à des applications d’intelligence artificielle de raisonner d’une… …

    Wikipédia en Français

  • 93Cyc — Эта статья  о проекте по созданию базы знаний. О городе в Тунисе см. Сус. Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. Cyc (написано латиницей,… …

    Википедия

  • 94Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …

    Wikipedia

  • 95Deborah McGuinness — Deborah L. McGuinness Residence Latham, New York, USA Other names Deb Education Rutgers University, University of California at Berkeley and Duke University Occupation Computer scientist …

    Wikipedia

  • 96Ontology editor — Ontology editors are applications designed to assist in the creation or manipulation of ontologies. They often express ontologies in one of many ontology languages. Some provide export to other ontology languages however. Decision criteria for… …

    Wikipedia

  • 97CR-Klassifikation — Dieser Artikel oder Abschnitt bedarf einer Überarbeitung. Näheres ist auf der Diskussionsseite angegeben. Hilf mit, ihn zu verbessern, und entferne anschließend diese Markierung. Das CR Classification ist eine von der ACM entwickelte und… …

    Deutsch Wikipedia

  • 98CR Classification — Das CR Classification ist eine von der ACM entwickelte und gepflegte Fachklassifikation für die Informatik. Das System beinhaltet eine 3 Level Hierarchie mit einem weiteren Level zur Beschreibung. Die erste Version der Klassifikation erschien im… …

    Deutsch Wikipedia

  • 99Course in General Linguistics — (Cours de linguistique générale) is an influential book compiled by Charles Bally and Albert Sechehaye that is based on notes taken from Ferdinand de Saussure s lectures at the University of Geneva between the years 1906 and 1911. It was… …

    Wikipedia

  • 100Scientific research in Canada — This article outlines the history of natural scientific research in Canada including, mathematics, physics, astronomy, space science, geology, oceanography, chemistry, biology, medical research and psychology. The social sciences are not treated… …

    Wikipedia