01003nam0-22003491i-450 99000253027040332120171130120228.00340059753000253027FED01000253027(Aleph)000253027FED0100025302720000920d1972----km-y0itay50------baengGBOperational researchproblems , techniques and exercisesM.S. Makower and E. WillamsonLondonTeach Yourself Books1972VII, 264 p.18 cmTeach yourself booksMetodi matematici per la statisticaRicerca operativaMakower,M.S.367887Williamson,Eric103585ITUNINARICAUNIMARCBK990002530270403321V-E-143545MASII 2423073DINEDMASDINEDOperational research1494912UNINAING0101123nam0-2200361li-450 99000017477020331620180312154736.00-13-880774-40017477USA010017477(ALEPH)000017477USA01001747720001109d1990----km-y0itay0103----baengUSSystems programming in parallel logic languagesIan FosterNew York [etc.]Prentice Hallcopyr. 1990XIV, 194 p.ill.24 cmelaborazione parallelaprogrammazione di sistema (informatica)00542Programmazione di sistemaFoster,Ian746985Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000174770203316005.42 FOS (A)0000758BKTEC1991032520001110USA01171320020403USA011625PATRY9020040406USA011613Systems programming in parallel logic languages1491704UNISA04223nam 22006135 450 99655055840331620240108221130.03-031-39179-910.1007/978-3-031-39179-8(MiAaPQ)EBC30742315(Au-PeEL)EBL30742315(OCoLC)1397575687(DE-He213)978-3-031-39179-8(PPN)272736333(EXLCZ)992822299910004120230913h20232023 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierNeuro symbolic reasoning and learning /Paulo Shakarian, Chitta Baral, Gerardo I. Simari, Bowen Xi, Lahari PokalaCham :Springer,[2023]©20231 online resource (xii, 119 pages) illustrationsSpringerBriefs in computer science,2191-5776Print version: Shakarian, Paulo Neuro Symbolic Reasoning and Learning Cham : Springer,c2023 9783031391781 Includes bibliographical references.Chapter 1. New Ideas in Neuro Symbolic Reasoning and Learning -- Chapter 2. Brief Introduction to Propositional Logic and Predicate Calculus -- Chapter 3. Fuzzy and Annotated Logic for Neuro Symbolic Artificial Intelligence -- Chapter 4. LTN: Logic Tensor Networks -- Chapter 5. Neuro Symbolic Reasoning with Ontological Networks -- Chapter 6. LNN: Logical Neural Networks -- Chapter 7. NeurASP -- Chapter 8. Neuro Symbolic Learning with Differentiable Inductive Logic Programming -- Chapter 9. Understanding SATNet: Constraint Learning and Symbol Grounding -- Chapter 10. Neuro Symbolic AI for Sequential Decision Making -- Chapter 11. Neuro Symbolic Applications.This book provides a broad overview of the key results and frameworks for various NSAI tasks as well as discussing important application areas. This book also covers neuro symbolic reasoning frameworks such as LNN, LTN, and NeurASP and learning frameworks. This would include differential inductive logic programming, constraint learning and deep symbolic policy learning. Additionally, application areas such a visual question answering and natural language processing are discussed as well as topics such as verification of neural networks and symbol grounding. Detailed algorithmic descriptions, example logic programs, and an online supplement that includes instructional videos and slides provide thorough but concise coverage of this important area of AI. Neuro symbolic artificial intelligence (NSAI) encompasses the combination of deep neural networks with symbolic logic for reasoning and learning tasks. NSAI frameworks are now capable of embedding prior knowledge in deep learning architectures, guiding the learning process with logical constraints, providing symbolic explainability, and using gradient-based approaches to learn logical statements. Several approaches are seeing usage in various application areas. This book is designed for researchers and advanced-level students trying to understand the current landscape of NSAI research as well as those looking to apply NSAI research in areas such as natural language processing and visual question answering. Practitioners who specialize in employing machine learning and AI systems for operational use will find this book useful as well.SpringerBriefs in computer science.Artificial intelligenceMachine learningLogic, Symbolic and mathematicalArtificial IntelligenceMachine LearningArtificial intelligence.Machine learning.Logic, Symbolic and mathematical.Artificial Intelligence.Machine Learning.006.31Shakarian Paulo791399Baral ChittaSimari Gerardo I.Xi BowenPokala LahariMiAaPQMiAaPQMiAaPQBOOK996550558403316Neuro symbolic reasoning and learning3659084UNISA