The Study and Implementation of Answer Set Programming with Functions

Jan 1, 2010

Funding Source: National Natural Science Foundation of China (NSFC)
Project Number: 60963009
Amount: 200,000 Yuan
Duration: 2010.01 - 2012.12

Project Description

The study and implementation of answer set programming with functions.

Answer Set Programming Functions