1059 search results - page 94 / 212 » Unification-Based Semantic Interpretation |
101
click to vote
WWW
2004
ACM
16 years 17 days ago
2004
ACM
We describe a strategy to support the semantic annotation of contested knowledge, in the context of the Scholarly Ontologies project, which aims at building a network of interpret...
102
click to vote
CODES
2002
IEEE
15 years 4 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
117
click to vote
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
104
click to vote
ATAL
2008
Springer
15 years 1 months ago
2008
Springer
We generalize AGM belief revision theory to the multi-agent case. To do so, we first generalize the semantics of the singleagent case, based on the notion of interpretation, to th...
AAAI
2000
15 years 1 months ago
2000
We present an approach to building a verb lexicon compatible with WordNet but with explicitly stated syntactic and semantic information, using Levin verb classes to systematically...