A language for modular answer set programming: Application to ACC tournament scheduling

Luis Tari, Chitta Baral, Saadat Anwar

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Scopus citations

Abstract

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 define 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.

Original languageEnglish (US)
Title of host publicationCEUR Workshop Proceedings
Pages277-292
Number of pages16
Volume142
StatePublished - 2005
Event3rd International Workshop on Answer Set Programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005 - Bath, United Kingdom
Duration: Jul 27 2005Jul 29 2005

Other

Other3rd International Workshop on Answer Set Programming: Advances in Theory and Implementation, ASP 2005, Co-located Event with the 19th International Joint Conference on Artificial Intelligence, IJCAI 2005
CountryUnited Kingdom
CityBath
Period7/27/057/29/05

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'A language for modular answer set programming: Application to ACC tournament scheduling'. Together they form a unique fingerprint.

  • Cite this

    Tari, L., Baral, C., & Anwar, S. (2005). A language for modular answer set programming: Application to ACC tournament scheduling. In CEUR Workshop Proceedings (Vol. 142, pp. 277-292)