1300 search results - page 81 / 260 » Probabilistic logic with independence |
CVIU
2004
13 years 8 months ago
2004
We present a new representation and recognition method for human activities. An activity is considered to be composed of action threads, each thread being executed by a single act...
AIIA
2005
Springer
14 years 2 months ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...
AAAI
2008
13 years 11 months ago
2008
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
DLOG
1996
1996
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
13 years 10 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...