Abstract | ||
---|---|---|
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, we focus on modular nonmonotonic logic programs (MLP) under the answer set semantics, whose modules may have contextually dependent input provided by other modules. Moreover, (mutually) recursive module calls are allowed. We define a model-theoretic semantics for this extended setting, show that many desired properties of ordinary logic programming generalize to our modular ASP, and determine the computational complexity of the new formalism. We investigate the relationship of modular programs to disjunctive logic programs with well-defined input/output interface (DLP-functions) and show that they can be embedded into MLPs. |
Year | DOI | Venue |
---|---|---|
2009 | 10.1007/978-3-642-02846-5_16 | ICLP |
Keywords | Field | DocType |
model-theoretic semantics,contextually dependent input,modular nonmonotonic logic programming,program part,modular program,overall program,answer set semantics,ordinary logic programming,modular nonmonotonic logic program,modular asp,logic program,input output,knowledge representation,answer set programming,nonmonotonic logic,computational complexity | Functional logic programming,Computational logic,Horn clause,Computer science,Algorithm,Theoretical computer science,Stable model semantics,Logic programming,Answer set programming,Well-founded semantics,Higher-order logic | Conference |
Volume | ISSN | Citations |
5649 | 0302-9743 | 32 |
PageRank | References | Authors |
1.10 | 17 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Minh Dao-Tran | 1 | 395 | 20.39 |
Thomas Eiter | 2 | 7238 | 532.10 |
Michael Fink | 3 | 1145 | 62.43 |
Thomas Krennwallner | 4 | 468 | 29.14 |