2623 search results - page 153 / 525 » Hoare Logic in the Abstract |
CCIA
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, ...
CAI
1998
Springer
14 years 9 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
FUIN
2010
14 years 7 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
105
click to vote
AMAST
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...