|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A logic-based integration of active and deductive databases |
Fernandes, Alvaro A. A. |
1997 |
15 | 2 |
p. 205-244 |
article |
|
| 2 | A logic-based integration of active and deductive databases |
Fernandes, Alvaro A. A. |
|
15 | 2 |
p. 205-244 |
article |
|
| 3 | An extended variant of atoms loop check for positive logic programs |
Shen, Yi -Dong |
1997 |
15 | 2 |
p. 187-203 |
article |
|
| 4 | An extended variant of atoms loop check for positive logic programs |
Shen, Yi -Dong |
|
15 | 2 |
p. 187-203 |
article |
|
| 5 | Consistency-motivated reason maintenance in hypothetical reasoning |
Sattar, Abdul |
|
15 | 2 |
p. 163-186 |
article |
|
| 6 | Consistency-motivated reason maintenance in hypothetical reasoning |
Sattar, Abdul |
1997 |
15 | 2 |
p. 163-186 |
article |
|
| 7 | On the completeness of naive memoing in Prolog |
Dietrich, Suzanne Wagner |
1997 |
15 | 2 |
p. 141-162 |
article |
|
| 8 | On the completeness of naive memoing in Prolog |
Dietrich, Suzanne Wagner |
|
15 | 2 |
p. 141-162 |
article |
8 results found