855 search results - page 118 / 171 » Using First-Order Logic to Reason about Policies |
143
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes an assembly-language type system capable of ensuring memory safety in the presence of both heap and stack allocation. The type system uses linear logic and a ...
171
Voted
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
157
Voted
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...
201
Voted
EASSS
2001
Springer
15 years 9 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...
156
Voted
AUSAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...