CiteSeerX — Related by cluster: The Stable Model Semantics For Logic Programming

The Stable Model Semantics For Logic Programming (1988)

Cached

Download Links

[www.cs.ttu.edu]
[net.cs.utexas.edu]

Other Repositories/Bibliography

DBLP

by Michael Gelfond , Vladimir Lifschitz

Citations:

Document Versions

The Stable Model Semantics For Logic Programming –Michael Gelfond, Vladimir Lifschitz — 1988

The Stable Model Semantics For Logic Programming –Michael Gelfond, Vladimir Lifschitz — 1988