Computational Intelligence, Volume 14

Volume 14, 1998

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