Kooperativer Bibliotheksverbund

UID:

Format: X, 194 p. 74 illus., 58 illus. in color. , online resource.

Edition: 1st ed. 2025.

ISBN: 9783031723964

Series Statement: Lecture Notes in Computer Science, 14623

Content: This book constitutes the proceedings of the First MICCAI 2023 Challenge on Semi-supervised Tooth Segmentation, SemiToothSeg 2023, held in Conjunction with MICCAI 2023, in Vancouver, BC, Canada, on October 8, 2023. The 16 full papers presented in this book were carefully reviewed and selected from 64 submissions. The papers were written by participants in the STS challenge to describe their solutions for automatic teeth segmentation using the offcial training dataset released for this purpose. In general, this challenge aims to promote the development of the teeth segmentation in panoramic X-ray images and dental CBCT scans.

Note: Convolutional Neural Network-based Multi-scale Semantic Segmentation for Two-dimensional Panoramic X-rays of Teeth -- TB-FPN: Enhancing Tooth Segmentation with Cascade Boundary-aware FPN -- Perform Special Post-processing after Tooth Segmentation -- A Multi-Stage Framework for 3D Individual Tooth Segmentation in Dental CBCT -- Preprocessing of Prior Knowledge before Semi-Supervised Tooth Segmentation -- A Semi-Supervised Tooth Segmentation Method based on Entropy-Guided Mean Teacher and Weakly Mutual Consistency Network -- MsNet: Multi-Stage Learning from Seldom Labeled Data for 3D Tooth Segmentation in Dental Cone Beam Computed Tomography -- Diffusion-Based Conv-Former Dual-Encode U-Net: DDPM for Level Set Evolution Mapping - MICCAI STS 2023 Challenge -- Semi-Supervised 3D Tooth Segmentation Using nn-UNet with Axial Attention and Positional Correction -- Boundary Feature Fusion Network for Tooth Image Segmentation -- Self-training Based Semi-Supervised Learning and U-Net with Denoiser for Teeth Segmentation in X-ray Image -- UX-CNet: Effective Edge Information Acquisition for Teeth Image Segmentation -- 2D Teeth Segmentation Base on Half-image Approach and VCMix-Net+ -- Automated Dental CBCT Segmentation using Pseudo Labeling Method -- Prior-aware Cross Pseudo Supervision for Semi-supervised Tooth Segmentation -- High-Precision Semi-supervised 3D Dental Segmentation Based on nnUNet.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783031723957

Additional Edition: Printed edition: ISBN 9783031723971

Language: English

DOI: 10.1007/978-3-031-72396-4

URL: https://doi.org/10.1007/978-3-031-72396-4

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Format: 1 online resource (496 pages)

Edition: 1st ed.

ISBN: 1-00-333971-9 , 1-000-79120-3 , 1-003-33971-9 , 1-000-79504-7 , 87-7022-040-9

Series Statement: River Publishers series in automation, control and robotics

Content: In today’s competitive global environment, manufacturers are offered with unprecedented opportunities to build hyper-efficient and highly flexible plants, towards meeting variable market demand, while at the same time supporting new production models such as make-to-order (MTO), configure-to-order (CTO) and engineer-to-order (ETO). During the last couple of years, the digital transformation of industrial processes is propelled by the emergence and rise of the fourth industrial revolution (Industry4.0). The latter is based on the extensive deployment of Cyber-Physical Production Systems (CPPS) and Industrial Internet of Things (IIoT) technologies in the manufacturing shopfloor, as well as on the seamless and timely exchange of digital information across supply chain participants. The benefits of Industry 4.0 have been already proven in the scope of pilot and production deployments in a number of different use cases including flexibility in automation, predictive maintenance, zero defect manufacturing and more. Despite early implementations and proof-of-concepts, CPPS/IIoT deployments are still in their infancy for a number of reasons, including:• Manufacturers’ poor awareness about digital manufacturing solutions and their business value potential, as well as the lack of relevant internal CPPS/IIoT knowledge.• The high costs that are associated with the deployment, maintenance and operation of CPPS systems in the manufacturing shopfloors, which are particularly challenging in the case of SME (Small Medium Enterprises) manufacturers that lack the equity capital needed to invest in Industry 4.0.• The time needed to implement CPPS/IIoT and the lack of a smooth and proven migration path from existing OT solutions.• The uncertainty over the business benefits and impacts of IIoT and CPPS technologies, including the lack of proven methods for the techno-economic evaluation of Industry4.0 systems. • Manufacturers’ increased reliance on external integrators, consultants and vendors. • The absence of a well-developed value chain needed to sustain the acceptance of these new technologies for digital automation.In order to alleviate these challenges, three European Commission funded projects (namely H2020 FAR-EDGE (http://www.far-edge.eu/), H2020 DAEDALUS (http://daedalus.iec61499.eu) and H2020 AUTOWARE (http://www.autoware-eu.org/)) have recently joined forces towards a “Digital Shopfloor Alliance”. The Alliance aims at providing leading edge and standards based digital automation solutions, along with guidelines and blueprints for their effective deployment, validation and evaluation. The present book provides a comprehensive description of some of the most representative solutions that offered by these three projects, along with the ways these solutions can be combined in order to achieve multiplier effects and maximize the benefits of their use. The presented solutions include standards-based digital automation solutions, following different deployment paradigms, such as cloud and edge computing systems. Moreover, they also comprise a rich set of digital simulation solutions, which are explored in conjunction with the H2020 MAYA project (http://www.maya-euproject.com/). The latter facilitate the testing and evaluation of what-if scenarios at low risk and cost, but also without disrupting shopfloor operations. As already outlined, beyond leading edge scientific and technological development solutions, the book comprises a rich set of complementary assets that are indispensable to the successful adoption of IIoT/CPPS in the shopfloor. The book is structured in three parts as follows: • The first part of the book is devoted to digital automation platforms. Following an introduction to Industry 4.0 in general and digital automation platforms in particular, this part presents the digital automation platforms of the FAR-EDGE, AUTOWARE and DAEDALUS projects. • The second part of the book focuses on the presentation of digital simulation and digital twins’ functionalities. These include information about the models that underpin digital twins, as well as the simulators that enable experimentation with these processes over these digital models. • The third part of the book provides information about complementary assets and supporting services that boost the adoption of digital automation functionalities in the Industry4.0 era. Training services, migration services and ecosystem building services are discussed based on the results of the three projects of the Digital Shopfloor Alliance. The target audience of the book includes:• Researchers in the areas of Digital Manufacturing and more specifically in the areas of digital automation and simulation, who wish to be updated about latest Industry4.0 developments in these areas.• Manufacturers, with an interest in the next generation of digital automation solutions based on Cyber-Physical systems.• Practitioners and providers of Industrial IoT solutions, which are interested in the implementation of use cases in automation, simulation and supply chain management.• Managers wishing to understand technologies and solutions that underpin Industry4.0, along with representative applications in the shopfloor and across the supply chain.

Note: Front Cover -- Half Title -- RIVER PUBLISHERS SERIES IN AUTOMATION, CONTROL AND ROBOTICS -- Title Page - The Digital Shopfloor: Industrial Automation in the Industry 4.0 Era Performance Analysis and Applications -- Copyright -- Contents -- Foreword -- Preface -- List of Contributors -- List of Figures -- List of Tables -- List of Abbreviations -- Chapter 1 - Introduction to Industry 4.0 and the Digital Shopfloor Vision -- 1.1 Introduction -- 1.2 Drivers and Main Use Cases -- 1.3 The Digital Technologies Behind Industry 4.0 -- 1.4 Digital Automation Platforms and the Vision of the Digital Shopfloor -- 1.4.1 Overview of Digital Automation Platforms -- 1.4.2 Outlook Towards a Fully Digital Shopfloor -- 1.5 Conclusion -- References -- PART I -- Chapter 2 - Open Automation Framework for Cognitive Manufacturing -- 2.1 Introduction -- 2.2 State of the Play: Digital Manufacturing Platforms -- 2.2.1 RAMI 4.0 (Reference Architecture Model Industry 4.0) -- 2.2.2 Data-driven Digital Manufacturing Platforms for Industry 4.0 -- 2.2.3 International Data Spaces -- 2.3 Autoware Framework for Digital Shopfloor Automation -- 2.3.1 Digital Shopfloor Evolution: Trends & -- Challenges -- 2.3.1.1 Pillar 1: AUTOWARE open reference architecture for autonomous digital shopfloor -- 2.3.1.2 Pillar 2: AUTOWARE digital abilities for automatic awareness in the autonomous digital shopfloor -- 2.3.1.3 Pillar 3: AUTOWARE business value -- 2.3.2 AUTOWARE Software-Defined Autonomous Service Platform -- 2.3.2.1 Cloud & -- Fog computing services enablers and context management -- 2.3.3 AUTOWARE Framework and RAMI 4.0 Compliance -- 2.4 Autoware Framework for Predictive Maintenance Platform Implementation -- 2.4.1 Z-BRE4K: Zero-Unexpected-Breakdowns and Increased Operating Life of Factories -- 2.4.2 Z-Bre4k Architecture Methodology -- 2.4.3 Z-BRE4K General Architecture Structure. , 2.4.4 Z-BRE4K General Architecture Information Workflow -- 2.4.5 Z-BRE4K General Architecture Component Distribution -- 2.5 Conclusions -- References -- Chapter 3 - Reference Architecture for Factory Automation using Edge Computing and Blockchain Technologies -- 3.1 FAR-EDGE Project Background -- 3.2 FAR-EDGE Vision and Positioning -- 3.3 State of the Art in Reference Architectures -- 3.3.1 Generic Reference Architectures -- 3.3.2 RAMI 4.0 -- 3.3.3 IIRA -- 3.3.4 OpenFog RA -- 3.4 FAR-EDGE Reference Architecture -- 3.4.1 Functional Viewpoint -- 3.4.1.1 Automation domain -- 3.4.1.2 Analytics domain -- 3.4.1.3 Simulation domain -- 3.4.1.4 Crosscutting functions -- 3.4.2 Structural Viewpoint -- 3.4.2.1 Field Tier -- 3.4.2.2 Gateway Tier -- 3.4.2.3 Ledger Tier -- 3.4.2.4 Cloud Tier -- 3.5 Key Enabling Technologies for Decentralization -- 3.5.1 Blockchain Issues -- 3.5.2 Permissioned Blockchains -- 3.5.3 The FAR-EDGE Ledger Tier -- 3.5.4 Validation use Cases -- 3.6 Conclusions -- References -- Chapter 4 - IEC-61499 Distributed Automation for the Next Generation of Manufacturing Systems -- 4.1 Introduction -- 4.2 Transition towards the Digital Manufacturing Paradigm: A Need of the Market -- 4.3 Reasons for a New Engineering Paradigm in Automation -- 4.3.1 Distribution of Intelligence is Useless without Appropriate Orchestration Mechanisms -- 4.3.2 Defiance of Rigid Hierarchical Levels towards the Full Virtualization of the Automation Pyramid -- 4.4 IEC-61499 Approach to Cyber-Physical Systems -- 4.4.1 IEC-61499 runtime -- 4.4.2 Functional Interfaces -- 4.4.2.1 IEC-61499 interface -- 4.4.2.2 Wireless interface -- 4.4.2.3 Wrapping interface -- 4.4.2.4 Service-oriented interface -- 4.4.2.5 Fieldbus interface(s) -- 4.4.2.6 Local I/O interface -- 4.5 The "CPS-izer", a Transitional Path towards Full Adoption of IEC-61499 -- 4.6 Conclusions -- References. , Chapter 5 - Communication and Data Management in Industry 4.0 -- 5.1 Introduction -- 5.2 Industry 4.0 Communication and Data Requirements -- 5.3 Industrial Wireless Network Architectures -- 5.4 Data Management in Industrial Environments -- 5.5 Hierarchical Communication and Data Management Architecture for Industry 4.0 -- 5.5.1 Heterogeneous Industrial Wireless Network -- 5.5.2 Hierarchical Management -- 5.5.2.1 Hierarchical communications -- 5.5.2.2 Data management -- 5.5.3 Multi-tier Organization -- 5.5.4 Architectural Enablers: Virtualization and Softwarization -- 5.5.4.1 RAN slicing -- 5.5.4.2 Cloudification of the RAN -- 5.6 Hybrid Communication Management -- 5.7 Decentralized Data Distribution -- 5.7.1 Average Data Access Latency Guarantees -- 5.7.2 Maximum Data Access Latency Guarantees -- 5.7.3 Dynamic Path Reconfigurations -- 5.8 Communications and Data Management within the AUTOWARE Framework -- 5.9 Conclusions -- References -- Chapter 6 - A Framework for Flexible and Programmable Data Analytics in Industrial Environments -- 6.1 Introduction -- 6.2 Requirements for Industrial-scale Data Analytics -- 6.3 Distributed Data Analytics Architecture -- 6.3.1 Data Routing and Preprocessing -- 6.3.2 Edge Analytics Engine -- 6.3.3 Distributed Ledger -- 6.3.4 Distributed Analytics Engine (DA-Engine) -- 6.3.5 Open API for Analytics -- 6.4 Edge Analytics Engine -- 6.4.1 EA-Engine Processors and Programmability -- 6.4.2 EA-Engine Operation -- 6.4.3 Configuring Analytics Workflows -- 6.4.4 Extending the Processing Capabilities of the EA-Engine -- 6.4.5 EA-Engine Configuration and Runtime Example -- 6.5 Distributed Ledger and Data Analytics Engine -- 6.5.1 Global Factory-wide Analytics and the DA-Engine -- 6.5.2 Distributed Ledger Services in the FAR-EDGE Platform -- 6.5.3 Distributed Ledger Services and DA-Engine. , 6.6 Practical Validation and Implementation -- 6.6.1 Open-source Implementation -- 6.6.2 Practical Validation -- 6.6.2.1 Validation environment -- 6.6.2.2 Edge analytics validation scenarios -- 6.6.2.3 (Global) distributed analytics validation scenarios -- 6.7 Conclusions -- References -- Chapter 7 - Model Predictive Control in Discrete Manufacturing Shopfloors -- 7.1 Introduction -- 7.1.1 Hybrid Model Predictive Control SDK -- 7.1.2 Requirements -- 7.1.3 Hybrid System -- 7.1.4 Model Predictive Control -- 7.2 Hybrid System Representation -- 7.2.1 Piece-Wise Affine (PWA) System -- 7.2.2 Mixed Logical Dynamical (MLD) System -- 7.2.3 Equivalence of Hybrid Dynamical Models -- 7.3 Hybrid Model Predictive Control -- 7.3.1 State of the Art -- 7.3.2 Key Factors -- 7.3.3 Key Issues -- 7.4 Identification of Hybrid Systems -- 7.4.1 Problem Setting -- 7.4.2 State-of-the-Art Analysis -- 7.4.3 Recursive Two-Stage Clustering Approach -- 7.4.4 Computation of the State Partition -- 7.5 Integration of Additional Functionalities to the IEC 61499 Platform -- 7.5.1 A Brief Introduction to the Basic Function Block -- 7.5.2 A Brief Introduction to the Composite Function Block -- 7.5.3 A Brief Introduction to the Service Interface Function Block -- 7.5.4 The Generic DLL Function Block of nxtControl -- 7.5.5 Exploiting the FB DLL Function Block as Interfacing Mechanism between IEC 61499 and External Custom Code -- 7.6 Conclusions -- References -- Chapter 8 - Modular Human-Robot Applications in the Digital Shopfloor Based on IEC-61499 -- 8.1 Introduction -- 8.2 Human and Robots in Manufacturing: Shifting the Paradigm from Co-Existence to Mutualism -- 8.3 The "Mutualism Framework" Based on IEC-61499 -- 8.3.1 "Orchestrated Lean Automation": Merging IEC-61499 with the Toyota Philosophy -- 8.3.2 A Hybrid Team of Symbionts for Bidirectional Mutualistic Compensation. , 8.3.3 Three-Dimensional Characterization of Symbionts' Capabilities -- 8.3.4 Machine Learning Applied to Guarantee Dynamic Adherence of Models to Reality -- 8.4 Technological Approach to the Implementation of Mutualism -- 8.4.1 "Mutualism Framework" to Sustain Implementation of Symbionts-Enhanced Manufacturing Processes -- 8.4.2 IEC-61499 Engineering Tool-Chain for the Design and Deployment of Real-Time Orchestrated Symbionts -- 8.4.3 AI-Based Semantic Planning and Scheduling of Orchestrated Symbionts' Tasks -- 8.4.4 Modular Platform for Perceptual Learning and Augmentation of Human Symbionts -- 8.4.5 Training Gymnasium for Progressive Adaptation andPerformance Improvement of Symbionts' Mutualistic Behaviours -- 8.5 The Potential to Improve Productivity and the Impact this Could Have on European Manufacturing -- 8.6 Conclusions -- References -- PART II -- Chapter 9 - Digital Models for Industrial Automation Platforms -- 9.1 Introduction -- 9.2 Scope and Use of Digital Models for Automation -- 9.2.1 Scope of Digital Models -- 9.2.2 Factory and Plant Information Modelling -- 9.2.3 Automation and Analytics Processes Modelling -- 9.2.4 Automation and Analytics Platforms Configuration -- 9.2.5 Cyber and Physical Worlds Synchronization -- 9.2.6 Dynamic Access to Plant Information -- 9.3 Review of Standards Based Digital Models -- 9.3.1 Overview -- 9.3.2 IEC 62264 -- 9.3.3 IEC 62769 (FDI) -- 9.3.4 IEC 62453 (FDT) -- 9.3.5 IEC 61512 (Batch Control) -- 9.3.6 IEC 61424 (CAEX) -- 9.3.7 Business to Manufacturing Markup Language (B2MML) -- 9.3.8 AutomationML -- 9.4 FAR-EDGE Digital Models Outline -- 9.4.1 Scope of Digital Modelling in FAR-EDGE -- 9.4.2 Main Entities of Digital Models for Data Analytics -- 9.4.3 Hierarchical Structure -- 9.4.4 Model Repository Open Source Implementation -- 9.5 Simulation and Analytics Models Linking and Interoperability. , 9.6 Conclusions. , English

Additional Edition: ISBN 87-7022-041-7

Language: English

URL: kostenfrei

URL: https://www.taylorfrancis.com/books/9781003339717

UID:

Format: VI, 355 S. ; , 24 cm.

ISBN: 0-19-927202-6 , 0-19-927195-X

Note: Includes bibliographical references and index

Language: English

Subjects: Philosophy

Keywords: Semantik ; Sprachphilosophie ; Konferenzschrift

URL: Publisher description

URL: Table of contents

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014947210&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: Publisher description

URL: Table of contents

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014947210&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: http://www.loc.gov/catdir/enhancements/fy0635/2006006147-d.html

URL: http://www.loc.gov/catdir/enhancements/fy0635/2006006147-t.html

UID:

Format: VII, 188 S. , graph. Darst.

ISBN: 9783110302141 , 3110302144

Series Statement: Linguistische Arbeiten 549

Note: Literaturverz. S. [177] - 182 , Teilw. zugl.: Philadelphia, Univ. of Pennsylvania, Diss., 2008 u.d.T.: Scheffler, Tatjana: Semantic operators in different dimensions , Two-dimensional semantics.Conventional implicature ;Conventional implicatures vs. presuppositions;A discourse logicSentence adverbs.Types of sentence adverbs ;Semantic unembeddability;Antecedent of conditionals;Questions;Negation;Denial;Attitude verbs;Semantic (un)embeddability of sentence adverbs ;Properties of german sentence adverbs;The probably type;The unfortunately type;The frankly type;Frankly speaking;Properties of three types of sentence adverbs ;Sentence adverbs on two semantic dimensions ;Syntax/semantics mismatch;An anaphoric approach to utterance modification ;SummaryDenn and weil : causal connectives in two dimensions.Data;Two german words for 'Because';Epistemic and speech act uses;Three exceptions to the use of denn ;Previous work;The performative analysis;Denn and antibackgrounding ;Semantics of denn;Denn as a conventional implicature item;Unembeddability of denn;Formalizing denn's semantics ;Syntax of denn ;The distribution of denn vs. weil explained;Denn in epistemic and speech act causal sentences;Three exceptions to the use of denn ;Further issues;Epistemic and speech act uses of weil;English because;Embedding under non-restrictive relative clauses ;SummaryRelevance conditionals : if on another dimension.Crucial properties of relevance conditionals;Semantic unembeddability;Illocutionary status of the consequent;Syntactic unintegration ;The analysis : 'If' on two dimensions;Proposal;Net effect of the if-clause in RCs;Discussion ;Previous accounts;Conditional assertion accounts;Existential quantification over potential literal acts;Relevance conditionals as topics ;SummaryA paradigm of adjuncts on two dimensions.Taking stock;Syntactic unintegration;Argument types of CI modifiers ;Although ;Modifiers on different dimensionsComplement clauses.Attitude verbs and their complements;V2 embedding;Slifting;Properties of slifting vs. V2 embedding ;Verbs that allow slifting and V2 complements;Which verbs allow V2 complements?;Which verbs do not allow V2 complements?;Slifting verbs;Generalization : epistemicity ;Slifting as evidentials;Analysis;Slifting and verb classes;Slifting and semantic embedding;Summary : slifting ;V2 complement clauses;Analysis;V2 complement clause

Additional Edition: ISBN 9783110302332

Additional Edition: Online-Ausg. Scheffler, Tatjana, 1980 - Two-dimensional Semantics Berlin [u.a.] : De Gruyter, 2013 ISBN 9783110302332

Additional Edition: Erscheint auch als Online-Ausgabe Scheffler, Tatjana, 1980 - Two-dimensional semantics Berlin : De Gruyter, 2013 ISBN 9783110302332

Language: English

Subjects: German Studies

Keywords: Deutsch ; Kausalsatz ; Objektsatz ; Nebensatz ; Adjunkt ; Semantik ; Deutsch ; Semantik ; Kausalsatz ; Objektsatz ; Nebensatz ; Hochschulschrift ; Hochschulschrift

URL: Inhaltstext

URL: Inhaltsverzeichnis

Author information: Scheffler, Tatjana 1980-

UID:

Format: 1 online resource (801 p.)

Edition: 1st ed.

ISBN: 1-283-13403-9 , 9786613134035 , 0-08-093169-3

Series Statement: Handbook of the history of logic, v. 10

Content: This volume is number ten in the 11-volume Handbook of the History of Logic. While there are many examples were a science split from philosophy and became autonomous (such as physics with Newton and biology with Darwin), and while there are, perhaps, topics that are of exclusively philosophical interest, inductive logic - as this handbook attests - is a research field where philosophers and scientists fruitfully and constructively interact. This handbook covers the rich history of scientific turning points in Inductive Logic, including probability theory and decision theory. Written by lead

Note: Description based upon print version of record. , Front Cover; Inductive Logic; Copyright Page; Contents; Introduction; Contributors; Induction Before Hume; 1 The Ancient World; 2 The Middle Ages; 3 The Renaissance; 4 The Seventeenth Century and Early Eighteenth Century; 5 Conclusion; Bibliography; Hume and the Problem of Induction; 1 Introduction; 2 Two Problems of Induction; 3 Hume's Fork: The First Option; 4 Hume's Fork: The Second Option; 5 Three Ways of Rejecting Hume's Problem; 6 Hume's Conclusion; 7 Bonjour's a Priori Justification of Induction; 8 Reichenbach's Pragmatic Justification of Induction; 9 Bayesian Approaches , 10 Williams' Combinatorial Justification of Induction11 The Inductive Leap as Mythical; 12 Conclusion; Bibliography; The Debate between Whewell and Mill on the Nature of Scientific Induction; 1 Why the Debate is not Merely Terminological; 2 The Kepler Example and the Colligation of Facts; 3 Whewell's Tests of Hypotheses; 4 Disputes about Induction that have Ignored these Lessons; 5 Implications for Probabilistic Theories of Evidence and Confirmation; Acknowledgements; Bibliography; An Explorer Upon Untrodden Ground: Peirce on Abduction; 1 Introduction; 2 Ideas from Kant and Aristotle , 3 Peirce's Two-Dimensional Framework4 Hypothesis vs Induction; 5 The Road to Abduction; 6 From the Instinctive to the Reasoned Marks of Truth; 7 The Three Stages of Inquiry; 8 Looking Ahead; Further Reading; Bibliography; The Modern Epistemic Interpretations of Probability: Logicism and Subjectivism; 1 The Logical Interpretation of Probability; 2 The Subjective Interpretation of Probability; Concluding Remarks; Bibliography; Popper and Hypothetico-Deductivism; Enthymemes and their Deductivist Reconstructions; 'Automobile Logic'; Formal and Semantic Validity , Historical Interlude: Mill Versus AristotleWittgensteinian Instrumentalism; 'Logic of Discovery' - Deductive or Inductive?; 'Logic of Justification' - Deductive or Inductive?; Getting Started - 'Foundational Beliefs'; Bibliography; Hempel and the Paradoxes of Confirmation; 1 Towards a Logic of Confirmation; 2 Adequacy Criteria; 3 The Satisfaction Criterion; 4 The Raven Paradox; 5 The Bayesian's Raven Paradox; 6 Summary; Acknowledgements; Bibliography; Carnap and the Logic of Inductive Inference; 1 Introduction; 2 Probability; 3 Confirmation; 4 Exchangeability , 5 The Continuum of Inductive Methods6 Confirmation of Universal Generalizations; 7 Instantial Relevance; 8 Finite Exchangeability; 9 The First Induction Theorem; 10 Analogy; 11 The Sampling of Species Problem; 12 A Budget of Paradoxes; 13 Carnap Redux; 14 Conclusion; Bibliography; The Development of the Hintikka Program; 1 Inductive Logic as a Methodological Research Program; 2 From Carnap to Hintikka's Two-Dimensional Continuum; 3 Axiomatic Inductive Logic; 4 Extensions of Hintikka's System; 5 Semantic Information; 6 Confirmation and Acceptance; 7 Cognitive Decision Theory , 8 Inductive Logic and Theories , English

Additional Edition: ISBN 0-444-52936-5

Language: English

Subjects: Philosophy

Keywords: Aufsatzsammlung

URL: Volltext

URL: Volltext

URL: lizenzpflichtig

URL: lizenzpflichtig

URL: Inhaltstext

UID:

Format: XXVIII, 489 p. 177 illus., 124 illus. in color. , online resource.

Edition: 1st ed. 2024.

ISBN: 9783031578533

Series Statement: Lecture Notes on Data Engineering and Communications Technologies, 200

Content: Networks of today are going through a rapid evolution and there are many emerging areas of information networking and their applications. Heterogeneous networking supported by recent technological advances in low power wireless communications along with silicon integration of various functionalities such as sensing, communications, intelligence, and actuations are emerging as a critically important disruptive computer class based on a new platform, networking structure and interface that enable novel, low-cost and high-volume applications. Several of such applications have been difficult to realize because of many interconnection problems. To fulfill their large range of applications different kinds of networks need to collaborate and wired and next generation wireless systems should be integrated in order to develop high performance computing solutions to problems arising from the complexities of these networks. This book covers the theory, design and applications of computer networks, distributed computing, and information systems. The aim of the book "Advanced Information Networking and Applications" is to provide latest research findings, innovative research results, methods and development techniques from both theoretical and practical perspectives related to the emerging areas of information networking and applications.

Note: A Method for Estimating the Number of Diseases in Computed Tomography Reports of the Japanese Medical Image Database (J-MID): Variations among Facilities -- Enabling Dynamic Vulnerability Assessment for Multi-web Application Using Executable Directed Acyclic Graph -- Discovery of RESTful Web Services Based on the Openapi 3.0 Standard with Semantic Annotations -- Perfresolv: A Geo-distributed Approach for Performance Analysis of Public Dns Resolvers Based on Domain Popularity -- Dars: Empowering Trust in Blockchain-based Real-world Applications with a Decentralized Anonymous Reputation System -- An Empirical Comparison of Outlier Detection Methods for Identifying Grey-sheep Users in Recommender Systems -- Adaptive Consensus: Enhancing Robustness in Dynamic Environments -- Cottontrust: Reliability and Traceability in Cotton Supply Chain Using Self-sovereign Identity -- Interoperability Between Evm-based Blockchains -- Stand-up Indulgent Gathering on Lines for Myopic Luminous Robots -- Iot Identity Management Systems: The State-of-the-art, Challenges and a Novel Architecture -- Starm: Streaming Association Rules Mining in High-dimensional Data -- Regulation Compliance System for Iot Environments: Gdpr Compliance as a Use-case -- Two-dimensional Models of Markov Processes for System Availability -- Enabling Ai in Agriculture 4.: A Blockchain-based Mobile Crowdsensing Architecture.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9783031578526

Additional Edition: Printed edition: ISBN 9783031578540

Language: English

DOI: 10.1007/978-3-031-57853-3

URL: https://doi.org/10.1007/978-3-031-57853-3

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Format: 1 online resource (463 pages)

Edition: 1st ed.

ISBN: 9782384760947

Series Statement: Advances in Social Science, Education and Humanities Research Series ; v.766

Note: Intro -- Preface -- Organization -- Contents -- Peer-Review Statements -- 1 Review Procedure -- 2 Quality Criteria -- 3 Key Metrics -- Application of Surface Modeling in Appearance Design of Creative Products -- 1 Introduction -- 2 Surface Modeling -- 3 Application of Surface Modeling in Product Appearance Design -- 4 Conclusion -- References -- Urban Experience and Self-awareness of Female Characters in Eileen Chang's Novels: A Case Study of Love in a Falling City -- 1 Introduction -- 2 Literature Review -- 3 Shackle: The Situation of Two Cities Under the Background of the Times -- 4 Breakthrough: The "Real Chinese Woman" -- 5 Desolation: Women Struggle in Difficult Situations -- 6 Conclusion -- References -- Literature Review of Community of Inquiry Model in China and Abroad -- 1 Introduction -- 2 Methodology -- 2.1 Research Question -- 2.2 Searching Strategy -- 3 Results and Discussion -- 3.1 What Are the Current Researches on the COI Model in China? -- 3.2 Which Aspects Are the Current Researches on the COI Model in Abroad? -- 4 Conclusion -- References -- Research on the Functional Orientation of County Libraries in the Public Cultural Service System -- 1 Introduction -- 2 Overview of Public Cultural Service System -- 3 Overview of County-Level Libraries -- 4 Research Methods -- 4.1 Discourse Analysis -- 4.2 Case Study -- 5 Functions -- 5.1 The Inheritors of History and Culture -- 5.2 Breeders of Popular Culture -- 5.3 Disseminator of Advanced Culture -- 5.4 Multicultural Collaborators -- 6 Conclusion -- References -- Narrative Ability of Mandarin-Speaking Patients with Cerebral Palsy -- 1 Introduction -- 1.1 Cerebral Palsy -- 1.2 Narrative Ability -- 1.3 Structure of Narrative -- 2 Purpose and Predictions -- 3 Method -- 3.1 Subjects -- 3.2 Materials -- 4 Results and Discussion -- 5 Conclusion -- References. , Body Politics and the Writing of Desire -- 1 Introduction -- 2 The Writing of Desire in "Lust, Caution" and "Boule de Suif" -- 3 Dual Identities in "Lust, Caution" and "Boule de Suif" -- 4 The Body of Ethics for the Female -- 5 Conclusion -- References -- Research on Design of Cultural and Creative Products Based on Artificial Intelligence-Assisted Design -- 1 Research Status and Analysis -- 1.1 Homogenization of Cultural and Creative Products -- 1.2 Current Development of Artificial Intelligence Design -- 2 Artificial Intelligence and Cultural and Creative Product Design -- 3 Artificial Intelligence Aided Design Element Analysis -- 4 Design Practice of Cultural and Creative Products Based on Artificial Intelligence Aided Design -- 4.1 Design Process -- 4.2 Establishment of Basic Data Model -- 4.3 Stylize the Data Set -- 4.4 Design Programmatic Iterative Generation -- 5 Thesis Conclusion -- References -- Research on Empathetic Dialogue Generation Based on Emotional Cognition and Empathetic Response -- 1 Introduction -- 2 Emotional Recognition and Cognition -- 2.1 Discourse Level and Speaker Level -- 2.2 Utterance Level and Conversation Level and Emotion Affects Emotion -- 2.3 Communication Mechanism and Dialogue Behavior and Emotion -- 3 Empathetic Response Generation -- 3.1 Improve Empathy Response by Enhancing Semantic Understanding -- 3.2 Improve Empathetic Response by Enhancing Semantic Understanding and Adopting Dialogue Management -- 3.3 Improve Empathetic Response by Retrieving and Generating Responses -- 3.4 A Multi-party Empathetic Dialogue Generation Based on Static Sensibility and Dynamic Emotion -- 4 Experiments -- 4.1 Common Compared Models -- 4.2 Common Datasets and Knowledge Base -- 4.3 Common Evaluation Metrics -- 4.4 Results and Analysis of Empathy Response Experiment -- 5 Conclusion -- References. , Research on Visualization Design Based on Jiangxi Red Culture -- 1 Introduction -- 2 Overview of Jiangxi Red Culture Connotation -- 3 The Function of Visualization Design Based on Jiangxi Red Culture -- 3.1 Transform the Existing Form of Red Culture Information -- 3.2 It is Possible to Establish a More Systematic Basis for the Identification of Elements of Red Culture Information -- 3.3 Visualization Design Can Enrich the Expressive Means of Red Culture Information -- 3.4 Realizing Multi-dimensional Analysis of Red Culture Information -- 4 Visualization Design Method Based on Jiangxi Red Culture -- 4.1 Theme Research and Resource Arrangement and Optimization -- 4.2 Five Seconds Rule of Visual Attractiveness -- 4.3 Using the Visual Psychology of Words to Enhance Recognition -- 4.4 Show the Relevance Among Things with Graphics, Colors, Symbols and Other Elements -- 5 Techniques of Visualization Presentation and Technological Choice -- 6 Conclusions -- References -- Research on Visual Design in the Context of Immersive New Media -- 1 Introduction -- 2 Concept and Characteristics of Visual Design -- 2.1 The Concept of Visual Design -- 2.2 The Characteristics of Visual Design -- 3 Classification of Immersive Visual Design -- 3.1 Immersive Visual Design for Performing Arts -- 3.2 Immersive Visual Design for Entertainment -- 3.3 Immersive Visual Design for Restaurants -- 3.4 Immersive Visual Design for Art Exhibition -- 4 Conclusion -- References -- A Study on the Current Situation of Negative Transfer of Mother Tongue in College Students' English Learning of Guangxi Zhuang Nationality Under the Background of Third Language Acquisition -- 1 Introduction -- 2 Literature Review -- 2.1 Theoretical Basis -- 3 Research Process -- 3.1 Research Subjects and Instruments -- 3.2 Research Data Analysis and Discussion -- 4 Implication and Conclusion -- References. , Women's Rights and the Art Market in the Perspective of Chinese Traditional Culture -- 1 Introduction -- 1.1 The Development of Women's Rights in China -- 1.2 The Development of China's Art Market -- 1.3 Women's Rights and Artwork in the Perspective of Traditional Chinese Culture -- 2 Methodology -- 2.1 Selection of Indicators -- 2.2 ADF Test -- 2.3 Granger Causality -- 3 Conclusion -- References -- The Research on the Application of Landscape Art in Urban Industrial Landscape Reconstruction -- 1 Introduction -- 2 Landscape Art Design Methods in Urban Industrial Landscape Reconstruction -- 3 The Value Embodiment of Landscape Art in the Regeneration of Industrial Waste Land -- 4 Conclusion -- References -- A Study on the Change of Cover Characters of Women's Fashion Magazines -- 1 Origin of the Study and Research Method -- 1.1 Origin of the Study -- 1.2 Literature Review -- 1.3 Research Methodology -- 2 A Quantitative Study of the Cover of VOGUE -- 2.1 Sampling Instructions -- 2.2 Category Construction and Data Analysis -- 3 The Social Factors and Cultural Connotations Behind the Change of Cover Characters -- 3.1 Shift in Fashion Discourse from a Western Image as the Core to a Chinese Image as the Core -- 3.2 Diverse Aesthetic Transformation from International Supermodel to Vegetarian Model -- 3.3 Shift from Ornamental to Appreciation of Human Gender Body Symbols -- 4 Summary -- References -- The Comparative Research of Exhibitions Between China and Australia and Future Development Strategy -- 1 Introduction -- 2 Introduction to the Exhibition at the Art Gallery of New South Wales -- 2.1 Introduction to Exhibition Types -- 2.2 Exhibition Space and Collections -- 3 Introduction to the Exhibition at the Shaanxi History Museum -- 3.1 Types of Exhibitions at the Shaanxi History Museum -- 3.2 Exhibition Space and Collections. , 4 Comparative Analysis of the Art Gallery of New South Wales and Shaanxi History Museum and Suggestions for Future Museum Strategies -- 4.1 Comparative Analysis of the Art Gallery of New South Wales and Shaanxi History Museum -- 4.2 Suggestions for Future Museum Development -- 5 Conclusion -- References -- The Exploration of New Ideas on the Peak of Communication in Chinese and Foreign Art History -- 1 Introduction -- 2 The Three Peaks of Communication Between Chinese and Foreign Art History -- 2.1 The First Exchange Peak: The Introduction of Buddhism -- 2.2 The Second Exchange Peak: The Rise of Merchant Shipping -- 2.3 The Third Exchange Peak: Missionaries Come to China -- 3 Analysis of the Characteristics of the Peak of Chinese and Foreign Art Exchanges -- 4 The Characteristics and Limitations of China's Treatment of Foreign Cultural and Artistic Exchanges and Dissemination -- 4.1 Limited Openness -- 4.2 Passive Dissemination -- 4.3 Discriminatory Cultural Mindset -- 4.4 Integration and Evolution -- 5 Conclusions -- References -- The Research on the Characteristics of AI Application in Art Field and Its Value -- 1 Introduction -- 2 The Operation Principles of AI Art -- 3 The Impact of AI on Traditional Art and Its Limitations -- 3.1 The Impact of AI on Traditional Art -- 3.2 Limitations of AI Application in the Art Field -- 4 The Transcendence of AI to Traditional Art and Its Value -- 4.1 The Transcendence of AI to Traditional Art -- 4.2 The Significance of AI for Future Human Art Creation -- 5 Conclusion -- References -- Symbolism in Costume Design Elements and Expression Modes in Handel's Opera Giulio Cesare -- 1 Introduction -- 2 Analysis on the Presentation as a Whole -- 3 Hairstyle -- 4 Comparison -- 5 Conclusion -- References -- Dramatic Sounds: Composing Perspective of Comparison Between Händel and Lachenmann -- 1 Introduction. , 2 Technical Analysis of the Composition.

Additional Edition: Print version: Majoul, Bootheina Proceedings of the 4th International Conference on Language, Art and Cultural Exchange (ICLACE 2023) Paris : Atlantis Press (Zeger Karssen),c2023 ISBN 9782384760930

Language: English

Keywords: Electronic books.

URL: Click to View

URL: lizenzpflichtig

UID:

Format: XV, 731 p. 343 illus., 259 illus. in color. , online resource.

Edition: 1st ed. 2023.

ISBN: 9789811926006

Series Statement: Lecture Notes on Data Engineering and Communications Technologies, 137

Content: This book presents the latest findings in the areas of data management and smart computing, big data management, artificial intelligence, and data analytics, along with advances in network technologies. The book is a collection of peer-reviewed research papers presented at Sixth International Conference on Data Management, Analytics and Innovation (ICDMAI 2022), held virtually during January 14-16, 2022. It addresses state-of-the-art topics and discusses challenges and solutions for future development. Gathering original, unpublished contributions by scientists from around the globe, the book is mainly intended for a professional audience of researchers and practitioners in academia and industry.

Note: Part I: Machine Learning -- Recognizing similar relationships within ontology to fine tune Ontology -- Object Detection using Peak, Balanced Division Point and Shape based Features -- End to End Agile and Automated Machine Learning Framework for Trustworthy, Reliable and Sustainable Artificial Intelligence -- Automated Structured Data Extraction from Scanned Document Images -- Effective Sentiment Analysis of Bengali Corpus by using the Machine Learning approach -- Review on Android Malware Detection System -- Hypothesis Testing of Tweet Text using NLP -- Forecasting Severe Thunderstorm by applying SVM Technique on Cloud imageries -- Breast Cancer Prediction using MachineLearning Techniques -- Ontology-Driven Scientific Literature Classification using Clustering and Self-Supervised Learning -- Modeling and forecasting Tuberculosis cases using machine learning and deep learning approaches: A Comparative Study -- Drone Integrated Detection and Rebarbative System with Variable Frequency for Agricultural Farm Invading Animals -- Support Vector Machines and Random Forest Classification models for identification of Stability in Extrusion Film Casting Process -- Predicting CO2 emissions by Vehicles using Machine Learning -- Augmented Feature Generation using Maximum Mutual Information Minimum Correlation -- Impact of Energy Sector on Climate Change in India using Forecasting Models -- Towards Efficient Edge Computing Through Adoption of Reinforcement Learning Strategies: A Review -- Thematic Classification Based On Topological Traits -- Machine Learning based Earthquake Early Warning (EEW) System: A case study of Himalayan Region -- Topic Modelling Based Semantic Search -- Machine Learning based Automated Process for Predicting the Anomaly in AIS Data -- A Hybrid Machine Learning Model for Estimation of Obesity Levels -- Part II: AI & Deep Learning -- Regulations 4.0: Digitally Transforming the Regulatory Space -- Speech To Text for Data Entry - Opportunities and Challenges -- A Gamification Architecture For Online Learning Platform using Neural Network -- Literature Review on Sign Language Generation -- Indoor Navigation Using Augmented Reality -- Foreign object detection on an assembly line -- Inverse Contexture Abstractive Term Frequency Model using Surf Scale Diffusive Neural Network for analysis of fake social content in public forum -- Literature Review on Machine Translation Systems for Sign Language Generation -- Depression Detection from Twitter Data using Two Level Multi-modal Feature Extraction -- COVID-19 Regulations Check: Social Distancing, People Counting and Mask Wear Check -- Urdu & Hindi Poetry Generation using Neural Networks -- Implementation of Open Domain Question Answering System -- Design and Implementation of Surround View Monitoring System in View of Autonomous Vehicle -- Generation of Indian Sign Language Animation from Audio and Video Content using Natural Language Processing -- Histogram Based Initial Centroids Selection for K-Means Clustering -- Siamese Network-based system for criminal identification -- Track-III: Data Storage Management & Innovation -- Organization Network Analysis for study of employee techno-social connects and effect of human behavior and organizational culture on the underlying network -- Track IV: Enabling Technologies & Applications -- Sky Computing Smart Locality Aware approach for Health Analytics -- Citation Biases: Detecting Communities from Patterns of Temporal Variation in Journal Citation Networks -- Enhancing the Performance of Multiple Wi-Fi Network -- ARCaddy: Augmented Reality App Suite for Aircraft Maintenance -- Meditation Therapy for Stress Management Using Brainwave Computing and Real Time Virtual Reality Feedback -- Real Time Carbon Emissions Calculator for Personal Computers -- Track-V: Data Science Techniques for handling Pandemic -- Navigation System for Visually Impaired People -- Design aspects of a Multi-dimensional Hybrid analytical processing system -- A data science approach to evaluate drug effectiveness: Case Study of Remdesivir for Covid-19 patients in India -- A Softcomputing Approach For Predicting And Categorising Learner's Performance Using Fuzzy Model.

In: Springer Nature eBook

Additional Edition: Printed edition: ISBN 9789811925993

Additional Edition: Printed edition: ISBN 9789811926013

Additional Edition: Printed edition: ISBN 9789811926020

Language: English

DOI: 10.1007/978-981-19-2600-6

URL: https://doi.org/10.1007/978-981-19-2600-6

URL: Volltext  (URL des Erstveröffentlichers)

UID:

Format: 1 online resource(viii,188p.) : , illustrations.

Edition: Electronic reproduction. Berlin/Boston : De Gruyter Mouton, 2013. Mode of access: World Wide Web.

Edition: System requirements: Web browser.

Edition: Access may be restricted to users at subscribing institutions.

ISBN: 9783110302332

Series Statement: Linguistische Arbeiten; 549

Content: This book argues that while some adjuncts and complements contribute regular assertions, others operate in the conventional implicature dimension, which expresses additional side comments. This distinction of semantic dimension is shown as necessary to account for regular vs. speech act uses of ‘weil’ vs. ‘denn’ (because) in German, for regular vs. relevance conditionals, as well as certain sentence adverbs. Further, a new two-dimensional analysis is crucial to account for the differences between parenthetical-like sliftings and true verb-second embedded clauses in German.

Note: Frontmatter -- , Contents -- , 1 Introduction -- , 2 Two-Dimensional Semantics -- , 3 Sentence Adverbs -- , 4 Denn and Weil – Causal Connectives in Two Dimensions -- , 5 Relevance Conditionals – If on Another Dimension -- , 6 A Paradigm of Adjuncts on Two Dimensions -- , 7 Complement Clauses on Different Dimensions -- , 8 Conclusion -- , Bibliography -- , Term Index -- , Author Index. , Also available in print edition. , In English.

Additional Edition: ISBN 9783110302141

Additional Edition: ISBN 9783110302349

Language: English

Subjects: German Studies

DOI: 10.1515/9783110302332

URL: https://doi.org/10.1515/9783110302332

URL: https://doi.org/10.1515/9783110302332

URL: https://www.degruyter.com/isbn/9783110302332

URL: Cover

URL: Volltext  (lizenzpflichtig)

URL: lizenzpflichtig

URL: Inhaltsverzeichnis

URL: Inhaltstext

URL: Cover

URL: Cover

UID:

Format: 1 online resource (767 p.)

Edition: 1st ed.

ISBN: 1-281-04851-8 , 9786611048518 , 0-08-053578-X

Series Statement: Studies in logic and the foundations of mathematics, v. 148

Content: Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects.

Note: Description based upon print version of record. , Front Cover; Many-Dimensional Modal Logics: Theory and Applications; Copyright Page; Contents; Part I: Introduction; Chapter 1. Modal logic basics; 1.1 Modal axiomatic systems; 1.2 Possible world semantics; 1.3 Classical first-order logic and the standard translation; 1.4 Multimodal logics; 1.5 Algebraic semantics; 1.6 Decision, complexity and axiomatizability problems; Chapter 2. Applied modal logic; 2.1 Temporal logic; 2.2 Interval temporal logic; 2.3 Epistemic logic; 2.4 Dynamic logic; 2.5 Description logic; 2.6 Spatial logic; 2.7 Intuitionistic logic , 2.8 'Model level' reductions between logicsChapter 3. Many-dimensional modal logics; 3.1 Fusions; 3.2 Spatio-temporal logics; 3.3 Products; 3.4 Temporal epistemic logics; 3.5 Classical first-order logic as a propositional multimodal logic; 3.6 First-order modal logics; 3.7 First-order temporal logics; 3.8 Description logics with modal operators; 3.9 HS as a two-dimensional logic; 3.10 Modal transition logics; 3.11 Intuitionistic modal logics; Part II: Fusions and products; Chapter 4. Fusions of modal logics; 4.1 Preserving Kripke completeness and the finite model property , 4.2 Algebraic preliminaries4.3 Preserving decidability of global consequence; 4.4 Preserving decidability; 4.5 Preserving interpolation; 4.6 On the computational complexity of fusions; Chapter 5. Products of modal logics: introduction; 5.1 Axiomatizing products; 5.2 Proving decidability with quasimodels; 5.3 The finite model property; 5.4 Proving undecidability; 5.5 Proving complexity with tilings; Chapter 6. Decidable products; 6.1 Warming up: Kn x Km; 6.2 CPDL x Km; 6.3 Products of epistemic logics with Km; 6.4 Products of temporal logics with Km; 6.5 Products with S5 , 6.6 Products with multimodal S5Chapter 7. Undecidable products; 7.1 Products of linear orders with infinite ascending chains; 7.2 Products of linear orders with infinite descending chains; 7.3 Products of Dedekind complete linear orders; 7.4 Products of finite linear orders; 7.5 More undecidable products; Chapter 8. Higher-dimensional products; 8.1 S5 x S5 x ... x S5; 8.2 Products between K4n and S5n; 8.3 Products with the fmp; 8.4 Between Kn and SSn; 8.5 Finitely axiomatizable and decidable products; Chapter 9. Variations on products; 9.1 Relativized products; 9.2 Valuation restrictions , Chapter 10. Intuitionistic modal logics10.1 Intuitionistic modal logics with D; 10.2 Intuitionistic modal logics with D and dimond; 10.3 The finite model property; Part III: First-order modal logics; Chapter 11. Fragments of first-order temporal logics; 11.1 Undecidable fragments; 11.2 Monodic formulas, decidable fragments; 11.3 Embedding into monadic second-order theories; 11.4 Complexity of decidable fragments of QLogsu(N) and their complexity; 11.5 Satisfiability in models over (N, 〈) with finite domains; 11.6 Satisfiability in models over {R〈} with finite domains , 11.7 Axiomatizing monodic fragments , English

Additional Edition: ISBN 0-444-50826-0

Language: English