|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An empirical study of the 4valued KripkeKleene and 4valued wellfounded semantics in random propositional logic programs |
Chris Giannella |
1999 |
25 | 3 |
p. 275-309 35 p. |
artikel |
|
| 2 | Building a knowledge base an example |
Michael Gelfond |
1999 |
25 | 3 |
p. 165-199 35 p. |
artikel |
|
| 3 | Computing extended abduction through transaction programs |
Katsumi Inoue |
1999 |
25 | 3 |
p. 339-367 29 p. |
artikel |
|
| 4 | Editorial |
Jürgen Dix |
1999 |
25 | 3 |
p. 161-164 4 p. |
artikel |
|
| 5 | From logic programming towards multiagent systems |
Robert Kowalski |
1999 |
25 | 3 |
p. 391-419 29 p. |
artikel |
|
| 6 | Logic programs with stable model semantics as a constraint programming paradigm |
Ilkka Niemelä |
1999 |
25 | 3 |
p. 241-273 33 p. |
artikel |
|
| 7 | Nested expressions in logic programs |
Vladimir Lifschitz |
1999 |
25 | 3 |
p. 369-389 21 p. |
artikel |
|
| 8 | Semantics and expressiveness of disjunctive ordered logic |
Francesco Buccafurri |
1999 |
25 | 3 |
p. 311-337 27 p. |
artikel |
|
| 9 | Tabling for nonmonotonic programming |
Terrance Swift |
1999 |
25 | 3 |
p. 201-240 40 p. |
artikel |
9 gevonden resultaten