47 search results - page 4 / 10 » Semantic Essence of AsmL |
148
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
116
Voted
CAD
2000
Springer
15 years 3 months ago
2000
Springer
: Current feature modelling systems suffer from a number of shortcomings. One is that the meaning of features is often not adequately maintained during modelling, which implies tha...
124
Voted
AMAI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
110
Voted
ESWS
2007
Springer
15 years 9 months ago
2007
Springer
Complex relationships, frequently referred to as semantic associations, are the essence of the Semantic Web. Query and retrieval of semantic associations has been an important task...
154
Voted
DKE
2008
15 years 3 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...