2649 search results - page 166 / 530 » Temporal Theories of Reasoning |
165
click to vote
MIE
2008
15 years 8 months ago
2008
In medicine many exceptions occur. In medical practise and in knowledge-based systems too, it is necessary to consider them and to deal with them appropriately. In medical studies ...
156
Voted
ENTCS
2007
15 years 6 months ago
2007
d Abstract) Brian Aydemir Aaron Bohannon Stephanie Weirich Department of Computer and Information Science University of Pennsylvania Philadelphia, PA, USA We explore an axiomatize...
162
click to vote
IJMMS
1998
15 years 6 months ago
1998
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
180
click to vote
KBS
2002
15 years 6 months ago
2002
Multilevel Flow Models (MFM) are graphical models of goals and functions of technical systems. MFM was invented by Morten Lind at the Technical University of Denmark and several n...
183
click to vote
STTT
2010
15 years 5 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...