2688 search results - page 123 / 538 » A formal semantics for P3P |
152
click to vote
AAAI
2010
15 years 7 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...
171
click to vote
LREC
2010
15 years 7 months ago
2010
The task of parse disambiguation has gained in importance over the last decade as the complexity of grammars used in deep linguistic processing has been increasing. In this paper ...
174
click to vote
AO
2007
15 years 6 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
149
click to vote
IEEEIAS
2007
IEEE
16 years 22 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. The model interprets protocol specifications as strategies over a game tree that represents the type ...
154
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...