Representation of Knowledge and Uncertainty in Temporal Logic LTL with Since on Frames Z of Integer Numbers
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-23851-2_32
PubMed Identifier: 36061223
Publication URI: http://europepmc.org/abstract/MED/36061223
Type: Book Chapter
Book Title: Knowledge-Based and Intelligent Information and Engineering Systems (2011)
Page Reference: 306-315
ISBN: 978-3-642-23850-5
ISSN: 2192-6670