605 search results - page 83 / 121 » Dealing with logical omniscience |
CADE
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
The description, composition, and execution of even logically simple scientific workflows are often complicated by the need to deal with "messy" issues like heterogeneou...
WFLP
2009
Springer
14 years 3 months ago
2009
Springer
A logic program strongly terminates if it terminates for any selection rule. Clearly, considering a particular selection rule—like Prolog’s leftmost selection rule—allows one...
COORDINATION
2007
Springer
14 years 3 months ago
2007
Springer
Coordination languages for ad hoc networks with a fluid topology do not offer adequate support to detect and deal with device disconnection. Such a disconnection is particularly ...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...