Sciweavers

11 search results - page 3 / 3
» Reasoning in Non-Axiomatic Logic: A Case Study in Medical Di...
Sort
View
SLP
1994
77views more  SLP 1994»
14 years 5 days ago
Modal Event Calculus
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...
Iliano Cervesato, Luca Chittaro, Angelo Montanari