393 search results - page 41 / 79 » Probabilistic Description Logic Programs |
130
click to vote
AGENTS
2001
Springer
15 years 7 months ago
2001
Springer
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
107
click to vote
ENTCS
2010
15 years 2 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
172
click to vote
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
118
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
The paper presents a prototype system HD-Rules (Hybrid integration of Description Logic and Rules) that integrates normal clauses under the wellfounded semantics with ontologies sp...
165
click to vote
WILF
2009
Springer
16 years 1 months ago
2009
Springer
With the wide diffusion of digital image acquisition devices,
the cost of managing hundreds of digital images is quickly increasing.
Currently, the main way to search digital ima...