1746 search results - page 44 / 350 » A Constructive Semantics for ALC |
147
click to vote
ICAIL
2005
ACM
15 years 9 months ago
2005
ACM
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
160
click to vote
ISMIS
1997
Springer
15 years 8 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
111
click to vote
ICLP
1990
Springer
15 years 8 months ago
1990
Springer
Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...
119
click to vote
LREC
2010
15 years 5 months ago
2010
This paper introduces a new corpus of consulting dialogues designed for training a dialogue manager that can handle consulting dialogues through spontaneous interactions from the ...
121
click to vote
ICSE
1987
IEEE-ACM
15 years 7 months ago
1987
IEEE-ACM
We present a formulation of interconnection models and present the unit and syntactic models -- the primary models used for managing the evolution of large software systems. We di...