An Efficient Method for Eliminating Varying Predicates from a Circumscription
Marco Cadoli‚ Thomas Eiter and Georg Gottlob
Details
| Journal |
Artif. Intell. |
| Number |
2 |
| Pages |
397−410 |
| Volume |
54 |
| Year |
1992 |
Links
Related pages
|
People |