TY - BOOK ID - 8135192 TI - Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers PY - 2015 SN - 331927435X 3319274368 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer Science KW - Engineering & Applied Sciences KW - Computer science. KW - Software engineering. KW - Computer logic. KW - Mathematical logic. KW - Computer science KW - Artificial intelligence. KW - Computer Science. KW - Logics and Meanings of Programs. KW - Software Engineering/Programming and Operating Systems. KW - Mathematical Logic and Formal Languages. KW - Artificial Intelligence (incl. Robotics). KW - Discrete Mathematics in Computer Science. KW - Mathematics. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Computer mathematics KW - Discrete mathematics KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Computer software engineering KW - Engineering KW - Informatics KW - Science KW - Logic design. KW - Computational complexity. KW - Artificial Intelligence. KW - Complexity, Computational KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Logic, Symbolic and mathematical. KW - Computer science—Mathematics. KW - Machine theory. KW - Discrete mathematics. KW - Computer Science Logic and Foundations of Programming. KW - Software Engineering. KW - Formal Languages and Automata Theory. KW - Discrete mathematical structures KW - Mathematical structures, Discrete KW - Structures, Discrete mathematical KW - Numerical analysis KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Recursive functions KW - Robotics UR - https://www.unicat.be/uniCat?func=search&query=sysid:8135192 AB - This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. ER -