4573 search results - page 138 / 915 » Automated Reasoning |
122
Voted
ER
2007
Springer
15 years 9 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
154
Voted
IJCAI
2003
15 years 4 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
184
Voted
GIS
2009
ACM
16 years 4 months ago
2009
ACM
