393 search results - page 41 / 79 » Probabilistic Description Logic Programs |
110
Voted
AGENTS
2001
Springer
15 years 5 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...
95
Voted
ENTCS
2010
15 years 17 days 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...
148
Voted
FROCOS
2009
Springer
15 years 7 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...
99
Voted
ICLP
2007
Springer
15 years 6 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...
147
Voted
WILF
2009
Springer
15 years 11 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...