|
|||||
|
|
Deterministic and Non-deterministic Stable Models |
|
| Authors: | SACCA, DOMENICO ZANIOLO, CARO |
| Affiliation: | 1Dipartimento DEIS, Università della Calabria 87030 Rende (CS), Italy. E-mail: sacca{at}unical.it 2Computer Science Department, University of California Los Angeles, CA 90024, USA. E-mail: zaniolo{at}cs.ucla.edu |
| Abstract: | |
| Keywords: | Logic programming stable models non-deterministic semantics DATALOG data complexity |
| 本文献已被 Oxford 等数据库收录！ | |