AI Chat AI Image Generator AI Video Text to Speech

Transpiling Programmable Computable Functions to Answer Set Programs

08/23/2018

∙

by Ingmar Dasseville, et al.

∙

∙

Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search problems. In this paper we provide a translation from PCF to ASP. Using this translation it becomes possible to specify search problems using PCF.

Ingmar Dasseville
4 publications
Marc Denecker
25 publications

page 1

page 2

page 3

page 4

research

∙ 04/20/2011

Translation-based Constraint Answer Set Solving

We solve constraint satisfaction problems through translation to answer ...

0 Christian Drescher, et al. ∙

research

∙ 02/19/2022

ValAsp: a tool for data validation in Answer Set Programming

The development of complex software requires tools promoting fail-fast a...

0 Mario Alviano, et al. ∙

research

∙ 08/18/2011

Solving puzzles described in English by automated translation to answer set programming and learning how to do that translation

We present a system capable of automatically solving combinatorial logic...

0 Chitta Baral, et al. ∙

research

∙ 08/05/2022

A Preliminary Data-driven Analysis of Common Errors Encountered by Novice SPARC Programmers

Answer Set Programming (ASP), a modern development of Logic Programming,...

0 Zach Hansen, et al. ∙

research

∙ 12/05/2011

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming

Many applications require complexly structured data objects. Developing ...

0 Johannes Oetsch, et al. ∙

research

∙ 01/14/2022

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework

This paper introduces a formal definition of a Cyber-Physical System (CP...

0 Thanh Hai Nguyen, et al. ∙

research

∙ 08/23/2018

FMS: Functional Programming as a Modelling Language

In this paper we introduce the Functional Modelling System (FMS). The sy...

0 Ingmar Dasseville, et al. ∙