Sciweavers

1894 search results - page 207 / 379
» Towards Mobile Reasoning
Sort
View
178
Voted
ICCBR
2003
Springer
15 years 11 months ago
Case Base Management for Analog Circuits Diagnosis Improvement
Abstract. There have been some Artificial Intelligence applications developed for electronic circuits diagnosis, but much remains to be done in this field, above all in the analo...
Carles Pous, Joan Colomer, Joaquím Mel&eacu...
ECSQARU
2001
Springer
15 years 10 months ago
An Empirical Investigation of the K2 Metric
Abstract. The K2 metric is a well-known evaluation measure (or scoring function) for learning Bayesian networks from data [7]. It is derived by assuming uniform prior distributions...
Christian Borgelt, Rudolf Kruse
LICS
2000
IEEE
15 years 10 months ago
Models for Name-Passing Processes: Interleaving and Causal
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
Gian Luca Cattani, Peter Sewell
KR
1994
Springer
15 years 10 months ago
Risk-Sensitive Planning with Probabilistic Decision Graphs
Probabilistic AI planning methods that minimize expected execution cost have a neutral attitude towards risk. We demonstrate how one can transform planning problems for risk-sensi...
Sven Koenig, Reid G. Simmons
ICAIL
2007
ACM
15 years 10 months ago
Formalising argumentative story-based analysis of evidence
In the present paper, we provide a formalised version of a merged argumentative and story-based approach towards the analysis of evidence. As an application, we are able to show h...
F. J. Bex, Henry Prakken, Bart Verheij