3994 search results - page 650 / 799 » A Linear Logical Framework |
188
click to vote
CIA
2004
Springer
16 years 10 days ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
160
click to vote
ECAI
2004
Springer
16 years 10 days ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...
192
click to vote
MIDDLEWARE
2004
Springer
16 years 9 days ago
2004
Springer
In order for middleware systems to be adaptive, their properties and services need to support a wide variety of application-specific policies. However, application developers and ...
210
click to vote
NMR
2004
Springer
16 years 9 days ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
203
click to vote
PPDP
2004
Springer
16 years 9 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...