Deductive Systems for Logic Programs with Counting
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915727272837120 |
|---|---|
| author | Fandinno, Jorge Lifschitz, Vladimir |
| author_facet | Fandinno, Jorge Lifschitz, Vladimir |
| contents | In answer set programming, two groups of rules are considered strongly equivalent if they have the same meaning in any context. Strong equivalence of two programs can be sometimes established by deriving rules of each program from rules of the other in an appropriate deductive system. This paper shows how to extend this method of proving strong equivalence to programs containing the counting aggregate. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_19565 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Deductive Systems for Logic Programs with Counting Fandinno, Jorge Lifschitz, Vladimir Logic in Computer Science Artificial Intelligence In answer set programming, two groups of rules are considered strongly equivalent if they have the same meaning in any context. Strong equivalence of two programs can be sometimes established by deriving rules of each program from rules of the other in an appropriate deductive system. This paper shows how to extend this method of proving strong equivalence to programs containing the counting aggregate. |
| title | Deductive Systems for Logic Programs with Counting |
| topic | Logic in Computer Science Artificial Intelligence |
| url | https://arxiv.org/abs/2511.19565 |