1950 search results - page 148 / 390 » Lambda-Free Logical Frameworks |
157
click to vote
ICCS
2007
Springer
16 years 26 days ago
2007
Springer
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
144
click to vote
ENC
2005
IEEE
16 years 9 days ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...
163
click to vote
SOFTVIS
2005
ACM
16 years 8 days ago
2005
ACM
This paper presents a system for visualizing mobile object frameworks. In such frameworks, the objects can migrate to remote hosts, along with their state and behavior, while the ...
152
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
207
click to vote
CSFW
2003
IEEE
16 years 1 hour ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...