Syntactic transformation rules under P-Stable semantics: theory and implementation
We study the simplification of normal logic programs under the P-Stable semantics, with respect to the notions of equivalence, using many of the transformation rules found in literature in the context of Answer Set Programming (ASP). A schema for the implementation of P-Stable semantics is provided...
Պահպանված է:
| Հրատարակված է: | Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial |
|---|---|
| Հիմնական հեղինակներ: | , |
| Ձևաչափ: | Artigo |
| Լեզու: | Inglês |
| Հրապարակվել է: |
Asociación Española para la Inteligencia Artificial
2009
|
| Խորագրեր: | |
| Առցանց հասանելիություն: | https://www.redalyc.org/articulo.oa?id=92513168003 |
| Ցուցիչներ: |
Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!
|