3515 search results - page 280 / 703 » On the semantics of Strategy Logic |
189
click to vote
AIMSA
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. State of the art formalisms for distributed ontology integration provide ways to express semantic relations between concepts belonging to different ontologies. However, t...
214
click to vote
RULEML
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
198
click to vote
SEKE
2004
Springer
16 years 27 days ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
251
click to vote
EPIA
2003
Springer
16 years 24 days ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
192
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...