4737 search results - page 238 / 948 » The LOGIC negotiation model |
216
click to vote
JSAI
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. This paper is concerned with algorithms for the logical generalisation of probabilistic temporal models from examples. The algorithms combine logic and probabilistic mode...
212
click to vote
ECAI
2004
Springer
16 years 18 days ago
2004
Springer
We provide a logical model of biochemical reactions and show how hypothesis generation using weakest sufficient and strongest necessary conditions may be used to provide addition...
124
click to vote
ENTCS
2006
15 years 7 months ago
2006
The -calculus is destructive: its main computational mechanism
201
click to vote
LOGCOM
2008
15 years 7 months ago
2008
The Sum-and-Product riddle was first published in [Fre69]. We provide an overview on the history of the dissemination of this riddle through the academic and puzzle-math community...
229
click to vote
BIRTHDAY
2010
Springer
15 years 8 months ago
2010
Springer
The question of whether there is a logic that captures polynomial time was formulated by Yuri Gurevich in 1988. It is still wide open and regarded as one of the main open problems...