Work

Imperative Program Synthesis from Answer Set Programs

Year: 2019

Type: article

Abstract: Our research concerns generating imperative programs from Answer Set Programming Specifications. ASP is highly declarative and is ideal for writing specifications. Further with negation-as-failure it is easy to succinctly represent combinatorial search problems. We are currently working on synthesizing imperative programs from ASP programs by turning the negation into useful computations. This opens up a novel way to synthesize programs from executable specifications.

Source: Electronic Proceedings in Theoretical Computer Science

DOI: 10.4204/eptcs.306.55

Author: Sarat Chandra Varanasi

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W2974503183

FWCI:

Cites: 14

Cited by:

Related to: 10