1127 search results - page 81 / 226 » Theory Extension in ACL2(r) |
210
click to vote
SEMWEB
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
162
click to vote
AI
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...
162
click to vote
ARGMAS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
162
click to vote
FSTTCS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Monolithic finite-state probabilistic programs have been abstractly modeled by finite Markov chains, and the algorithmic verification problems for them have been inves...
197
click to vote
RTA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...