Sciweavers

3005 search results - page 174 / 601
» Logical Information Systems: from Taxonomies to Logics
Sort
View
IJCAI
2003
15 years 8 months ago
A Logic For Causal Reasoning
We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...
Alexander Bochman
DLOG
1998
15 years 7 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 ...
DLOG
1996
15 years 7 months ago
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
Thorsten Liebig, Dietmar Rösner
CIBB
2009
15 years 7 months ago
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
Gilles Bernot, Jean-Paul Comet
JANCL
2007
95views more  JANCL 2007»
15 years 6 months ago
Dynamic logic of preference upgrade
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
Johan van Benthem, Fenrong Liu