List of contents of
Artificial Intelligence Journal
Volume 95
- j-aij-95-1
- T.L McCluskey and J.M. Porteus:
Engineering and compiling planning domain models to promote validity and efficiency.
Pages 1-65.
- j-aij-95-67
- F. Kabanza, M. Barbeau, and R. St-Denis:
Planning control rules for reactive agents.
Pages 67-113.
- j-aij-95-115
- T.C. Przymusinski:
Autoepistemic logic of knowledge and beliefs.
Pages 115-154.
- j-aij-95-155
- S. Onn and M. Tennenholtz:
Determination of social laws for multi-agent mobilization (Research Note).
Pages 155-167.
- j-aij-95-169
- Y. Xia, S.S. Iyengar, and N.E. Brener:
An event driven integration reasoning scheme for handling dynamic threats in an unstructured environment (Research note).
Pages 169-186.
- j-aij-95-187
- L. De Raedt:
Logical settings for concept-learning (Research note).
Pages 187-201.
- j-aij-95-203
- K. Ammon:
An automatic proof of Go:del's imcompleteness theorem (Letter to the Editor).
Pages 203-207.
- j-aij-95-215
- D. Berleant and B.J. Kuipers:
Qualitative and quantitative simulation: bridging the gap.
Pages 215-255.
- j-aij-95-257
- N. Friedman and J.Y.Halpern:
Modeling belief in dynamic systems, Part I: Foundations.
Pages 257-316.
- j-aij-95-317
- E. Clementini, P. Di Felice, and D. Herna'ndez:
Qualitative representation of positional information.
Pages 317-356.
- j-aij-95-357
- C.A. Gunter, T.-H. Ngair, and D. Subramanian:
The common order-theoretic structure of version spaces and ATMSs.
Pages 357-407.
- j-aij-95-409
- E. Giunchiglia, G.N. Kartha, and V. Lifschitz:
Representing action: indeterminacy and ramifications.
Pages 409-438.
30-Jul-97 12:05