1567 search results - page 126 / 314 » A Mechanized Model of the Theory of Objects |
140
click to vote
AGP
2010
IEEE
15 years 6 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
163
click to vote
ECAL
1995
Springer
15 years 5 months ago
1995
Springer
A genetic algorithm scheme with a stochastic genotype/phenotype relation is proposed. The mechanisms responsible for this intermediate level of uncertainty, are inspired by the bio...
119
click to vote
HCI
2007
15 years 3 months ago
2007
In this paper, we summarized recent work in modeling how users socially forage and search for information. One way to bridge between different communities of users is to diversify ...
117
click to vote
ALDT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In this paper we explicitly model risk aversion in multiagent interactions. We propose an insurance mechanism that be can used by risk-averse agents to mitigate against r...
109
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...