Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

ASP
2005
Springer

favoriteEmaildiscussreport

298views Automated Reasoning» more ASP 2005»

A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling

13 years 10 months ago

A Language for Modular Answer Set Programming: Application to ACC Tournament Scheduling

Download ftp.informatik.rwth-aachen.de

In this paper we develop a declarative language for modular answer set programming (ASP). Our language allows to declaratively state how one ASP module can import processed answer sets from another ASP module. We deﬁne the syntax and semantics of our language and illustrate its applicability by modeling the ACC tournament scheduling problem. Besides the elegance of developing declarative programs in a modular manner, our illustration shows that a problem that is not timely solvable when done in a monolithic way, but becomes solvable when done in a modular way.

Luis Tari, Chitta Baral, Saadat Anwar

Real-time Traffic

Answer Set Programming | Answer Sets | Artificial Intelligence | ASP 2005 | ASP Module |

claim paper

Related Content

» Integrating answer set programming and constraint logic programming

» ASPPROLOG A System for Reasoning about Answer Set Programs in Prolog

» On the Difficulty of Modular Reinforcement Learning for RealWorld Partial Programming

» Uniform Equivalence of Logic Programs under the Stable Model Semantics

» Tools for Developing and Monitoring Agents in Distributed MultiAgent Systems

» Componentlevel parallelization of triangular decompositions

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	ASP
Authors	Luis Tari, Chitta Baral, Saadat Anwar

Comments (0)