2705 search results - page 259 / 541 » Formal Ontology for Subject |
FLAIRS
2007
13 years 10 months ago
2007
In this paper we discuss a rigorous foundation of similarity reasoning based on the concept of utility. If utility is formulated in mathematical terms it can serve as a formal spe...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
The paper formalizes a distributed approach to the problem of supervising the execution of a multi-agent plan where (possibly joint) actions are executed concurrently by a team of...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
FORTE
2004
13 years 9 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...