940 search results - page 96 / 188 » Rules and Strategies in Java |
92
Voted
ENTCS
2006
15 years 18 days ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
101
Voted
JOLLI
2008
15 years 17 days ago
2008
Abstract. This paper presents a novel proof-theoretic account of dialogue coherfocuses on an abstract class of cooperative information-oriented dialogues and describes how their st...
66
Voted
MONET
2006
15 years 16 days ago
2006
Abstract We formalize a model for a self-organizing network of nodes that operate according to the UWB principle based on hybrid modelling formalism. We design the rules that lead ...
82
Voted
TSMC
2002
15 years 6 days ago
2002
By using other agents' experiences and knowledge, a learning agent may learn faster, make fewer mistakes, and create some rules for unseen situations. These benefits would be ...
150
Voted
LPNMR
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. Multi-context systems are a formalism to interlink decentralized and heterogeneous knowledge based systems (contexts), which interact via (possibly nonmonotonic) bridge r...