11561 search results - page 1961 / 2313 » A Language for Biochemical Systems |
200
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
186
click to vote
ATAL
2003
Springer
16 years 1 days ago
2003
Springer
Formal theories of multi-agent systems require a rich ontology for modelling the dynamics of social behaviour. In this paper a formal analysis of the social behaviour of individua...
154
click to vote
CONTEXT
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
200
click to vote
CP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
190
click to vote
FATES
2003
Springer
16 years 1 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...