Table of Contents

• The state-of-art AI research in JapanFumio Mizoguchi. [doi]
• Goal-oriented behavior in autonomous systemsPeiya Liu. 2-8 [doi]
• Collision-free path planning for a shape-changeable mobile robot in a 3-dimensional environmentQing Xue, Phillip C.-Y. Sheu. 9-15 [doi]
• Minor moves-global results: robot trajectory planningHeikki Hyötyniemi. 16-22 [doi]
• RL4: a tool for knowledge-based inductionScott H. Clearwater, Foster J. Provost. 24-30 [doi]
• A method that combines inductive learning with exemplar-based learningJianping Zhang. 31-37 [doi]
• Rule compilation from constraint-based problem solvingSuresh Subramanian, Eugene C. Freuder. 38-47 [doi]
• Implementation of a genetic algorithm based associative classifier system (ACS)Kirk Twardowski. 48-54 [doi]
• Building embedded languages and expert system shells in PrologL. Ümit Yalçinalp, Leon Sterling. 56-62 [doi]
• An introduction to KEDE-A hybrid knowledge engineering development environmentZijian Zheng, Wei Li. 63-69 [doi]
• A hybrid knowledge representation as a basis of requirement specification and reasoningJeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang. 70-76 [doi]
• An object-oriented environment for multiple AI paradigmsMamdouh H. Ibrahim, Scott W. Woyak. 77-83 [doi]
• Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we needSandro Bologna, Eyvind Ness, Terje Sivertsen. 86-95 [doi]
• Automatic elicitation of interactive rules from data with exceptions using TMSTakefumi Yamazaki. 96-102 [doi]
• Specification of expert systemsAïda Batarekh, Alun D. Preece, Anne Bennett, Peter Grogono. 103-109 [doi]
• ACKnowledge project: A framework for knowledge acquisition techniques integrationFano Ramparany, M.-S. Doize, C. Jullien. 110-116 [doi]
• The neural shell: a neural network simulation toolStanley C. Ahalt, Prakoon Chen, Cheng-Tao Chou. 118-124 [doi]
• ASLANN: a tool for the design of composite neural systemsA. D. P. Green, P. D. Noakes. 125-129 [doi]
• Special purpose array processor implementation of neural networksSun-Yuan King, John A. Vlontzos. 130-137 [doi]
• Conventional and associative memory-based spelling checkersVladimir Cherkassky, Nikolaos Vassilas, Gregory L. Brodt. 138-144 [doi]
• Capturing design and maintenance decisions with MACSChristine Desclaux. 146-153 [doi]
• Configuration management in the HILDA systemLiang H. Hsu. 154-160 [doi]
• OKBMS: An object-oriented knowledge base management systemZhongzhi Shi, Jianming Wu, Hui Sun, Jinxi Xu. 161-166 [doi]
• Constraint driven computations in evolving object databasesPierre Berlandier. 167-172 [doi]
• Tailoring explanations to the user's level of expertise and domain knowledgeEfstratios Sarantinos, Peter Johnson. 174-180 [doi]
• A graphical constraint-based production system environmentMark W. Perlin, Peter Gaertner. 181-188 [doi]
• Interactive extension of domain datatypesHendrik James Antonisse. 189-193 [doi]
• Speculative search: An efficient search algorithm for limited memoryMarkian M. Gooley, Benjamin W. Wah. 194-200 [doi]
• The DIBBS blackboard control architecture and its application to distributed natural language processingJohn R. R. Leavitt, Eric Nyberg. 202-208 [doi]
• Hardware evaluation of KCMOlivier Thibault. 209-217 [doi]
• M: An approximate reasoning systemQinping Zhao, Bo Li. 218-221 [doi]
• High-level reasoning in cooperative knowledge systemFangqing Zhang, Dayou Liu, Rikun Tang. 222-228 [doi]
• Categorization in supervised neural network learning A computational approachG. Krishnan, E. B. Reynolds. 230-236 [doi]
• Learning steppingstones for problem solvingDavid Ruby, Dennis F. Kibler. 237-244 [doi]
• Ergodic discretized estimator learning automata with high accuracy and high adaptation rate for nonstationary environmentsAthanasios V. Vasilakos, Georgios I. Papadimitriou. 245-253 [doi]
• Learning from examples and counterexamples with equational background knowledgeEmmanuel Kounalis. 254-260 [doi]
• Constraint propagation neural networks for Huffman-Clowes scene labelingChen-Kuo Tsao, Wei-Chung Lin. 262-268 [doi]
• Machine learning using single-layered and multi-layered neural networksSabrina Sestito, Tharam S. Dillon. 269-275 [doi]
• Parallel computation of neural networks in a processor pipeline with partially shared memoryYoshikuni Okawa, Takayuki Suyama. 276-282 [doi]
• An associative memory knowledge base for diagnostic and high level control functionsWei K. Tsai, Alexander G. Parlos, Benito Fernandez. 283-288 [doi]
• How could a shell improve the maintainability of expert systems?John Yen. 290-291 [doi]
• Building models for qualitative prediction of system dynamic behaviorSukhan Lee, Judy Chen. 294-300 [doi]
• Hypothesis generation in conflict based diagnosisJiah-Shing Chen, Sargur N. Srihari. 301-307 [doi]
• Diagnosing systems modeled with piecewise linear constraintsHenri Beringer, Bruno De Backer. 308-313 [doi]
• TCA*-a time-constrained approximate A* search algorithmBenjamin W. Wah, Lon-Chan Chu. 314-320 [doi]
• Schema survival rates and heuristic search in genetic algorithmsBill P. Buckles, Frederick E. Petry, Rebecca L. Kuester. 322-327 [doi]
• Improving tactical plans with genetic algorithmsAlan C. Schultz, John J. Grefenstette. 328-334 [doi]
• Using genetic algorithms for supervised concept learningWilliam M. Spears, Kenneth A. De Jong. 335-341 [doi]
• The control of genetic algorithms using version spacesRobert G. Reynolds. 342-348 [doi]
• Projection pursuit learning networks for regressionMartin Mächler, R. Douglas Martin, Jim Schimert, M. Csoppenszky, Jenq-Neng Hwang. 350-358 [doi]
• Neural computing with structured informationSubhash C. Kak. 359-365 [doi]
• A connectionist approach to learning legal moves in Tower-of-HanoiAndrew Sohn, Jean-Luc Gaudiot. 366-371 [doi]
• Temporal neural logic networksHoon heng Teh, Loke-Soo Hsu, Sing-Chai Chan, Kia-Fock Loe. 372-376 [doi]
• Scaffolding the RETE networkMark W. Perlin. 378-385 [doi]
• A forward-chaining multiple-context reasoner and its application to logic designYoshihiko Ohta, Katsumi Inoue. 386-392 [doi]
• Performance of DBMS implementations of production systemsTimos Sellis, Chih-Chen Lin. 393-399 [doi]
• Grid Match: a basis for integrating production systems with relational databasesJack S. Eddy Tan, Manish Maheshwari, Jaideep Srivastava. 400-407 [doi]
• APU: an automatic programmer for UNIXMehdi T. Harandi, Sanjay Bhansali. 410-416 [doi]
• A knowledge and data base for software systemsLuis Miguel, M. H. Kim, C. V. Ramamoorthy. 417-423 [doi]
• A tool system for knowledge-based on-line diagnosis in industrial automationThomas Beck. 424-429 [doi]
• RACK: a parser generator for AI languagesJames R. Kipps. 430-435 [doi]
• Using MICE to study intelligent dynamic coordinationThomas A. Montgomery, Edmund H. Durfee. 438-444 [doi]
• Expert system driven fuzzy control application to power reactorsLefteri H. Tsoukalas, R. C. Berkan, Belle R. Upadhyaya, Robert E. Uhrig, R. A. Kisner. 445-450 [doi]
• Optimal information distribution and performance in neighbourhood-conserving maps for robot controlRüdiger W. Brause. 451-456 [doi]
• An expert system for contingency analysis in transmission networksF. Mateos, P. Basagoiti, G. Pastor, V. Garcia Echabe, D. Matauco, R. Criado, F. Lasheras, J. G. Bellido, J. Randez. 457-462 [doi]
• A domain-independent routine design toolMichael R. Hall, John S. Kaminski, Diane A. Ruddock, Arumugam Kumaran. 464-470 [doi]
• The management of uncertainty in commercial expert system building toolsTerry D. Escamilla, Dick B. Simmons, Newton C. Ellis. 471-477 [doi]
• HSAS: a heuristic development toolPeter C. Nelson, John F. Dillenburg, Lana Dubinsky. 478-484 [doi]
• Neural logic programmingT. J. Reynolds, H. H. Teh, Boon Toh Low. 485-491 [doi]
• Combining partial evaluation and constraint solving: a new approach to constraint logic programmingJin-Kao Hao, Jean-Jacques Chabrier. 494-500 [doi]
• TIMEX-a tool for interval-based representation in technical applicationsJürgen Dorn. 501-506 [doi]
• A high level compiling implementation of PARLOG based on extended graph rewritingZhenzhong Li, Dingxing Wang. 507-510 [doi]
• Design and implementation of a parallel logic programming systemShouren Hu, Yaoqing Gao, Zhiyi Hwang, Yungui Ci. 511-518 [doi]
• Experiences made using the expert system shell G2Svein Nilsen. 520-529 [doi]
• A cooperation and communication framework for distributed problem solvingNorihiko Yoshida, Shuji Narazaki. 530-536 [doi]
• A tool for building decision-support-oriented expert systemsJijian Shi, Ruizhao Yu, Zhijun He 0001. 537-543 [doi]
• Development of a meta-blackboard shellCheng-Seen Ho. 544-550 [doi]
• Artificial intelligence and imageryJanice I. Glasgow. 554-563 [doi]
• A new approach for representing and recognition of two-dimensional objectsD. C. D. Hung, B. C. Cheng. 564-570 [doi]
• Knowledge based text character recognition using Fourier transformNikolaos G. Bourbakis, A. T. Gumahad II. 571-576 [doi]
• An empirical comparison of ID3 and HONNs for distortion invariant object recognitionLilly Spirkovska, Max B. Reid. 577-582 [doi]
• A knowledge-driven methodology for eliciting and restructuring software requirements for distributed designPatrick O. Bobbie, Joseph E. Urban. 584-592 [doi]
• Software representation to support changeK. G. Heisler, P. E. Johnson, Wei-Tek Tsai, Y. Kasho, J. R. Snyder. 593-602 [doi]
• Issues on deterministic transformation of logic-based program specificationJ.-M. Lin. 603-609 [doi]
• KB/RMS: an intelligent assistant for requirement definitionRobert V. Binder, Jeffrey J. P. Tsai. 610-616 [doi]
• BaLinda Lisp: a parallel list-processing languageC. K. Yuen, W. F. Wong. 618-624 [doi]
• Regularity: generalizing inheritance to arbitrary hierarchiesHafedh Mili, Roy Rada. 625-631 [doi]
• Relationships in an object knowledge representation modelJ. Escamilla, P. Jean. 632-638 [doi]
• Knowledge-directed query processing in expert database systemsSang-goo Lee, Lawrence J. Henschen, Ghassan Z. Qadah. 640-646 [doi]
• Artificial intelligence R&D: the ISS strategyJuzar Motiwalla, Teh Hoon Heng. 647-650 [doi]
• An improved register allocation algorithm for the WAM modelHu Ziang, Xiang Rong Ci. 651-657 [doi]
• A massively parallel knowledge-base server using a hypercube multiprocessorFrank Dehne, A. G. Ferreira, Andrew Rau-Chaplin. 660-666 [doi]
• IXM2: a parallel associative processor for semantic net processing-preliminary evaluationTetsuya Higuchi, Tatsumi Furuya, Ken'ichi Handa, Akio Kokubu. 667-673 [doi]
• Exploiting data parallelism for efficient execution of logic programs with large knowledge basesArvind K. Bansal, Jerry L. Potter. 674-681 [doi]
• Knowledge based architecture to integrate heterogeneous distributed information systemsPeter Bernus, Michael P. Papazoglou. 682-689 [doi]
• A study of back-error propagation networks in the domain of noisy tactile impressionsMarcus Thint, Paul P. Wang. 692-698 [doi]
• A neural architecture applied to the enhancement of noisy binary images without prior knowledgeFrank Y. Shih, Jenlong Moh, Henry Bourne. 699-705 [doi]
• Fuzzy computational reasoning and neural networksXingui He. 706-711 [doi]
• Extending Athena: multiple classes and confidence output valuesCris Koutsougeras, George Georgiou, Christos A. Papachristou. 712-716 [doi]
• Decomposition of belief function in hierarchical hypotheses spaceHai-Yen Hau. 718-724 [doi]
• Study of interval-valued belief combination with conflicting evidenceLiWu Chang, Rangasami L. Kashyap. 725-730 [doi]
• An extended framework for evidential reasoning systemsWeiru Liu, Jun Hong, Michael F. McTear. 731-737 [doi]
• A real time control strategy for Bayesian belief networks with application to ship classification problem solvingScott A. Musman, LiWu Chang, Lashon B. Booker. 738-744 [doi]
• On inducing topologically minimal decision treesTapio Elomaa, Jyrki Kivinen. 746-752 [doi]
• Assessment of the reliability of AI programsFarokh B. Bastani, Ing-Ray Chen. 753-759 [doi]
• On the application of stratification to requirement specificationsDaniel E. Cooke, Ann Q. Gates. 760-766 [doi]
• A knowledge-based environment for assessment of color similarityElisabetta Binaghi, Anna Della Ventura, Anna Rampini, Raimondo Schettini. 768-775 [doi]
• Validation of nonmonotonic knowledge-based systemsChin-Liang Chang, Rolf A. Stachowitz, Jacqueline B. Combs. 776-782 [doi]
• Global knowledge about local dependencies in an integrated database environmentLouis Marinos. 783-791 [doi]
• A knowledge-based graphic description tool for understanding engineering drawingsYong-Qing Cheng, Jing-yu Yang. 792-796 [doi]
• A specialized genetic algorithm for numerical optimization problemsCezary Z. Janikow, Zbigniew Michalewicz. 798-804 [doi]
• Discovery of maximal distance codes using genetic algorithmsKejitan Dontas, Kenneth De Jong. 805-811 [doi]
• Generation of feature detectors for texture discrimination by genetic searchJerzy W. Bala, Kenneth De Jong. 812-818 [doi]
• Genetically breeding populations of computer programs to solve problems in artificial intelligenceJohn R. Koza. 819-827 [doi]
• 2: an agent-oriented programming architecture for multi-agent constraint satisfaction problemsEdward H. Freeman. 830-840 [doi]
• Super-TC: an efficient generic algorithm for processing the instantiated transitive-closure queries in deductive database systemsGhassan Z. Qadah. 841-847 [doi]
• Performing deduction from implicit beliefsJeffrey Van Baalen, Robert Nado. 848-855 [doi]
• PROFIM: Prolog for image managementShan Chi, Jie-Young Juang. 856-862 [doi]
• KNOWBEL: a hybrid expert system building toolJohn Mylopoulos, Huaiqing Wang, André Kushniruk. 864-870 [doi]
• P-graph-a graph model for anomaly checking of knowledge basesEng Lian Lim, John McCallum, Kwok-Hung Chan. 871-877 [doi]
• Designing verifiable expert systemsJohn Yen, Jonathan Lee, David Hamilton. 878-884 [doi]
• An inference engine for function free logic programsStefan Bottcher. 885-890 [doi]