Search Sciweavers | Sciweavers

3566 search results - page 189 / 714

» Signed Logic Programs

click to vote

JAPLL
2007

55views more JAPLL 2007»

Termination of logic programs with imperfect information: applications and query procedure

14 years 11 months ago

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,...

claim paper

Read More »

click to vote

TOCL
2008

75views more TOCL 2008»

Inferring non-suspension conditions for logic programs with dynamic scheduling

14 years 11 months ago

Download tocl.acm.org

Samir Genaim, Andy King

claim paper

Read More »

Voted

AMAI
2004
Springer

75views Artificial Intelligence» more AMAI 2004»

Programming Rational Agents in a Modal Action Logic

14 years 11 months 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

14 years 11 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

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers