5255 search results - page 426 / 1051 » Formal Methods for Privacy |
212
click to vote
LOPSTR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
147
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...
203
click to vote
AGTIVE
2007
Springer
16 years 1 months ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
176
click to vote
KI
2007
Springer
16 years 29 days ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...
196
Voted
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...