2500 search results - page 164 / 500 » Logical Semantics of Modularisation |
166
click to vote
DEXAW
2003
IEEE
15 years 11 months ago
2003
IEEE
Hypermedia design methods have been proposed for the development of hypermedia and web applications. Nowadays, we face up to another challenge, the Semantic Web, in order to repre...
168
click to vote
VVEIS
2008
15 years 7 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
180
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
We demonstrate AceWiki that is a semantic wiki using the controlled natural language Attempto Controlled English (ACE). The goal is to enable easy creation and modification of ont...
189
click to vote
ACL
2009
15 years 4 months ago
2009
We present a new approach to learning a semantic parser (a system that maps natural language sentences into logical form). Unlike previous methods, it exploits an existing syntact...
155
click to vote
RULEML
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages. In particular, we argue tha...