no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Announcement
|
|
|
1995 |
74 |
2 |
p. 395- 1 p. |
article |
2 |
Author index—Volume 74 (1994)
|
|
|
1995 |
74 |
2 |
p. 401-402 2 p. |
article |
3 |
Efficient algorithms for qualitative reasoning about time
|
Gerevini, Alfonso |
|
1995 |
74 |
2 |
p. 207-248 42 p. |
article |
4 |
Forthcoming papers
|
|
|
1995 |
74 |
2 |
p. 397-399 3 p. |
article |
5 |
Levesque's axiomatization of only knowing is incomplete
|
Halpern, Joseph Y. |
|
1995 |
74 |
2 |
p. 381-387 7 p. |
article |
6 |
Naming and identity in epistemic logic part II: a first-order logic for naming
|
Grove, Adam J. |
|
1995 |
74 |
2 |
p. 311-350 40 p. |
article |
7 |
Nested abnormality theories
|
Lifschitz, Vladimir |
|
1995 |
74 |
2 |
p. 351-365 15 p. |
article |
8 |
On the computational complexity of querying bounds on differences constraints
|
Brusoni, Vittorio |
|
1995 |
74 |
2 |
p. 367-379 13 p. |
article |
9 |
Sloman's view of Gödel's sentence
|
Bojadžiev, Damjan |
|
1995 |
74 |
2 |
p. 389-393 5 p. |
article |
10 |
Tractable reasoning via approximation
|
Schaerf, Marco |
|
1995 |
74 |
2 |
p. 249-310 62 p. |
article |