3353 search results - page 91 / 671 » Laver and set theory |
INFFUS
2006
14 years 9 months ago
2006
Intelligent agents have to be able to merge informational inputs received from different sources in a coherent and rational way. Several proposals have been made for information m...
IJUFKS
2007
14 years 9 months ago
2007
Media theory is a new branch of discrete applied mathematics originally developed in mid-nineties to deal with stochastic evolution of preference relations in political science an...
AROBOTS
2002
14 years 9 months ago
2002
If we are to build human-like robots that can interact naturally with people, our robots must know not only about the properties of objects but also the properties of animate agent...
103
click to vote
IJCAI
1997
14 years 11 months ago
1997
We address the problem of introducing preferences into default logic. Two approaches are given, one a generalisation of the other. In the first approach, an ordered default theory...
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Correctness of many hybrid and distributed systems require stability and convergence guarantees. Unlike the standard induction principle for verifying invariance, a theory for veri...