Search Sciweavers | Sciweavers

4370 search results - page 275 / 874

» Algebra of Logic Programming

Voted

TOCL
2008

75views more TOCL 2008»

Inferring non-suspension conditions for logic programs with dynamic scheduling

15 years 17 days ago

Download tocl.acm.org

Samir Genaim, Andy King

claim paper

Read More »

click to vote

AMAI
2004
Springer

75views Artificial Intelligence» more AMAI 2004»

Programming Rational Agents in a Modal Action Logic

15 years 16 days ago

Download www.di.unito.it

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

claim paper

Read More »

click to vote

AMAI
2002
Springer

78views Artificial Intelligence» more AMAI 2002»

Paraconsistent Declarative Semantics for Extended Logic Programs

15 years 16 days 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 15 days ago

Download tocl.acm.org

Fabrizio Angiulli, Gianluigi Greco, Luigi Palopoli

claim paper

Read More »

Voted

CORR
2004
Springer

81views Education» more CORR 2004»

Non-Termination Inference of Logic Programs

15 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers