AMAI
2002
Springer
14 years 9 days ago
2002
Springer
Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving jus...
JSYML
2007
14 years 10 days ago
2007
We give four examples of theories in which Kreisel’s Conjecture is false: (1) the theory PA(-) obtained by adding a function symbol minus, ‘−’, to the language of PA, and t...
CCR
2005
14 years 10 days ago
2005
This article describes how control theory has been used to address the question of how to size the buffers in core Internet routers. Control theory aims to predict whether the net...
JANCL
2007
14 years 10 days ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
TCS
2008
14 years 10 days ago
2008
We develop a unified framework for dealing with constructibility and absoluteness in set theory, decidability of relations in effective structures (like the natural numbers), and ...
AML
2005
14 years 10 days ago
2005
In this article we show how to use the result in J
SYNTHESE
2008
14 years 10 days ago
2008
The problem addressed in this paper is "the main epistemic problem concerning science", viz. "the explication of how we compare and evaluate theories [. . .] in the ...
SYNTHESE
2008
14 years 10 days ago
2008
Anyadvancedtheoryofphysicscontainsmodulesdefinedasessentialcomponents that are themselves theories with different domains of application. Different kinds of modules can be distingu...
IJRFITA
2007
14 years 10 days ago
2007
: In this paper, we collect and extend the theory of Radio Frequency (RF) propagation within rectangular metal pipes. This work is motivated by the need to understand the operation...
AI
2005
Springer
14 years 10 days ago
2005
Springer
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...