Sciweavers

8766 search results - page 310 / 1754

» Functional logic programming

89

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

15 years 2 months ago

Paraconsistent Declarative Semantics for Extended Logic Programs

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

56

CORR
2004
Springer

75views Education» more CORR 2004»

Outlier Detection by Logic Programming

15 years 2 months ago

Outlier Detection by Logic Programming

Download tocl.acm.org

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli

claim paper

Read More »

87

CORR
2004
Springer

81views Education» more CORR 2004»

Non-Termination Inference of Logic Programs

15 years 2 months ago

Non-Termination Inference of Logic Programs

Download personnel.univ-reunion.fr

Étienne Payet, Frédéric Mesna...

claim paper

Read More »

63

Voted

CORR
2000
Springer

66views Education» more CORR 2000»

Super Logic Programs

15 years 2 months ago

Super Logic Programs

Download reference.kfupm.edu.sa

Stefan Brass, Jürgen Dix, Teodor C. Przymusin...

claim paper

Read More »

88

CORR
2000
Springer

82views Education» more CORR 2000»

On Modular Termination Proofs of General Logic Programs

15 years 2 months ago

On Modular Termination Proofs of General Logic Programs

Download www.dsi.unive.it

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sa...

claim paper

Read More »

« Prev « First page 310 / 1754 Last » Next »