11160 search results - page 108 / 2232 » Incompleteness in a General Setting |
121
click to vote
LICS
2006
IEEE
15 years 6 months ago
2006
IEEE
In this paper we show that the Stone representation theorem for Boolean algebras can be generalized to combinatory algebras. In every combinatory algebra there is a Boolean algebr...
109
Voted
KES
2005
Springer
15 years 6 months ago
2005
Springer
With the increasing amount of biomedical literature, there is a need for automatic extraction of information to support biomedical researchers. Due to incomplete biomedical informa...
ECAI
1992
Springer
15 years 4 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...
104
Voted
ARGMAS
2006
Springer
15 years 2 months ago
2006
Springer
Social influences play an important part in the actions that an individual agent may perform within a multi-agent society. However, the incomplete knowledge and the diverse and co...
107
click to vote
AAAI
2006
15 years 2 months ago
2006
Even under polynomial restrictions on plan length, conformant planning remains a very hard computational problem as plan verification itself can take exponential time. This heavy ...