Computational Intelligence, Volume 14

Volume 14, 1998

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