2685 search results - page 234 / 537 » A Formal Semantics for SPKI |
156
click to vote
ICCS
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a Conceptual Graph (cg) framework to the Generation of Referring Expressions (gre). Employing Conceptual Graphs as the underlying formalism allows a new rigorou...
149
click to vote
ISVC
2007
Springer
16 years 26 days ago
2007
Springer
Video event understanding requires a formalism that can model complex logical temporal and spatial relations between composing sub-events. In this paper we argue that the Petri-Net...
185
click to vote
SFM
2007
Springer
16 years 25 days ago
2007
Springer
Markovian behavioral equivalences are a means to relate and manipulate the formal descriptions of systems with an underlying CTMC semantics. There are three fundamental approaches ...
177
click to vote
ARGMAS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
192
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...