419 search results - page 4 / 84 » Translation of Aggregate Programs to Normal Logic Programs |
AAAI
2004
13 years 9 months ago
2004
An odd cycle of a logic program is a simple cycle that has an odd number of negative edges in the dependency graph of the program. Similarly, an even cycle is one that has an even...
ASP
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
SLP
1997
13 years 9 months ago
1997
Compositionality of programsis an important concern in knowledge representation and software development. In the context of Logic Programming, up till now, the issue has mostly be...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
LOPSTR
2005
Springer
14 years 1 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...