Sciweavers

248 search results - page 27 / 50
» Epistemic Logic and Knowledge Management
Sort
View
VLDB
2007
ACM
104views Database» more  VLDB 2007»
14 years 9 months ago
Unifying Data and Domain Knowledge Using Virtual Views
The database community is on a constant quest for better integration of data management and knowledge management. Recently, with the increasing use of ontology in various applicat...
Lipyeow Lim, Haixun Wang, Min Wang
EUSFLAT
2001
101views Fuzzy Logic» more  EUSFLAT 2001»
13 years 10 months ago
Fuzzy logic in organization analysis and control
This work points out advantages for the application of fuzzy logic in organization analysis and control. From the presented motivations we propose both a managerial control cycle ...
Farley S. M. Nobre, Simon J. Steiner
SAC
2008
ACM
13 years 8 months ago
Adding background knowledge to formal concept analysis via attribute dependency formulas
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
Radim Belohlávek, Vilém Vychodil
CORR
2006
Springer
105views Education» more  CORR 2006»
13 years 8 months ago
Knowledge Flow Analysis for Security Protocols
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
Emina Torlak, Marten van Dijk, Blaise Gassend, Dan...
EKAW
1999
Springer
14 years 29 days ago
Formally Verifying Dynamic Properties of Knowledge Based Systems
Abstract. In this paper we study dynamic properties of knowledge-based systems. We argue the importance of such dynamic properties for the construction and analysis of knowledge-ba...
Perry Groot, Annette ten Teije, Frank van Harmelen