878 search results - page 90 / 176 » Modelling Communicating Agents in Timed Reasoning Logics |
133
click to vote
ILP
2004
Springer
15 years 11 months ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
159
click to vote
MA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Systems comprised of multiple interacting mobile agents provide an alternate network computing paradigm that integrates remote data access, message exchange and migration...
148
click to vote
IJCAI
1989
15 years 7 months ago
1989
In designing autonomous agents that deal competently with issues involving time and space, there is a tradeoff to be made between guaranteed response-time reactions on the one han...
166
click to vote
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
147
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an implementation of (a simplified version of) the cognitive agent programming language 3APL in the Maude term rewriting language. Maude is based on t...