2414 search results - page 199 / 483 » Reasoning Support for OWL-E |
141
click to vote
OOPSLA
2009
Springer
16 years 24 days ago
2009
Springer
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
143
Voted
ICDE
2008
IEEE
16 years 21 days ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
150
click to vote
FUZZIEEE
2007
IEEE
16 years 18 days ago
2007
IEEE
— The application of Qualitative Reasoning to Learning Algorithms can provide these models with the capability of automate common-sense and expert reasoning. Learning algorithms ...
154
click to vote
LICS
2007
IEEE
16 years 16 days ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
173
click to vote
TPHOL
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...