Neuro Symbolic Reasoning and Learning

Paulo Shakarian is an associate professor at Arizona State University.  His research focuses on symbolic AI and hybrid symbolic-ML systems. He received his Ph.D. from the University of Maryland, College Park.  He is a past DARPA Military Fellow, AFOSR Young Investigator recipient, and his work earned multiple “best paper” awards.Gerardo I. Simari is a professor at UNS, and a researcher at CONICET. His research focuses on AI and Databases, and reasoning under uncertainty. He received a PhD in computer science from University of Maryland College Park and later joined the Department of Computer Science, University of Oxford, where he was also a Fulford Junior Research Fellow of Somerville College.Chitta Baral is a Professor at the Arizona State University, and a past President of KR Inc. His research interests include Knowledge Representation and Reasoning, NLP and Image Understanding and often involves combining logical reasoning with explicit knowledge and neural learning and reasoning with textual and perceptual inputs.Bowen Xi is a Ph.D. student at Arizona State University, specializing in the field of Neural Symbolic AI. She is passionate about combining the strengths of neural networks and symbolic reasoning to advance the field of artificial intelligence. Bowen's research interests include developing novel algorithms and techniques that enable machines to learn and reason like humans.Lahari Pokala is a student pursuing her Master's degree at Arizona State University, where she is majoring in Computer Science. Her interests lie in artificial intelligence and data engineering.

• Chapter1 New Ideas in Neuro Symbolic Reasoning and Learning.- Chapter2 Brief Introduction to Propositional Logic and Predicate Calculus.- Chapter3 Fuzzy and Annotated Logic for Neuro Symbolic Artificial Intelligence.- Chapter4 LTN: Logic Tensor Networks.- Chapter5 Neuro Symbolic Reasoning with Ontological Networks.- Chapter6 LNN: Logical Neural Networks.- Chapter7 NeurASP.- Chapter8 Neuro Symbolic Learning with Differentiable Inductive Logic Programming.- Chapter9 Understanding SATNet: Constraint Learning and Symbol Grounding.- Chapter10 Neuro Symbolic AI for Sequential Decision Making.- Chapter11 Neuro Symbolic Applications.