1350 search results - page 52 / 270 » Reasoning about Staged Computation |
167
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...
129
click to vote
ECAI
2010
Springer
15 years 6 months ago
2010
Springer
We describe here a framework dedicated to studies and experimentations upon the nature of the relationships between the rational reasoning process of an artificial agent and its ps...
137
Voted
SYNTHESE
2010
15 years 3 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
159
click to vote
ICTAC
2010
Springer
15 years 2 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
115
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc on...