2688 search results - page 308 / 538 » A formal semantics for P3P |
164
click to vote
AAAI
2008
15 years 9 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
197
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In order to obtain semantic interoperability in open MultiAgent Systems, agents need to agree on the basis of different ontologies. In this paper we formally define mapping as cor...
174
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
175
click to vote
ACL
2007
15 years 8 months ago
2007
Non-verbal modalities such as gesture can improve processing of spontaneous spoken language. For example, similar hand gestures tend to predict semantic similarity, so features th...
144
click to vote
LREC
2008
15 years 8 months ago
2008
This paper presents the application of inheritance to the formal taxonomy (is-a) of a semantically rich Lexical Resource (LR) based on the Generative Lexicon theory, SIMPLE-CLIPS....