Table of Contents

• Coop: a shell for cooperating expert systemsShashi Shekhar, Chittoor V. Ramamoorthy. 2-11 [doi]
• Testing integrated knowledge-based systemsChin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs. 12-18 [doi]
• A model for understanding complexities of developing large-scale software systemsPatrick O. Bobbie, Joseph E. Urban. 19-26 [doi]
• A parallel architecture for large scale production systemsKai W. Hwang, Jack S. Eddy Tan, Jau-Hwang Wang, Jaideep Srivastava, Wei-Tek Tsai. 27-33 [doi]
• A modified A* algorithm for robust plan recognitionRandall J. Calistri. 36-42 [doi]
• Resource-oriented parallel planningSukhan Lee, Kyusik Chung. 43-50 [doi]
• A parallel architecture for AI nonlinear planningSukhan Lee, Kyusik Chung. 51-58 [doi]
• A planner for time-space coordination of robots in a structured workspaceRobin B. Stanton, Brian P. Molinari, Christopher W. Johnson, D. Wanless, Paul Mackerras. 59-67 [doi]
• INNE: a structured learning algorithm for noisy examplesMichel Liquiere, Jean Sallantin. 70-76 [doi]
• Embedding learning in a general frame-based architectureToshikazu Tanaka, Tom M. Mitchell. 77-84 [doi]
• Finding and learning explanatory connections from scientific textsFernando Gomez, Carlos Segami. 85-90 [doi]
• Low-level numerical characteristics and inductive learning methodology in texture recognitionPeter W. Pachowicz. 91-98 [doi]
• Sinhalese morphological analysis: a step towards machine processing of SinhaleseSusantha Herath, Takashi Ikeda, S. Yokoyama, Hitoshi Isahara, Shun Ishizaki. 100-107 [doi]
• TARO: an interactive, object-oriented tool for building natural language systemsManidouli H. Ibrahim, Fred A. Cummins. 108-113 [doi]
• Intelligent machine translation using a contextual knowledge representationJun-Ichi Aoe. 114-121 [doi]
• Acquisition of knowledge sources for natural language processingAndrew Fano, Andrew Kehler, Hatte Blejer, Sharon Flank. 122-129 [doi]
• Multisearch systems with hierarchical control: a tool for solving complex AI problemsJan M. Zytkow, Andrzej Jankowski. 132-137 [doi]
• Structured matching: a task-specific technique for making decisionsTom Bylander, Todd R. Johnson, Ashok K. Goel. 138-145 [doi]
• The infinite distance in the determination of the nearest Euclidean M-neighbours in the K-D-B treeOctavio Santana Suárez, G. Rodriguez, Margarita Díaz Roca, A. Placido. 146-152 [doi]
• Macro transform approach to solve indecomposable problemsQ. S. Gao, Heng-Da Cheng. 153-160 [doi]
• A semantic network architecture for artificial intelligence processingJosé G. Delgado-Frias, Will R. Moore. 162-167 [doi]
• Twin register architecture for an AI processorTsukasa Matoba, Mitsuyoshi Okamura, Takeshi Aikawa, Kenji Minagawa, Mitsuo Saito, Ken-ichi Maeda, Takeshi Takamiya. 168-173 [doi]
• The process trellis: a software architecture for intelligent monitorsMichael Factor, David Gelernter. 174-181 [doi]
• A metatool for implementing task-oriented formalismsHeikki Hyötyniemi, Aarno Lehtola. 182-188 [doi]
• A new intelligent backtracking scheme for Prolog: a summary of resultsJia-Huai You, Brian Wong, Chung-Sea Law. 190-197 [doi]
• MARS-a RISC-based architecture for LISPHung-Chang Lee, Feipei Lai, Jenn-Yuan Tsai, Tai-Ming Parng, Yu-Gang Li. 198-206 [doi]
• BIDDLE: a bidirectional data driven Lisp engineWeng-Fai Wong, Chung-Kwong Yuen. 207-214 [doi]
• Current and future trends in artificial intelligence architectures and programming languagesSamuel O. Aletan. 215-221 [doi]
• Feature extraction from speech spectrograms using multi-layered network modelsMathew J. Palakal, Michael J. Zoran. 224-230 [doi]
• Signal understanding: an artificial intelligence approach to modulation classificationJohn E. Whelchel, D. L. McNeill, R. D. Hughes, M. M. Loos. 231-236 [doi]
• Incremental learning mechanisms for speech understandingWillam Lee Mahood. 237-243 [doi]
• A rule-based inference engine which is optimal and VLSI implementableN. L. Griffin, F. D. Lewis. 246-251 [doi]
• The role of learning in logic synthesisJames R. Kipps, Daniel D. Gajski. 252-258 [doi]
• A knowledge-based environment for the integration of logical and physical testing of VLSI circuitsApostolos Dollas, Grant L. Castrodale, William T. Krakow. 259-265 [doi]
• AI methodology as a key for software reusabilityPeter B. Reintjes. 266-271 [doi]
• On transformation of logic specifications into procedural programsJ.-M. Lin, J. Y. Juang, Stephen S. Yau. 274-281 [doi]
• A frame and rule based system to support software development using an integrated software engineering paradigmJeffrey J. P. Tsai, Shun-Tzu Tsai, Alan Liu. 282-289 [doi]
• Using natural language and stereotypical knowledge for acquisition of software modelsDavid N. Chin, Koji Takea, Isao Miyamoto. 290-295 [doi]
• Towards a framework for normative software engineering researchWei-Tek Tsai, Imran A. Zualkernan. 296-304 [doi]
• The intelligent system server: delivering AI to complex systemsTimothy W. Finin, Richard Fritzson, Robin McEntire, Donald P. McKay, Anthony B. O'Hare. 306-313 [doi]
• Use of the W/AGE CASE tool in artificial intelligenceRichard A. Frost, S. Karamatos. 321-329 [doi]
• Constraint-based specification of production rulesMark W. Perlin. 332-338 [doi]
• A parallel execution method of production systems with multiple worldsKazumitsu Matsuzawa. 339-344 [doi]
• Super-imposing a network structure on a production system to improve performanceArie Tzvieli, Sally Jo Cunningham. 345-352 [doi]
• A family of cuts for production systemsZavdi L. Lichtman, Daniel L. Chester. 353-357 [doi]
• An algorithm for identification of relations among rulesHemant Y. Marathe, Ta-Kang Ma, Chen-Ching Liu. 360-367 [doi]
• The NVL knowledge representation languageAnand V. Hudli. 368-375 [doi]
• The role of knowledge in an active information environmentMike P. Papazoglou, Caio Hoffman. 376-385 [doi]
• FGP: a virtual machine for database-driven expert systemsScott Fertig, David Gelernter. 388-392 [doi]
• Adaptive DB schema evolution via constrained relationshipsDimitris Christodoulakis, P. Soupos, S. Goutas. 393-398 [doi]
• A technique for knowledge base verificationDu Zhang, Doan Nguyen. 399-406 [doi]
• Using structural and procedural knowledge in database and knowledge base integrationL. Marinos, Jung Hoon Lee. 407-417 [doi]
• A filtering process for general constraint-satisfaction problems: achieving pairwise-consistency using an associated binary representationP. Janssen, Philippe Jégou, B. Nouguier, Marie-Catherine Vilarem. 420-427 [doi]
• Match Box: fine-grained parallelism at the match levelMark W. Perlin, Jean-Marc DeBaud. 428-434 [doi]
• Sharing the components of transposition-invariant distance, DIT, on DIT-organized Burkhard-Keller structure in searches for best matching stringsOctavio Santana Suárez, José Rafael Pérez Aguiar, Zenón José Hernández Figueroa, G. Rodriguez. 435-441 [doi]
• NSA algorithm and its computational complexity-preliminary resultsWeixiong Zhang. 442-446 [doi]
• Layered inductive learning algorithms and their computational aspectsH. Madala. 448-456 [doi]
• Multilayer of ring-structured feedback network for production system processingAndrew Sohn, Jean-Luc Gaudiot. 457-464 [doi]
• Associative recall based on abstract object descriptions learned from observation: the CBM neural net modelPeggy Israel, Cris Koutsougeras. 465-472 [doi]
• Rearrangeability of 2 log N-1 shuffle/exchange networkAbdulraouf Y. Al-Hallaq. 473-479 [doi]
• A history-based scheme for accelerating Prolog interpretationV. Mohan Malhotra, Tang Van To. 482-489 [doi]
• On the combined approach to intelligent backtrackingChunming Qiao. 490-494 [doi]
• Toward a paperless development environmentBruce I. Blum. 495-498 [doi]
• Knowledge based invocation of software methods and toolsHans-Ludwig Hausen. 499-510 [doi]
• Pose determination using vertex-pairs on the Connection MachineGanesh Ramamoorthy, Ravi V. Shankar, Minsoo Suk. 512-517 [doi]
• A software environment of architecture prototypes for evaluating parallel vision systems and algorithmsNikitas A. Alexandridis, P. Papaioannou, Bhagirath Narahari, Abdou Youssef. 518-525 [doi]
• A pipelined architecture for logic programming with a complex but single-cycle instruction setJonathan Wayne Mills. 526-533 [doi]
• A parallel shape coding on SIMD architectureZbigniew M. Wójcik. 534-540 [doi]
• A connectionist learning with high-order functional networks and its internal representationAkira Namatame. 542-547 [doi]
• Neural network processing through energy minimization with learning ability to the multiconstraint zero-one knapsack problemHahn-Ming Lee, Ching-Chi Hsu. 548-555 [doi]
• Neural network simulation using INESRüdiger W. Brause. 556-561 [doi]
• Solving large scale puzzles with neural networksMasahiro Kajiura, Yutaka Akiyama, Yuichiro Anzai. 562-569 [doi]
• Fuzzy logic based tools for classification and reasoning with uncertaintyElisabetta Binaghi, David Orban, Anna Rampini. 572-577 [doi]
• On the robustness of Dempster's rule of combinationHai-Yen Hau, Rangasamy L. Kashyap. 578-582 [doi]
• Computing answers in default logicRamiro A. de T. Guerreiro, Andrea Silva, Marco Antonio Casanova. 583-589 [doi]
• A VLSI system for difference picture-based motion analysisNagarajan Ranga Ranganathan, Rajiz Mehrotra. 592-597 [doi]
• An object-oriented language for image and vision execution (OLIVE)Mark A. Lavin, Myron D. Flickner. 598-607 [doi]
• A parallel unification coprocessorFadi N. Sibai, Karan L. Watson, Mi Lu. 608-615 [doi]
• Parallel branch and bound on fine-grained hypercube multiprocessorsFrank Dehne, Afonso G. Ferreira, Andrew Rau-Chaplin. 616-622 [doi]
• Differential A*: an adaptive search method illustrated with robot path planning for moving obstacles and goals, and an uncertain environmentKaren Trovato. 624-639 [doi]
• An intelligent algorithm to generate non-intersecting paths for mobile robots in a multi-robot environmentMohan Kamath, Jackson C. S. Yang. 641-648 [doi]
• Path planning for two cooperating robot manipulatorsQing Xue, Phillip C.-Y. Sheu. 649-657 [doi]
• A heuristic, real-time path planning for collision free navigation in a dynamic multiple robots unknown environmentNikolaos G. Bourbakis. 658-667 [doi]
• Towards an automated tool for software certificationDimitris Christodoulakis, Christos Tsalidis, C. J. M. van Gogh, V. W. Stinesen. 670-676 [doi]
• PM: a metrics driven plan compilerRobert G. Reynolds, Jonathan I. Maletic, Stephen E. Porvin. 677-684 [doi]
• Abstract machine LORAP II and experiments in process grain size determination for parallel execution of logic programsChin-Feng Fan, Prasenjit Biswas. 685-692 [doi]
• A finite state automata of the Arabic grammarAyman El-Naggar. 693-699 [doi]
• Improved control strategy for parallel logic programmingIn Jeong Chung. 702-708 [doi]
• An entity model for conceptual designTakao Ichiko, Kenji Takeuchi, Nobuhito Nango. 709-716 [doi]
• A metalanguage to express human guidance for program transformationLingzi Jin, Hong Zhu. 717-722 [doi]