Sciweavers

233 search results - page 1 / 47
» Knowledge and modality
Sort
View
CBMS
2005
IEEE
13 years 10 months ago
Medical Knowledge Morphing: Towards Case-Specific Integration of Heterogeneous Medical Knowledge Resources
Clinical decision-making involves an active interplay between various medical knowledge modalities—the spectrum of medical knowledge modalities spanning from tacit knowledge to ...
Syed Sibte Raza Abidi
AMAI
2008
Springer
13 years 4 months ago
Justification logics, logics of knowledge, and conservativity
Several justification logics have been created, starting with the logic LP, [1]. These can be thought of as explicit versions of modal logics, or of logics of knowledge or belief,...
Melvin Fitting
DALT
2008
Springer
13 years 6 months ago
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
Dimitar P. Guelev, Catalin Dima
EPIA
1999
Springer
13 years 9 months ago
Analytic Modal Revision for Multi-agent Systems
We present two models of hierarchical structured multi-agents, and we describe how to obtain a modal knowledge base from distributed sources. We then propose a computationally orie...
Paolo Di Giusto, Guido Governatori
CBMS
2007
IEEE
13 years 11 months ago
Medical Knowledge Morphing via a Semantic Web Framework
Clinical decision-making involves an active interplay between various medical knowledge modalities. Medical knowledge morphing aims to support clinical decision support by mimicki...
Syed Sibte Raza Abidi, Sajjad Hussain