3385 search results - page 422 / 677 » Language, Logic, and the Brain |
192
click to vote
AIIA
2007
Springer
16 years 25 days ago
2007
Springer
A procedure founded in instance-based learning is presented, for performing a form of analogical reasoning on knowledge bases expressed in a wide range of ontology languages. The p...
157
click to vote
CIE
2007
Springer
16 years 25 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
216
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
We propose axiomatizing some stochastic games, in a continuous state space setting, using continuous belief functions, resp. plausibilities, instead of measures. Then, stochastic g...
184
click to vote
ISOLA
2007
Springer
16 years 24 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
158
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
In this article we provide an embedding of an interaction-based service notion into UML2. Such an embedding is needed, because to this date, UML2 has only limited support for servi...