Sciweavers

JELIA
1994
Springer
15 years 11 days ago
Autoepistemic Logic of Minimal Beliefs
Teodor C. Przymusinski
JELIA
1994
Springer
15 years 29 days ago
Temporal Theories of Reasoning
: In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can...
Joeri Engelfriet, Jan Treur