@inproceedings{df706727a9124288a87abacc42f6e059,
title = "Macros, macro calls and use of ensembles in modular answer set programming",
abstract = "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.",
author = "Chitta Baral and Juraj Dzifcak and Hiro Takahashi",
year = "2006",
month = jan,
day = "1",
language = "English (US)",
isbn = "9783540366355",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "376--390",
booktitle = "Logic Programming - 22nd International Conference, ICLP 2006, Proceedings",
note = "22nd International Conference on Logic Programming, ICLP 2006 ; Conference date: 17-08-2006 Through 20-08-2006",
}