Volume 27, Issue 4December, 2001Final Issue
Skip Table Of Content Section
article
State inference for dynamically changing interfaces
Pages 163–202https://doi.org/10.1016/S0096-0551(01)00019-4
Types in current programming languages specify constant sets of messages always acceptable throughout the lifetime of the types' instances. However, especially in concurrent object-oriented systems, the acceptability of messages often changes with the ...
article
LAILA: a language for coordinating abductive reasoning among logic agents
Pages 137–161https://doi.org/10.1016/S0096-0551(01)00020-0
The last decade has seen the advent of the agent paradigm as a reference model in several fields of research, mainly but not limited to artificial intelligence and distributed systems. In open and distributed environments, where most facts are not known ...
