Search Sciweavers | Sciweavers

700 search results - page 8 / 140

» On Termination of Constraint Logic Programs

click to vote

JELIA
2004
Springer

91views Artificial Intelligence» more JELIA 2004»

Sorted Multi-adjoint Logic Programs: Termination Results and Applications

14 years 23 days ago

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

click to vote

LOPSTR
1997
Springer

76views Automated Reasoning» more LOPSTR 1997»

Preserving Termination of Tabled Logic Programs While Unfolding

13 years 11 months ago

Download repository.readscheme.org

Michael Leuschel, Bern Martens, Konstantinos F. Sa...

claim paper

Read More »

click to vote

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

13 years 7 months ago

Download tocl.acm.org

Peter Schneider-Kamp, Jürgen Giesl, Alexander...

claim paper

Read More »

click to vote

JAPLL
2007

55views more JAPLL 2007»

Termination of logic programs with imperfect information: applications and query procedure

13 years 7 months ago

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

click to vote

CORR
2004
Springer

81views Education» more CORR 2004»

Non-Termination Inference of Logic Programs

13 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers