2395 search results - page 39 / 479 » Reasoning in Semantic Wikis |
MOBIQUITOUS
2007
IEEE
15 years 4 months ago
2007
IEEE
— According to the IETF definition, “presence conveys the ability and willingness of a user to communicate across a set of devices”. In this paper we use semantic techniques ...
88
Voted
ENTCS
2008
14 years 9 months ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
ASP
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
76
Voted
AAAI
2010
14 years 11 months ago
2010
We describe a generic framework for representing and reasoning with annotated Semantic Web data, formalise the annotated language, the corresponding deductive system, and address ...