Answer Set Programming | Omega-krr Group

The Study and Implementation of Answer Set Programming with Functions

Fri, 01 Jan 2010 00:00:00 +0000

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.

The Study and Implement of Answer Set Programming with Functions

Thu, 01 Jan 2009 00:00:00 +0000

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.

The Study of Answer Set Programming

Thu, 01 Jan 2009 00:00:00 +0000

Funding Source: The Natural Science Foundation of Educational Commission of Guizhou Province
Project Number: (2008)011
Amount: 40,000 Yuan
Duration: 2009.01 - 2011.12

Project Description

The study of answer set programming.

The Study and Application of Answer Set Programming

Sun, 01 Jun 2008 00:00:00 +0000

Funding Source: Science and Technology Foundation of Guizhou Province
Project Number: [2008]2119
Amount: 36,000 Yuan
Duration: 2008.06 - 2010.07

Project Description

The study and application of answer set programming.