Proceedings:
Logic-Based Program Synthesis: State of the Art and Future Trends
Volume
Issue:
Papers from the 2002 AAAI Spring Symposium
Track:
Contents
Downloads:
Abstract:
Deductive synthesis techniques provide a medium by which multiple agents can communicate and cooperate with each other to solve a common task, even though they don’t know about each other and haven’t been designed to work together. These methods are being applied to geographic question answering and the development of a personal deductive organizer.
Spring
Papers from the 2002 AAAI Spring Symposium