2490 search results - page 84 / 498 » Complexity of Contextual Reasoning |
147
click to vote
AI
1999
Springer
15 years 3 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
102
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Testing and demonstrating context-aware applications is challenging. Gathering and using ‘life’ contextual information for these purposes, often requires significant extra dev...
112
click to vote
IJFCS
2007
15 years 4 months ago
2007
The process of gene assembly in ciliates, an ancient group of organisms, is one of the most complex instances of DNA manipulation known in any organism. Three molecular operations...
138
Voted
DLOG
2007
15 years 6 months ago
2007
We develop a formal framework for modular ontologies by analysing four notions of conservative extensions and their applications in refining, re-using, merging, and segmenting ont...
168
click to vote
CADE
2009
Springer
16 years 4 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...