Information Sciences, Volume 116

Volume 116, Number 1, 1999

• Grigoris Antoniou, Neil V. Murray: Logical Methods for Computational Intelligence (Guest Editorial). 1-2
• Detlef Fehrer, Helmut Horacek: Presenting Inequations in Mathematical Proofs. 3-23
• Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi: Integrating Induction and Abduction in Logic Programming. 25-54
• David Billington: Proving Quantified Literals in Defeasible Logic. 55-81
• R. D. Dormer, Craig MacNish: The PAC-Learnability of Planning Algorithms: Investigating Simple Planning Domains. 83-95

Volume 116, Numbers 2-4, 1999

• Walter J. Freeman: Comparison of Brain Models for Active vs. Passive Perception. 97-107
• Ching-Yun Lee, Yi-Shiung Yeh, Deng-Jyi Chen, Kuo-Lung Ku: A Probability Model for Reconstructing Secret Sharing under the Internet Environment. 109-127
• Alfredo De Santis, Barbara Masucci: A Lower Bound on the Encoding Length in Lossy Transmission. 129-146
• Sreenivas Tejomurtula, Subhash C. Kak: Inverse Kinematics in Robotics using Neural Networks. 147-164
• Shizuo Asogawa, Norio Akamatsu: A new Model for the Source of Vowels Based on the Vortex Sound. 165-176
• Hao Ying: Analytical Structure of the Typical Fuzzy Controllers Employing Trapezoidal Input Fuzzy Sets and Nonlinear Control Rules. 177-203
• Robert Badard: Expressions on a Fuzzy Pretopological Substratum. 205-218
• Bernadette Bouchon-Meunier, Vladik Kreinovich: Fuzzy Modus Ponens as a Calculus of Logical Modifiers: Towards Zadeh's Vision of Implication Calculus. 219-227
• Patrick Perrin, Frederick E. Petry: An Information-Theoretic Based Model for Large-scale Contextual text Processing. 229-252
• Young Bae Jun, Xiao Long Xin, Dong Soo Lee: On Topological BCI-Algebras. 253-261