5671 search results - page 196 / 1135 » A Semantic Approach to Interpolation |
122
click to vote
APAL
2005
15 years 4 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...
141
click to vote
EDOC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we provide a semantic foundation for role-related concepts in Enterprise Modelling. We use a conceptual modelling framework to provide a wellfounded underpinning fo...
105
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
This document presents the research approach of the SEINE project. The goal of the research is to improve the existing methods for service specification and discovery by using onto...
130
click to vote
OTM
2009
Springer
15 years 11 months ago
2009
Springer
The search for the Holy Grail in achieving interoperability of business processes, services and semantics continues with every new type or search for the Silver Bullet. Most approa...
136
click to vote
CICLING
2008
Springer
15 years 6 months ago
2008
Springer
We investigate the effect of encoding additional semantic and syntactic information sources in a classification-based machine learning approach to the task of coreference resolutio...