2395 search results - page 176 / 479 » Reasoning in Semantic Wikis |
142
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper is a theoretical analysis of formal annotation and ontology for the expression of the semantics of document. They are found wanting in this respect, not only for techni...
169
click to vote
ICDT
2007
ACM
16 years 28 days ago
2007
ACM
This paper presents an RDF vocabulary for representing data values as resources. An intended application is the representation of relational databases in RDF, and reasoning with th...
171
click to vote
LICS
2005
IEEE
16 years 10 days ago
2005
IEEE
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...
156
click to vote
TPHOL
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
164
click to vote
LPNMR
2005
Springer
16 years 8 days ago
2005
Springer
Given two classes of logic programs, we may be interested in modular translations from one class into the other that are sound wth respect to the answer set semantics. The main the...