10568 search results - page 358 / 2114 » Computer Intelligence and Formalization |
111
click to vote
CEEMAS
2001
Springer
15 years 8 months ago
2001
Springer
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
151
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
144
click to vote
DALT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper presents two approaches for generating and executing the plans of cognitive agents. They can be used to define the semantics of programming languages for cogni...
121
click to vote
AISC
2008
Springer
15 years 6 months ago
2008
Springer
We introduce high-level theories in analogy with high-level programming languages. The basic point is that even though one can define many theories via simple, low-level axiomatiza...
130
click to vote
AAAI
2004
15 years 5 months ago
2004
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...