Search Sciweavers | Sciweavers

3693 search results - page 196 / 739

» Splitting a Logic Program

125

click to vote

TOCL
2008

75views more TOCL 2008»

Inferring non-suspension conditions for logic programs with dynamic scheduling

15 years 6 months ago

Download tocl.acm.org

Samir Genaim, Andy King

claim paper

Read More »

128

click to vote

AMAI
2004
Springer

75views Artificial Intelligence» more AMAI 2004»

Programming Rational Agents in a Modal Action Logic

15 years 6 months ago

Download www.di.unito.it

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

claim paper

Read More »

121

Voted

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

15 years 6 months ago

Download www.cs.kuleuven.ac.be

Ofer Arieli

claim paper

Read More »

click to vote

CORR
2004
Springer

75views Education» more CORR 2004»

Outlier Detection by Logic Programming

15 years 6 months ago

Download tocl.acm.org

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli

claim paper

Read More »

123

click to vote

CORR
2004
Springer

81views Education» more CORR 2004»

Non-Termination Inference of Logic Programs

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers