Logic-Based Program Synthesis : Papers from the AAAI Spring Symposium

Automatic programming has long been considered a core AI task. C. Green's and R. Waldinger's papers at the 1969 IJCAI put it on a firm logical basis and spawned a long line of research. Some logic-based program synthesis systems have been developed and applied to different problem domains (e.g., Amphion, KIDS, Nuprl, Oyster/Clam). Yet, logic-based program synthesis is not a common approach to software development. Why not? The purpose of this symposium was to survey the current state of the art, to identify barriers, and to discuss directions that can help make it more feasibleFischer, Bernd is the author of 'Logic-Based Program Synthesis : Papers from the AAAI Spring Symposium', published 2002 under ISBN 9781577351504 and ISBN 1577351509.