• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Papers from the 2002 AAAI Spring Symposium /

Logic-Based Program Synthesis: State of the Art and Future Trends

Contents

  • Automatic Synthesis of Safety-Related Software

    Johann Schumann

    PDF
  • Program Synthesis is “Just” Another Learning Problem

    Leona F. Fass

    PDF
  • APIS — Automatic Production of Information Systems

    M. Frappier, B. Fraikin, M. Richard, and R. Laleau

    PDF
  • Synthesizing UML Statecharts from Requirements Scenarios + Propositional Constraints

    Jon Whittle

    PDF
  • Logic-Based Program Synthesis via Program Extraction

    Ewen Denney

    PDF
  • Implementing Extended Structural Synthesis of Programs

    Sven Lämmermann and Enn Tyugu

    PDF
  • A Commercial Program Synthesis System for Computational Finance

    Elaine Kant

    PDF
  • Designing Reliable, High-Performance Networks in the Nuprl Programming Environment

    Christoph Kreitz

    PDF
  • Proof Planning and Program Synthesis: A Survey

    Julian Richardson

    PDF
  • Program Synthesis for Combinatorial Optimization Problems

    Pierre Flener

    PDF
  • Control Rules for Reactive System Games

    Matteo Slanina

    PDF
  • The Role of Witness-Finding in Software Synthesis

    Douglas R. Smith

    PDF
  • Retrieval as Synthesis: Feature-Based Retrieval and Adaptation Architectures

    Perry Alexander, Cindy Kong, and Brandon Morel

    PDF
  • Logic-Based Program Synthesis: State of the Art and Future Trends

    Steve Roach

    PDF
  • Incomplete Proofs and Program Synthesis

    G. Mints

    PDF
  • Position Statement

    Tim Sauerwein

    PDF
  • A Model for Software Reliability and the Impact of Program Synthesis

    Michael R. Lowry

    PDF
  • Extracting Feasible Programs

    Jean-Yves Marion

    PDF
  • Toward Automatic Synthesis of Security Protocols

    H. Saüdi

    PDF
  • Combining Automated Theorem Provers and Computer Algebra Systems for Generating Formal Proofs of Complexity Bounds

    Ralph Benzinger

    PDF
  • Automatic Synthesis of Statistical Data Analysis Programs

    Bernd Fischer

    PDF
  • A Thread of History and Progress in Program Synthesis

    Cordell Green

    PDF
  • Synthesis of Efficient Constraint Satisfaction Programs

    Stephen J. Westfold and Douglas R. Smith

    PDF
  • Deductive Chat Lines for Multiple Agents

    Richard Waldinger

    PDF

Primary Sidebar