Theoretical information reuse and integration. (2016)

• Record Type: Book
• Further Information: Note: Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors.
• Editors: Bouabana-Tebibel, Thouraya; Rubin, S (Stuart)
• Contents: Preface; Contents; Contributors; Reuse and Integration of Specification Logics: The Hybridisation Perspective; 1 Introduction; 2 The Hybridisation Method; 2.1 Institutions; 2.2 The Method; 2.3 Examples; 3 Hybridisation at Work; 3.1 First-Order Encodings; 3.2 Implementation in the Hets Platform; 3.3 An Example; 3.4 From Boilerplates to mathcalHCASL Specifications; 4 An Application to the Design of a Specification Course; 5 A Glimpse of a Course Session; 6 A Step Ahead: The Power of Quantification; 6.1 Introducing Full Quantification; 6.2 Effects and Dynamic Modalities; 7 Concluding; References. 4 Landing Gear System4.1 System Description; 4.2 System Architecture; 5 The TTCC Process Calculus; 5.1 Constraint Systems; 5.2 Process Syntax; 5.3 Operational Semantics; 6 Denotational Semantics and Denotations; 7 Modeling the Landing Gear System; 7.1 Architecture Modeling; 7.2 Communication Modeling; 8 Specifying the Requirements; 8.1 Rate Constrained Traffic Schedulability; 8.2 Functional Chain End-to-End Delay; 9 Concluding Remarks; References; Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse; 1 Introduction; 2 Related Works. 3 Need for Polymorphic Knowledge Representation3.1 A Domain-Specific System; 3.2 Polymorphic Knowledge; 4 Definition of the AssemblyRange; 4.1 AssemblyRange OWL Syntax and Semantics; 4.2 AssemblyRange Logic Basis; 4.3 Discussion; 5 Case Representation in the CBR System; 5.1 Case Representation in the Proposed Ontology; 5.2 Case Indexing for Reuse; 6 Application and Results; 7 Conclusion; References; Intelligent Decision Making for Customer Dynamics Management Based on Rule Mining and Contrast Set Mining ; 1 Introduction; 2 Literature Review; 2.1 Customer Relationship Management.
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource (xii, 217 pages), illustrations (some color)
• Subjects: 004.6; Engineering; Kolmogorov complexity; Artificial intelligence; COMPUTERS -- Computer Literacy; COMPUTERS -- Computer Science; COMPUTERS -- Data Processing; COMPUTERS -- Hardware -- General; COMPUTERS -- Information Technology; COMPUTERS -- Machine Theory; COMPUTERS -- Reference; Kolmogorov complexity; Computers -- Intelligence (AI) & Semantics; Artificial intelligence; Electronic books
• Languages: English
• ISBNs: 9783319313115; 3319313118; 3319313096; 9783319313092
• Related ISBNs: 9783319313092
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed April 8, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.