DLOG
1998
13 years 5 months ago
1998
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
DLOG
1998
13 years 5 months ago
1998
We present work in progress on abstracting dialog managers from their domain in order to implement a dialog manager development tool which takes (among other data) a domain descri...
DLOG
1998
13 years 5 months ago
1998
This paper proposes a framework to learn concepts from di erent kinds of observations. We de ne a language to describe meta-concepts, that represent the sets of possible concepts ...
DLOG
1998
13 years 5 months ago
1998
DLOG
1998
13 years 5 months ago
1998
DLOG
1998
13 years 5 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
DLOG
1998
13 years 5 months ago
1998
Abstract: This paper presents a progress report on the implementation of an ALCRP(D) ABox reasoner and a knowledge representation framework. We present an ALC ABox reasoner which h...
DLOG
1998
13 years 5 months ago
1998
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
DLOG
1998
13 years 5 months ago
1998