|
|||||
|
|
Simple Reasoning with Time-Dependent Propositions |
|
| Authors: | Bouzid, Maroua Ladkin, Peter |
| Affiliation: | 1 GREYC, université de Caen, Bd du Maréchal Juin 14032 Caen, France. E-mail: bouzid{at}info.unicaen.fr 2 Technische Fakultät, Universität Bielefeld, Postfach 10 01 31, 33501 Bielefeld, Germany. E-mail: ladkin{at}techfak.uni-bielefeld.de |
| Abstract: | |
| Keywords: | Temporal reasoning temporal logic union-of-convex intervals |
| 本文献已被 Oxford 等数据库收录！ | |