TIME
1998
IEEE
14 years 3 months ago
1998
IEEE
TIME
1998
IEEE
14 years 3 months ago
1998
IEEE
Kowalski and Sergot's Event Calculus (EC) is a simAppeared in the Proceedings of the Fifth International Workshop on Temporal Representation and Reasoning -- TIME'98 (R....
TIME
1998
IEEE
14 years 3 months ago
1998
IEEE
The use of causal rules or fluent dependency constraints has proven to provide a versatile means of dealing with the ramification problem. In this paper we show how fluent depende...
LICS
1998
IEEE
14 years 3 months ago
1998
IEEE
LICS
1998
IEEE
14 years 3 months ago
1998
IEEE
Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...
LICS
1998
IEEE
14 years 3 months ago
1998
IEEE
LICS
1998
IEEE
14 years 3 months ago
1998
IEEE
d abstract) T. Eiter G. Gottlob Y. Gurevich Institut fur Informatik Institut fur Informationssysteme EECS Department Universitat Gie en Technische Universitat Wien University of Mi...
LICS
1998
IEEE
14 years 3 months ago
1998
IEEE
The Horn
LICS
1998
IEEE
14 years 3 months ago
1998
IEEE
LICS
1998
IEEE
14 years 3 months ago
1998
IEEE
In his well-known paper \How computer should think" ( Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we...