605 search results - page 3 / 121 » Dealing with logical omniscience |
ISMIS
1987
Springer
13 years 9 months ago
1987
Springer
CCA
2009
Springer
14 years 10 days ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...
AUSAI
2003
Springer
13 years 11 months ago
2003
Springer
Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions [...
SYNTHESE
2010
13 years 14 days ago
2010
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
IFM
2010
Springer
13 years 4 months ago
2010
Springer
We present a logical framework that is able to deal with variability in product family descriptions. The temporal logic MHML is based on the classical Hennessy–Milner logic with ...