1060 search results - page 67 / 212 » Mechanized semantics |
131
click to vote
JIT
2005
Springer
15 years 3 months ago
2005
Springer
Automatic Grid resource discovery and brokerage shields the Grid middleware complexities from the Grid users and leads towards an invisible but simple and robust Grid. Realizing th...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
When a Semantic Web application encounters a new URI in an RDF statement, how should it determine what resource that URI is intended to denote, and learn more about it? Since asser...
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
After noting that informal documents and formal knowledge bases are far from ideal for discussing or retrieving technical knowledge, we propose mechanisms to support the sharing, r...
131
click to vote
TABLEAUX
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
AIIA
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper presents and motivates an extended ontology conceptual model which represents explicitly semantic information about concepts. This model results from explicitl...