Flexible coinductive logic programming
Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called flexible coinduction, to express a variety of intermediate interpretations, necessary in some cases to get the correct meaning. We provide a d...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2008.02140 http://arxiv.org/abs/2008.02140 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|