3032 search results - page 183 / 607 » Description Logic Rules |
70
Voted
AAAI
2007
15 years 3 months ago
2007
The reference reconciliation problem consists in deciding whether different identifiers refer to the same data, i.e., correspond to the same world entity. The L2R system exploits...
132
click to vote
JAR
2010
14 years 7 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
99
Voted
IWCLS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper provides a deep insight into the learning mechanisms of UCS, a learning classifier system (LCS) derived from XCS that works under a supervised learning scheme...
120
click to vote
LOCA
2005
Springer
15 years 6 months ago
2005
Springer
Context information is used by pervasive networking and context-aware programs to adapt intelligently to different environments and user tasks. As the context information is poten...
127
click to vote
FLAIRS
2009
14 years 10 months ago
2009
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...