2688 search results - page 3 / 538 » A formal semantics for P3P |
FOIS
2008
13 years 7 months ago
2008
IMCSIT
2010
13 years 3 months ago
2010
This paper describes an application for computing first-order semantic representations of English texts. It is based on a combination of hybrid shallow-deep components arranged wit...
LREC
2008
13 years 7 months ago
2008
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
SUM
2010
Springer
13 years 4 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
FAST
2009
13 years 3 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...