The Study and Implement of Answer Set Programming with Functions

Jan 1, 2009

Funding Source: Scientific Research Fund for Talents Recruiting of Guizhou University
Project Number: (2007)042
Amount: 40,000 Yuan
Duration: 2009.01 - 2011.12

Project Description

The study and implement of answer set programming with functions.

Answer Set Programming Functions