2570 search results - page 148 / 514 » The Semantic Web And Its Languages |
154
click to vote
HYBRID
2005
Springer
16 years 15 hour ago
2005
Springer
This paper discusses an interpretation of hybrid systems as executable models. A specification of a hybrid system for this purpose can be viewed as a program in a domain-specific...
132
click to vote
SEMWEB
2004
Springer
15 years 12 months ago
2004
Springer
The problem of data semantics is establishing and maintaining the correspondence between a data source and its intended subject matter. We review the long history of the problem in...
184
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
181
click to vote
MIE
2008
15 years 8 months ago
2008
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
166
click to vote
AAAI
2008
15 years 8 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...