2688 search results - page 165 / 538 » A formal semantics for P3P |
190
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...
159
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator a...
180
click to vote
LREC
2008
15 years 8 months ago
2008
Cornetto is a two-year Stevin project (project number STE05039) in which a lexical semantic database is built that combines Wordnet with Framenet-like information for Dutch. The c...
149
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
166
click to vote
ENTCS
2006
15 years 6 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...