8512 search results - page 278 / 1703 » Computing Theory With Relevance |
137
Voted
AAMAS
2002
Springer
15 years 6 months ago
2002
Springer
Abstract. The purpose of this research is to show the relevance of philosophical theories to agent knowledge base (AKB) design, implementation, and behaviour. We will describe how ...
176
click to vote
APIN
1998
15 years 6 months ago
1998
Incidence calculus is a probabilistic logic in which incidences, standing for the situations in which formulae may be true, are assigned to some formulae, and probabilities are as...
164
Voted
TPHOL
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
178
click to vote
KDD
1995
ACM
15 years 9 months ago
1995
ACM
Manydata mining algorithms developed recently are based on inductive learning methods. Very few are based on similarity-based learning. However, similarity-based learning accrues ...
140
click to vote
CONCUR
2009
Springer
16 years 25 days ago
2009
Springer
Theories identifying well-formed systems of processes—those that are free of communication errors and enjoy strong properties such as deadlock freedom—are based either on sessi...