Sciweavers

3358 search results - page 52 / 672
» Dynamic Description Logics
Sort
View
KR
2010
Springer
14 years 1 months ago
Probabilistic Description Logics for Subjective Uncertainty
We propose a new family of probabilistic description logics (DLs) that, in contrast to most existing approaches, are derived in a principled way from Halpern’s probabilistic fi...
Carsten Lutz, Lutz Schröder
DLOG
1996
13 years 10 months ago
Towards a Legal Reasoning System based on Description Logics: A Position Paper
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
Makoto Haraguchi
INFORMATICALT
2002
74views more  INFORMATICALT 2002»
13 years 8 months ago
Logical Formal Description of Expert Systems
The objective of expert systems is the use of Artificial Intelligence tools so as to solve problems within specific prefixed applications. Even when such systems are widely applied...
Manuel de la Sen, Juan J. Miñambres, Aitor ...
ESWS
2007
Springer
14 years 17 days ago
Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
Uwe Keller
CLIMA
2004
13 years 10 months ago
From Logic Programs Updates to Action Description Updates
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
José Júlio Alferes, Federico Banti, ...