Sciweavers

4370 search results - page 275 / 874

» Algebra of Logic Programming

92

TOCL
2008

75views more TOCL 2008»

Inferring non-suspension conditions for logic programs with dynamic scheduling

15 years 3 months ago

Inferring non-suspension conditions for logic programs with dynamic scheduling

Download tocl.acm.org

Samir Genaim, Andy King

claim paper

Read More »

95

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 »

91

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 »

58

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 »

90

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 »

« Prev « First page 275 / 874 Last » Next »