Abstract | ||
---|---|---|
The program composition approach can be fruitfully applied to combine general logic programs, i.e. logic programs possibly containing negative premises. We show how the introduction of a basic set of (meta-level) composition operations over general programs increases the knowledge representation capabilities of logic programming for non-monotonic reasoning. Examples of modular programming, hierarchical reasoning, constraints and rules with exceptions will be illustrated. The semantics of programs and program compositions is defined in terms of three-valued logic. The computational interpretation of program compositions is formalised by an equivalence preserving syntactic transformation of arbitrary program compositions into standard general programs. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1093/logcom/9.1.7 | J. Log. Comput. |
Keywords | DocType | Volume |
composition operation,program composition,program composition approach,general program,logic programming,standard general program,arbitrary program composition,combining general logic programs,three-valued logic,logic program,general logic program,knowledge representation,composition operator,generic programming | Journal | 9 |
Issue | ISSN | Citations |
1 | 0955-792X | 10 |
PageRank | References | Authors |
0.55 | 16 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Brogi | 1 | 39 | 2.67 |
Simone Contiero | 2 | 27 | 3.02 |
F. Turini | 3 | 71 | 7.36 |