1875 search results - page 155 / 375 » A Calculus of Broadcasting Systems |
101
Voted
AH
2006
Springer
15 years 9 months ago
2006
Springer
This paper introduces GLAM, a system based on situation calculus and meta-rules, which is able to provide adaptation by means of selection of actions. It is primarily designed to p...
125
Voted
COORDINATION
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a framework for modelling heterogeneous distributed systems using graph transformations in the Synchronized Hyperedge Replacement approach, which describes com...
140
Voted
LOPSTR
1995
Springer
15 years 7 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
152
Voted
CLIMA
2006
15 years 5 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
129
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...