139
Voted
TIME
1998
IEEE
16 years 1 days ago
1998
IEEE
166
Voted
TIME
1998
IEEE
16 years 1 days 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....
172
click to vote
TIME
1998
IEEE
16 years 1 days 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...
176
Voted
LICS
1998
IEEE
16 years 1 days ago
1998
IEEE
206
Voted
LICS
1998
IEEE
16 years 1 days 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,...
164
Voted
LICS
1998
IEEE
16 years 1 days ago
1998
IEEE
188
Voted
LICS
1998
IEEE
16 years 1 days 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...
187
Voted
LICS
1998
IEEE
16 years 1 days ago
1998
IEEE
The Horn
165
Voted
LICS
1998
IEEE
16 years 1 days ago
1998
IEEE
165
Voted
LICS
1998
IEEE
16 years 1 days 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...