1746 search results - page 82 / 350 » A Constructive Semantics for ALC |
137
click to vote
LREC
2008
15 years 5 months ago
2008
When a user cannot find a word, he may think of semantically related words that could be used into an automatic process to help him. This paper presents an evaluation of lexical r...
139
click to vote
MIE
2008
15 years 5 months ago
2008
In this work we present the usage of semantic web knowledge representation formalism (OWL) in combination with general purpose reasoning for building a medical expert system. The a...
148
Voted
INFORMATICALT
2008
15 years 4 months ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
114
click to vote
COLING
2002
15 years 4 months ago
2002
: Motivated by a systematic representation of the Chinese aspect forms that explores their intrinsic semantics and temporal logical relations, we are constructing a Chinese aspect ...
129
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
This paper proposes a design for the optimized dynamic (re)composition of services that supports various user requests and accounts for changes in user`s context. The composition ...