2599 search results - page 122 / 520 » An Operational Semantics for Knowledge Bases |
180
click to vote
JELIA
2010
Springer
15 years 4 months ago
2010
Springer
The Multi-Context System Inconsistency Explainer allows for evaluation of semantics and explanation of inconsistencies in systems where heterogeneous knowledge bases are linked via...
165
click to vote
SAMT
2009
Springer
16 years 19 days ago
2009
Springer
The increasing availability of multimedia (MM) resources, Web services as well as content, on the Web raises the need to automatically discover and process resources out of distrib...
187
click to vote
ANLP
1992
15 years 7 months ago
1992
This paper is concerned with the question of how to extract lexical knowledge from MachineReadable Dictionaries (MRDs) within a lexical database which integrates a lexicon develop...
163
Voted
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
172
Voted
ICITA
2005
IEEE
15 years 11 months ago
2005
IEEE
Within the emergent Semantic Web framework, the use of traditional web search engines based on keywords provided by the users is not adequate anymore. Instead, new methods based o...