Sciweavers

Share
DLOG
1998
8 years 10 months ago
DLP System Description
DLP (Description Logic Prover) is an experimental description logic knowledge representation system. DLP currently implements a superset of propositional dynamic logic as well as ...
Peter F. Patel-Schneider
DLOG
1998
8 years 10 months ago
Combining Expression and Content in Domains for Dialog Managers
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...
Bernd Ludwig, Günther Görz, Heinrich Nie...
DLOG
1998
8 years 10 months ago
Learning Composite Concepts
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 ...
Patrick Lambrix, Pierpaolo Larocchia
DLOG
1998
8 years 10 months ago
Comparing Subsumption Optimizations
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
Ian Horrocks, Peter F. Patel-Schneider
DLOG
1998
8 years 10 months ago
Implementing an ALCRP(D) ABox Reasoner - Progress Report
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...
Volker Haarslev, Ralf Möller, Anni-Yasmin Tur...
DLOG
1998
8 years 10 months ago
HAM-ALC
Volker Haarslev, Ralf Möller, Anni-Yasmin Tur...
DLOG
1998
8 years 10 months ago
Using Description Logics for Indexing Audiovisual Documents
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...
Jean Carrive, François Pachet, Rémi ...
books