Search Sciweavers | Sciweavers

5482 search results - page 133 / 1097

» Logic Programming and Databases

155

Voted

PPDP
1999
Springer

102views Programming Languages» more PPDP 1999»

Localizing and Explaining Reasons for Non-terminating Logic Programs with Failure-Slices

15 years 9 months ago

Download www.complang.tuwien.ac.at

We present a slicing approach for analyzing logic programs with respect to non-termination. The notion of a failure-slice is presented which is an executable reduced fragment of th...

Ulrich Neumerkel, Frédéric Mesnard

claim paper

Read More »

124

Voted

ICLP
1998
Springer

112views Automated Reasoning» more ICLP 1998»

Iterated Logic Program Updates

15 years 9 months ago

Download centria.di.fct.unl.pt

The eld of theory update has seen some improvement, in what regards updating, by allowing desired updates to be speci ed by update programs. The updating of models is governed by ...

João Alexandre Leite, Luís Moniz Per...

claim paper

Read More »

228

Voted

ICLP
2009
Springer

100views Automated Reasoning» more ICLP 2009»

Logic-Statistic Models with Constraints for Biological Sequence Analysis

16 years 5 months ago