Representation Theorems in Computer Science A Treatment in Logic Engineering /

• Κύριος συγγραφέας: Özçep, Özgür Lütfü (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Θέματα: Computers.; Artificial intelligence.; Computer logic.; Data mining.; Information storage and retrieval.; Theory of Computation.; Logic in AI.; Data Mining and Knowledge Discovery.; Information Storage and Retrieval.

Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of representation theorems as a means to develop an unde...

Πίνακας περιεχομένων:

• 1 Introduction
• 2 Preliminaries
• 3 Representing Spatial Relatedness
• 4 Scalable Spatio-Thematic Query Answering
• 5 Representation Theorems for Stream Processing
• 6 High-Level Declarative Stream Processing
• 7 Representation for Belief Revision
• 8 Conclusion.