Sciweavers

3481 search results - page 225 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

101

AMAI
2004
Springer

75views Artificial Intelligence» more AMAI 2004»

Programming Rational Agents in a Modal Action Logic

15 years 3 months ago

Programming Rational Agents in a Modal Action Logic

Download www.di.unito.it

Matteo Baldoni, Alberto Martelli, Viviana Patti, L...

claim paper

Read More »

99

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

15 years 3 months ago

Paraconsistent Declarative Semantics for Extended Logic Programs

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

67

CORR
2004
Springer

75views Education» more CORR 2004»

Outlier Detection by Logic Programming

15 years 3 months ago

Outlier Detection by Logic Programming

Download tocl.acm.org

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli

claim paper

Read More »

96

CORR
2004
Springer

81views Education» more CORR 2004»

Non-Termination Inference of Logic Programs

15 years 3 months ago

Non-Termination Inference of Logic Programs

Download personnel.univ-reunion.fr

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

claim paper

Read More »

70

Voted

CORR
2000
Springer

66views Education» more CORR 2000»

Super Logic Programs

15 years 3 months ago

Super Logic Programs

Download reference.kfupm.edu.sa

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

claim paper

Read More »

« Prev « First page 225 / 697 Last » Next »