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

Authors:
Chitta Baral;Juraj Dzifcak;Hiro Takahashi
Affiliations:
Department of Computer Science and Engineering, Arizona State University, Tempe, AZ;Department of Computer Science and Engineering, Arizona State University, Tempe, AZ;Department of Computer Science and Engineering, Arizona State University, Tempe, AZ
Venue:
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Year:
2006

Citing 12
Cited 10

A transformation system for deductive database modules with perfect model semantics

Theoretical Computer Science
HILOG: a foundation for higher-order logic programming

Journal of Logic Programming
Transformations of CLP modules

Theoretical Computer Science
From functional specifications to logic programs

ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Towards a standard upper ontology

Proceedings of the international conference on Formal Ontology in Information Systems - Volume 2001
Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Modular Logic Programming and Generalized Quantifiers

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Description logic programs: combining logic programs with description logic

WWW '03 Proceedings of the 12th international conference on World Wide Web
A modular action description language

AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Notes on formalizing context

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Towards an integration of answer set and constraint solving

ICLP'05 Proceedings of the 21st international conference on Logic Programming

Modular Action Language ${\cal ALM}$

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Modular Nonmonotonic Logic Programming Revisited

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A Module-Based Framework for Multi-language Constraint Modeling

LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Modularity aspects of disjunctive stable models

Journal of Artificial Intelligence Research
Modularity aspects of disjunctive stable models

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Towards overcoming the knowledge acquisition bottleneck in answer set prolog applications: embracing natural language inputs

ICLP'07 Proceedings of the 23rd international conference on Logic programming
ASP as a cognitive modeling tool: short-term memory and long-term memory

Logic programming, knowledge representation, and nonmonotonic reasoning
A semantic account for modularity in multi-language modelling of search problems

FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Answer set modules for logical agents

Datalog'10 Proceedings of the First international conference on Datalog Reloaded

Quantified Score

Hi-index	0.00

Visualization

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.