1544 search results - page 200 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
184
click to vote
QEST
2007
IEEE
16 years 20 days ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
170
click to vote
CCS
2007
ACM
16 years 18 days ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
175
click to vote
CADE
2004
Springer
15 years 11 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
163
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- Complex robots with many interacting components in their control architectures are subject to component failures from which neither the control architecture nor the impl...
173
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...