1746 search results - page 64 / 350 » A Constructive Semantics for ALC |
135
click to vote
CICLING
2010
Springer
15 years 11 months ago
2010
Springer
In practice, lexical chains are typically built using term reiteration or resource-based measures of semantic distance. The former approach misses out on a significant portion of ...
121
click to vote
AOSD
2009
ACM
15 years 11 months ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
138
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
128
click to vote
ECAI
1990
Springer
15 years 8 months ago
1990
Springer
Modal logics based on Kripke style semantics are the prominent formalismin AI for modeling beliefs. Kripke semantics involve a collection of possible worlds and a relation among t...