|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A fixpoint characterization of abductive logic programs |
Inoue, Katsumi |
1996 |
27 | 2 |
p. 107-136 30 p. |
artikel |
|
| 2 | Completeness of SLDNF-resolution for nonfloundering queries |
Drabent, Wḱlodzimierz |
1996 |
27 | 2 |
p. 89-106 18 p. |
artikel |
|
| 3 | Extending Prolog with nonmonotonic reasoning |
Chen, Weidong |
1996 |
27 | 2 |
p. 169-183 15 p. |
artikel |
|
| 4 | Optimal groundness analysis using propositional logic |
Cortesi, Agostino |
1996 |
27 | 2 |
p. 137-167 31 p. |
artikel |
4 gevonden resultaten