List of contents of
Computational Intelligence
Volume 14
Published by Blackwell Publishers
- j-ci-14-1
- Ronald P. Loui:
Process and Policy: Resource-Bounded Nondemonstrative Reasoning.
Pages 1-38.
- j-ci-14-39
- Javier A. Pinto:
Integrating Discrete and Continuous Change in a Logical Framework.
Pages 39-88.
- j-ci-14-89
- Barbara Di Eugenio:
An Action Representation Formalism to Interpret Natural Language Instructions.
Pages 89-133.
- j-ci-14-134
- Alessandro Cimatti, Fausto Giunchiglia, and R. W. Weyhrauch:
A Many-Sorted Natural Deduction.
Pages 134-149.
- j-ci-14-151
- Karen L. Myers and David E. Wilkins:
Reasoning about Locations in Theory and Practice.
Pages 151-187.
- j-ci-14-188
- Armand E. Prieditis:
Depth-First Branch-and-Bound vs.
Pages 188-206.
- j-ci-14-207
- Wanlin Pang and André Trudel:
Representing and Reasoning about Motion in a Two-Dimensional World.
Pages 207-237.
- j-ci-14-238
- Robert K. Lindsay:
Using Diagrams to Understand Geometry:.
Pages 238-272.
- j-ci-14-461
- Haim Schweitzer and Janell Straach:
Utilizing Moment Invariants and Grobner Bases to Reason about Shapes.
Pages 461-474.
- j-ci-14-475
- Nevin Lianwen Zhang:
Probabilistic Inference in Influence Diagrams.
Pages 475-497.
- j-ci-14-498
- John L. Pollock:
Perceiving and Reasoning about a Changing World.
Pages 498-562.
- j-ci-14-563
- Diana Cukierman and James P. Delgrande:
Expressing Time Intervals and Repetition within a Formalization of Calendars.
Pages 563-597.
- j-ci-14-598
- Andrew Fall:
The Foundations of Taxonomic Encoding.
Pages 598-642.
30-Jul-97 12:05