博文
Consequence-Driven Reasoning for Horn SHIQ Ontologies
|||
from:http://www.comlab.ox.ac.uk
IJCAI Distinguished Paper award for Yevgeny Kazakov
Posted: 3rd June 2009
Yevgeny Kazakov's paper "Consequence-Driven Reasoning for Deterministic SHIQ Ontologies" has been selected as one of two IJCAI-09 Distinguished Papers. The award will be presented at the forthcoming IJCAI conference in Pasadena. IJCAI is the leading conference in the AI area, making this a highly prestigious award. This paper, along with Yevgeny's many other publications, are available from his homepage.
IJCAI (International Joint Conference on Artificial Intelligence) is the premier international gathering of AI researchers and practitioners. Held biennially in odd-numbered years since 1969
https://blog.sciencenet.cn/blog-89075-238387.html
上一篇：Computational Thinking and Thinking about Computing
下一篇：形式化方法实务简述
扫一扫，分享此博文
全部作者的精选博文
全部作者的其他最新博文
全部精选博文导读
相关博文
- • Discovering the Theory of Relativity: As an Infant（初学者版）
- • Discovering The Law of Gravity: As an Infant（初学者版）
- • Discovering Pythagoras\´ Theorem: As an Infant（初学者版）
- • Discovering Shannon\´s Entropy: As an Infant（初学者版）
- • Discovering the Schrödinger Equation: As an Infant（初学者版）
- • Discovering the Second Law of Thermodynamics（初学者版）