Search Sciweavers | Sciweavers

4513 search results - page 234 / 903

» Logic programming with satisfiability

click to vote

CORR
2000
Springer

63views Education» more CORR 2000»

Verifying Termination and Error-Freedom of Logic Programs with block Declarations

15 years 3 months ago

Download eprints.whiterose.ac.uk

Jan-Georg Smaus, Patricia M. Hill, Andy King

claim paper

Read More »

108

click to vote

CORR
2000
Springer

63views Education» more CORR 2000»

Termination analysis of logic programs using acceptability with general term orders

15 years 3 months ago

Download www.cs.kuleuven.ac.be

Alexander Serebrenik, Danny De Schreye

claim paper

Read More »

104

click to vote

ENTCS
2000

82views more ENTCS 2000»

Abstract Interpretation Based Verification of Logic Programs

15 years 3 months ago

Download www.di.unipi.it

Giorgio Levi

claim paper

Read More »

click to vote

CORR
2002
Springer

77views Education» more CORR 2002»

A Dynamic Approach to Characterizing Termination of General Logic Programs

15 years 3 months ago

Download www.cse.ust.hk

Yi-Dong Shen, Jia-Huai You, Li-Yan Yuan, Samuel S....

claim paper

Read More »

click to vote

ETAI
2000

43views more ETAI 2000»

An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers