FUIN

2010

13 years 6 months ago
2010

Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...

IWFM

2000

13 years 8 months ago
2000

Several recent publications have exhibited relationships between the theories of logic programming and of neural networks. We consider a general approach to representing normal lo...

AAAI

2004

13 years 8 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...

ASIAN

1999

Springer

13 years 11 months ago
1999

Springer

Unfold/fold transformation systems for logic programs have been extensively investigated. Existing unfold/fold transformation systems for normal logic programs allow only Tamaki-Sa...

ILP

2001

Springer

13 years 12 months ago
2001

Springer

In the line of previous work by S. Muggleton and C. Sakama, we extend the logical characterization of inductive logic programming, to normal logic programs under the stable models ...

ASP

2003

Springer

14 years 19 days ago
2003

Springer

We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...

NMR

2004

Springer

14 years 23 days ago
2004

Springer

All major semantics of normal logic programs and normal logic programs with aggregates can be described as ﬁxpoints of the one-step provability operator or of operators that can...

LOPSTR

2005

Springer

14 years 27 days 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 ...

LPNMR

2007

Springer

14 years 1 months ago
2007

Springer

Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the inﬁnite-valued approach recently introduced for normal logic...