Sign Up to like & get
recommendations!
0
Published in 2021 at "Journal of Philosophical Logic"
DOI: 10.1007/s10992-020-09567-4
Abstract: The unwinding that Cook (J. Symbol. Log. 69 (3), 767–774 2004 ) proposed is a simple but powerful method of generating new paradoxes from known ones. This paper extends Cook’s unwinding to a larger class…
read more here.
Keywords:
digraph;
self referential;
modal net;
boolean modal ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2022 at "IEEE Transactions on Intelligent Transportation Systems"
DOI: 10.1109/tits.2021.3128494
Abstract: Congestion recognition is necessary for vehicle routing, traffic control, and many other applications in intelligent transportation systems. Besides, traffic facilities in the three-dimensional road network, which contains the fundamental spatiotemporal features for congestion recognition, provides…
read more here.
Keywords:
traffic;
network;
digraph;
congestion recognition ... See more keywords