Sciweavers

141 search results - page 9 / 29
» Approximate Reasoning about Combined Knowledge
Sort
View
DLOG
2011
13 years 1 months ago
Two-Dimensional Description Logics of Context
We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing...
Szymon Klarman, Víctor Gutiérrez-Bas...
KIC
2000
13 years 11 months ago
On Engineering Design Generation with XML-based Knowledge-Enhanced Grammars
One of the major bottlenecks in conceptual engineering design is the pure amount of design information which the design engineer needs to take into consideration. Furthermore, the ...
S. Rudolph, Hansrudi Noser
DEON
2010
Springer
14 years 3 months ago
Privacy Policies with Modal Logic: The Dynamic Turn
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...
Guillaume Aucher, Guido Boella, Leendert van der T...
AIM
2005
13 years 10 months ago
Description Logics and Planning
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
Yolanda Gil
IPPS
2006
IEEE
14 years 4 months ago
Neighbourhood maps: decentralised ranking in small-world P2P networks
Reputation in P2P networks is an important tool to encourage cooperation among peers. It is based on ranking of peers according to their past behaviour. In large-scale real world ...
Matteo Dell'Amico