3358 search results - page 3 / 672 » Dynamic Description Logics |
DLOG
1996
1996
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
13 years 7 months ago
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
DLOG
2008
13 years 8 months ago
2008
A fundamental requirement for cooperating agents is to agree on a selection of component values of objects that can be used for reliably communicating references to the objects, to...
AMAST
2008
Springer
13 years 7 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...
ICLA
2011
Springer
12 years 9 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
RULEML
2004
Springer
13 years 11 months ago
2004
Springer
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.