5671 search results - page 280 / 1135 » A Semantic Approach to Interpolation |
158
Voted
KI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
182
click to vote
ECMDAFA
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
144
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we provide a general overview of our recent research contributions, with focus on the proposed approach for building service ontologies to serve as an interoperabili...
149
click to vote
ACL
2008
15 years 7 months ago
2008
This paper presents an approach to detection of the semantic types of relation arguments employing the WordNet hierarchy. Using the SemEval-2007 data, we show that the method allo...
159
click to vote
DLOG
2008
15 years 7 months ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...