3658 search results - page 330 / 732 » The logic of proofs, semantically |
193
click to vote
DEXAW
2006
IEEE
16 years 27 days ago
2006
IEEE
Content in semantic web portals is often projected along application specific navigational taxonomies and linked semantically. This paper presents a logic-based method and a serv...
183
click to vote
ICTCS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
176
click to vote
DEXAW
2003
IEEE
16 years 4 days 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...
178
click to vote
VVEIS
2008
15 years 8 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...
192
click to vote
CORR
2008
Springer
15 years 7 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...