CSPASP Project

Objectives

Constraint Answer Set Programming (CASP) is an integration of Answer Set Programming (ASP) and Constraint Programming. Recent advances in CASP suggests a successful direction to extend ASP to be more expressive and more efficient. This project concentrates on Research and Development of CASP by using SAT encoding techniques.

Main research topics are as follows:

Members

Softwares

Meetings

FY2017

FY2016

FY2015

Related Projects

Grants

This project has been (partially) funded by the following grants:

Date: 2016-06-02 21:35:33 JST