|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
15 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author index—Volume 92 (1997) |
1997 |
92 | 1-2 |
p. 335-336 2 p. |
artikel |
||
| 2 | Clause trees: a tool for understanding and implementing resolution in automated reasoning |
Horton, J.D. |
1997 |
92 | 1-2 |
p. 25-89 65 p. |
artikel |
|
| 3 | Default extensions: dealing with computer information |
Freund, M. |
1997 |
92 | 1-2 |
p. 277-288 12 p. |
artikel |
|
| 4 | Defeasible inheritance on cyclic networks |
Antonelli, Gian Aldo |
1997 |
92 | 1-2 |
p. 1-23 23 p. |
artikel |
|
| 5 | Editorial Board |
1997 |
92 | 1-2 |
p. IFC- 1 p. |
artikel |
||
| 6 | Forthcoming papers |
1997 |
92 | 1-2 |
p. 331-333 3 p. |
artikel |
||
| 7 | Higher-order Petri net models based on artificial neural networks |
Chow, Tommy W.S. |
1997 |
92 | 1-2 |
p. 289-300 12 p. |
artikel |
|
| 8 | How to progress a database |
Lin, Fangzhen |
1997 |
92 | 1-2 |
p. 131-167 37 p. |
artikel |
|
| 9 | Map learning with uninterpreted sensors and effectors |
Pierce, David |
1997 |
92 | 1-2 |
p. 169-227 59 p. |
artikel |
|
| 10 | Non-Horn clause logic programming |
Nie, Xumin |
1997 |
92 | 1-2 |
p. 243-258 16 p. |
artikel |
|
| 11 | Nonmonotonic reasoning, conditional objects and possibility theory |
Benferhat, Salem |
1997 |
92 | 1-2 |
p. 259-276 18 p. |
artikel |
|
| 12 | Proving properties of continuous systems: qualitative simulation and temporal logic |
Shults, Benjamin |
1997 |
92 | 1-2 |
p. 91-129 39 p. |
artikel |
|
| 13 | Reasoning about causality between distributed nonatomic events |
Kshemkalyani, Ajay D. |
1997 |
92 | 1-2 |
p. 301-315 15 p. |
artikel |
|
| 14 | The maximum length of prime implicates for instances of 3-SAT |
Dunne, Paul E. |
1997 |
92 | 1-2 |
p. 317-329 13 p. |
artikel |
|
| 15 | The normative representation of quantified beliefs by belief functions |
Smets, Philippe |
1997 |
92 | 1-2 |
p. 229-242 14 p. |
artikel |
15 gevonden resultaten