1127 search results - page 81 / 226 » Theory Extension in ACL2(r) |
126
click to vote
SEMWEB
2005
Springer
15 years 6 months 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...
93
Voted
AI
2004
Springer
15 years 6 months 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 ...
ARGMAS
2004
Springer
15 years 6 months 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 ...
FSTTCS
2004
Springer
15 years 6 months 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...
118
Voted
RTA
2004
Springer
15 years 6 months 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...