Fire is one of the disasters that most people worry about, especially indoor fires in office buildings, hospitals, shopping centers or housing, because in addition to possibly causing material loss…
Watering plants is a tedious thing and is often forgotten by both households and farmers, while plants really need enough water to grow. Seeing these conditions, researchers designed an automation …
Camera PTZ (Pan-tilt-zoom) is a camera that is capable of moving simultaneously horizontal and vertical, PTZ cameras also have features zoom which serves to make frame the camera approaches or move…
The main focus of this book is on presenting advances in fuzzy statistics, and on proposing a methodology for testing hypotheses in the fuzzy environment based on the estimation of fuzzy confidence…
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022. The 2 abstracts, 3 full papers of i…
This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022. The 8 full…
The fetus or fetus is a creature in the womb that is developing after the embryo. Unhealthy maternal health conditions can threaten the health and safety of the fetus, as well as fetal health can t…
Credit is a condition of delivery in the form of goods, money or services from the first party (credit giver) to another party (credit recipient) with a joint agreement to be completed within a cer…
The capital market has become one of the important factors in the economy of a country, one of which is Indonesia, where the capital market accelerates the movement of the economy by making it easi…
The occurrence of rain can hamper human activities, hence the need to predict rainfall events to anticipate the possibility of bad things that will happen. Prediction of rain events is useful in va…
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th Internation…
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postu…
This book constitutes the refereed proceedings of the 13th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2019, held in Batumi, Georgia, in September 2019. The volume …
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 f…
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions pre…
This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, hel…
Bottled drinking water (AMDK) is drinking water that is ready for consumption without having to go through the heating process first and its practical use, so now many people choose to use AMDK whi…
The problem of poor water quality can lead to mass deaths of fish inside floating net cages (KJA). To address this issue, this research develops an automatic KJA that can adapt to water quality con…
Traditional fish farming can lead to the risk of fish mortality. Difficult tasks in fish farming, such as relocating the position of the cage and obtaining water quality information, can be replace…
This book goes to great depth concerning the fast growing topic of technologies and approaches of fuzzy logic in the Semantic Web. The topics of this book include fuzzy description logics and fuzzy…
Autonomous electric vehicle is an electric vehicle that can run automatically without a driver or accompanied by a driver. Autonomous electric vehicle uses an electric motor as its driving machine.…
This book is composed of selected papers presented at IWIFSGN'2019—The Eighteenth International Workshop on Intuitionistic Fuzzy Sets and Generalized Nets—held on October 24–25, 2019, in Wars…
This book presents a complete and accurate study of arithmetic and algebraic circuits. The first part offers a review of all important basic concepts: it describes simple circuits for the implement…
Fuzzy logic has vast applications in power and electrical engineering. This collection is the first book to cover research advancements in the application of fuzzy logic in the planning and operati…