AI Chat AI Image Generator AI Video Text to Speech

Imperative Program Synthesis from Answer Set Programs

09/19/2019

∙

by Sarat Chandra Varanasi, et al.

∙

∙

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.

page 1

page 2

page 3

page 4

research

∙ 06/12/2020

Pointer Data Structure Synthesis from Answer Set Programming Specifications

We develop an inductive proof-technique to generate imperative programs ...

0 Sarat Chandra Varanasi, et al. ∙

research

∙ 07/07/2002

Abduction, ASP and Open Logic Programs

Open logic programs and open entailment have been recently proposed as a...

0 Piero A. Bonatti, et al. ∙

research

∙ 02/18/2018

Heuristic Based Induction of Answer Set Programs: From Default theories to combinatorial problems

Significant research has been conducted in recent years to extend Induct...

0 Farhad Shakerin, et al. ∙

research

∙ 05/08/2019

Discovering and Proving Invariants in Answer Set Programming and Planning

Answer set programming (ASP) and planning are two widely used paradigms ...

0 Patrick Lühne, et al. ∙

research

∙ 12/03/2010

Using ASP with recent extensions for causal explanations

We examine the practicality for a user of using Answer Set Programming (...

0 Yves Moinard, et al. ∙

research

∙ 11/11/2020

GRCNN: Graph Recognition Convolutional Neural Network for Synthesizing Programs from Flow Charts

Program synthesis is the task to automatically generate programs based o...

0 Lin Cheng, et al. ∙

research

∙ 08/29/2011

Nested HEX-Programs

Answer-Set Programming (ASP) is an established declarative programming p...

0 Thomas Eiter, et al. ∙