Sciweavers

9405 search results - page 438 / 1881
» Computing a Model of Set Theory
Sort
View
CBMS
2007
IEEE
16 years 1 months ago
Ontology Engineering to Model Clinical Pathways: Towards the Computerization and Execution of Clinical Pathways
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
Katrina F. Hurley, Syed Sibte Raza Abidi
ATAL
2007
Springer
16 years 1 months ago
The LOGIC negotiation model
Successful negotiators prepare by determining their position along five dimensions: Legitimacy, Options, Goals, Independence, and Commitment, (LOGIC). We introduce a negotiation ...
Carles Sierra, John K. Debenham
ENTCS
2006
181views more  ENTCS 2006»
15 years 6 months ago
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
Alexandru Baltag, Sonja Smets
ENTCS
2007
126views more  ENTCS 2007»
15 years 6 months ago
Modelling Calculi with Name Mobility using Graphs with Equivalences
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
Paolo Baldan, Fabio Gadducci, Ugo Montanari
ADVAI
2010
110views more  ADVAI 2010»
15 years 1 months ago
Using Genetic Algorithms to Represent Higher-Level Planning in Simulation Models of Conflict
The focus of warfare has shifted from the Industrial Age to the Information Age, as encapsulated by the term Network Enabled Capability. This emphasises information sharing, comma...
James Moffat, Susan Fellows