Macros, macro calls and use of ensembles in modular Answer Set Programming

Saadat Anwar; Chitta Baral; Juraj Dzifcak

Macros, macro calls and use of ensembles in modular Answer Set Programming

Saadat Anwar, Chitta Baral, Juraj Dzifcak

Computer Science and Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

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. 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 language	English (US)
Title of host publication	Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering - Papers from the AAAI Spring Symposium, Technical Report
Pages	1-9
Number of pages	9
State	Published - 2006
Event	2006 AAAI Spring Symposium - Stanford, CA, United States Duration: Mar 27 2006 → Mar 29 2006

Publication series

Name	AAAI Spring Symposium - Technical Report
Volume	SS-06-05

Other

Other	2006 AAAI Spring Symposium
Country/Territory	United States
City	Stanford, CA
Period	3/27/06 → 3/29/06

ASJC Scopus subject areas

General Engineering

Cite this

Macros, macro calls and use of ensembles in modular Answer Set Programming. / Anwar, Saadat; Baral, Chitta; Dzifcak, Juraj.
Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering - Papers from the AAAI Spring Symposium, Technical Report. 2006. p. 1-9 (AAAI Spring Symposium - Technical Report; Vol. SS-06-05).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Anwar, S, Baral, C & Dzifcak, J 2006, Macros, macro calls and use of ensembles in modular Answer Set Programming. in Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering - Papers from the AAAI Spring Symposium, Technical Report. AAAI Spring Symposium - Technical Report, vol. SS-06-05, pp. 1-9, 2006 AAAI Spring Symposium, Stanford, CA, United States, 3/27/06.

@inproceedings{d865aa3df87b45f7ab92d2965c4a33e8,

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. 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 = "Saadat Anwar and Chitta Baral and Juraj Dzifcak",

year = "2006",

language = "English (US)",

isbn = "1577352661",

series = "AAAI Spring Symposium - Technical Report",

pages = "1--9",

booktitle = "Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering - Papers from the AAAI Spring Symposium, Technical Report",

note = "2006 AAAI Spring Symposium ; Conference date: 27-03-2006 Through 29-03-2006",

}

TY - GEN

T1 - Macros, macro calls and use of ensembles in modular Answer Set Programming

AU - Anwar, Saadat

AU - Baral, Chitta

AU - Dzifcak, Juraj

PY - 2006

Y1 - 2006

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

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

UR - http://www.scopus.com/inward/record.url?scp=33747182249&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33747182249&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:33747182249

SN - 1577352661

SN - 9781577352662

T3 - AAAI Spring Symposium - Technical Report

SP - 1

EP - 9

BT - Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering - Papers from the AAAI Spring Symposium, Technical Report

T2 - 2006 AAAI Spring Symposium

Y2 - 27 March 2006 through 29 March 2006

ER -

Macros, macro calls and use of ensembles in modular Answer Set Programming

Abstract

Publication series

Other

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this