Macros, macro calls and use of ensembles in modular answer set programming

Chitta Baral, Juraj Dzifcak, Hiro Takahashi

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

32 Scopus citations


Currently, most knowledge representation using logic programming with answer set semantics (AnsProlog) is 'flat'. In this paper we elaborate on our thoughts about a modular structure for knowledge representation and declarative problem solving formalism using AnsProlog. We present language constructs that allow defining of modules and calling of such modules from programs. This allows one to write large knowledge bases or declarative problem solving programs by reusing existing modules instead of writing everything from scratch. We report on an implementation that allows such constructs. Our ultimate aim is to facilitate the creation and use of a repository of modules that can be used by knowledge engineers without having to re-implement basic knowledge representation concepts from scratch.

Original languageEnglish (US)
Title of host publicationLogic Programming - 22nd International Conference, ICLP 2006, Proceedings
PublisherSpringer Verlag
Number of pages15
ISBN (Print)9783540366355
StatePublished - 2006
Event22nd International Conference on Logic Programming, ICLP 2006 - Seattle, WA, United States
Duration: Aug 17 2006Aug 20 2006

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4079 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other22nd International Conference on Logic Programming, ICLP 2006
Country/TerritoryUnited States
CitySeattle, WA

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Macros, macro calls and use of ensembles in modular answer set programming'. Together they form a unique fingerprint.

Cite this