Sciweavers

114

Voted

EPIA
2005
Springer

108views Artificial Intelligence» more EPIA 2005»

Revised Stable Models - A Semantics for Logic Programs

15 years 8 months ago

This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...

Luís Moniz Pereira, Alexandre Miguel Pinto

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers