Abstract is missing.
- Solving Diagramless Crossword PuzzlesEdward Pershits, Ryan Stansifer. 4-10
- A Tool to Support Knowledge Based Software Maintenance: The Software Service BayJonathan I. Maletic, Robert G. Reynolds. 11-17
- A New Approach to Modularity in Rule-Based ProgrammingJames C. Browne, E. Allen Emerson, Mohamed G. Gouda, Daniel P. Miranker, Aloysius K. Mok, Roberto J. Bayardo Jr., Sarah E. Chodrow, David Gadbois, F. Furman Haddix, Thomas W. Hetherington, Lance Obermeyer, Duu-Chung Tsou, Chih-Kan Wang, Rwo-Hsi Wang. 18-25
- A Graphical Environment for Formally Developing Object-Oriented SoftwareBetty H. C. Cheng, Enoch Y. Wang, Robert H. Bourdeau. 26-32
- Parsing Unification Categorial Grammar with Object-Oriented KnowledgeLi Li, Barrett R. Bryant. 33-39
- An Interactive Train Scheduling Workbench Based on Artificial IntelligenceHsien-Cheng Lin, Ching-Chi Hsu. 42-48
- Integrating Statistical Methods for Characterizing Causal Influences on Planner Behavior over TimeAdele E. Howe, Robert St. Amant, Paul R. Cohen. 56-62
- Designing a Tool to Allow Updates during Plan Recognition - Challenges and ApplicationsRobin Cohen, Bruce Spencer, Pat Hoyt. 63-70
- Adaptive Robot Path Planning in Changing EnvironmentsPang C. Chen. 71-77
- The Figure Understander: A Tool for the Integration of Text and Graphical Input to a Knowledge BaseRaman Rajagopalan. 80-87
- Using Genetic Algorithms for Optimal Design of TrussesCarlos A. Coello Coello, Michael Rudnick, Alan D. Christiansen. 88-94
- NSK, an Object-Oriented Simulator Kernel for Arbitrary Feedforward Neural NetworksCédric Gégout, Bernard Girau, Fabrice Rossi. 95-104
- Design by Expectation: A Framework for Engineering Design OptimizationErh-Chun Yeh, Ying Sun, S. S. Venkata, Z. Sumic. 105-111
- The Rail Yard ManagerMyron Lewellen, Ramesh Ravula, Rodney Swab, Bruce Pratt. 112-119
- A WAM-Based Abstract Machine for Interval Constraint Logic ProgrammingJ. H. M. Lee, T. W. Lee. 122-128
- A Partial Breadth-First Execution Model for PrologJordi Tubella, Antonio González. 129-137
- Skeletons and Techniques for the Systematic Development of Constraint Logic ProgramsSpiro Michaylov. 138-144
- A Formal Associative Model of Logic Programming and its Abstract Instruction SetArvind K. Bansal, P. V. Lokam, M. N. Ghandikota. 145-151
- Cascaded Vector Quantization by Non-linear PCA Network LayersRüdiger W. Brause. 154-160
- Response Surface Methodology for Optimal Neural Network SelectionChih-Chou Chiu, Joseph J. Pignatiello Jr., Deborah F. Cook. 161-167
- A Resonance Correlation Network with Adaptive Fuzzy Leader ClusteringRandy B. Cleary, Peggy Israel. 168-174
- Customizing Parallel Formulations of Backpropagation Learning Algorithm to Neural Network Architectures : A Summary of ResultsMinesh B. Anim, Shashi Shekhar. 181-189
- Some Issues of Reasoning in Fuzzy Control: Principle, Practice, and PerspectiveY. Tsukamoto. 192-196
- Application of Fuzzy Modeling to Power Plant Generator ControlV. C. Zambenedetti, Shuta Murakami. 197-204
- Advanced Fuzzy Control of a Trailer Type Mobile Robot - Stability Analysis and Model-Based Fuzzy ControlKazuo Tanaka. 205-211
- Three-layered Fuzzy Inference and Self-wondering Mechanism as Natural Language Processing Engine of FLINSShun ichi Tano, Wataru Okamoto, Toshiharu Iwatani, Atsushi Inoue, Ryosuke Fujioka. 212-218
- Fuzzy Expert System ShellsMotohide Umano, Itsuo Hatono, Hiroyuki Tamura. 219-225
- Knowledge Acquisition from Real-World Texts: Some Lessons LearnedFernando Gomez. 229-230
- The Evolution of Intelligent Writing Assistants: Trends and Future ProspectsRobert L. Oakman. 233-234
- Tools for Managing Stories and QuestionsBrian M. Slator. 237-238
- Tools for Representing and Managing Knowledge: Some Practical Requirements and SuggestionsLarry H. Reeker. 240-244
- A Novel Method for Parsing Complex Sentences in Syntactically Free LanguagesStephanos E. Michos, Nikos Fakotakis, George K. Kokkinakis. 253-259
- A Neural Network for Supervised Learning of Natural Language GrammarDominique Archambault, Jean-Claude Bassano. 267-273
- A Knowledge-Based Analyzer for Requirements Specification AnalysisHung-Chin Jang. 276-282
- Tooling the Lexicon Acquisition Process for Large-Scale KBMTJohn R. R. Leavitt, Deryle W. Lonsdale, Kevin Keck, Eric Nyberg. 283-289
- A Comparative Study of IDA*-Style SearchesBenjamin W. Wah, Yi Shang. 290-296
- Predicting the Response Time of Real-Time Rule-Based Programs with Variable-Expression AssignmentsJeng-Rung Chen, Albert Mo Kim Cheng. 297-303
- Solving Constraints over the Reals - A Multi-Solver ApproachPhilippe Marti, Michel Rueher. 304-310
- Vision-based Behavioural Modules for Robotic Assembly SystemsPrabhas Chongstitvatana. 312-316
- An Attempt to Apply the Dividing and Composing Method to Various Frames of Chinese Flower and Bird PantingDa-Yu Liu, Yoshinao Aoki. 317-324
- A Neural Network Architecture for the Second Level Trigger in the H1-Experiment at the Electron Proton Collider HERAA. Gruber, Jürgen Fent, W. Fröchtenicht, Christian Kiesling, J. Möck, P. Ribarics, D. Goldner, Hermann Kolanoski, T. Krämerkämper. 325-331
- Recurrent Neural Networks for Synthesizing Linear Control Systems via Pole PlacementJun Wang, Guang Wu. 332-338
- Tools with AI in the GovernmentNort Fowler, Peter Friedland, Alan Meyrowitz, David Hislop, Morton Hirshberg, Gio Wiederhold, Oscar Firschein. 345
- Intelligent Neural Networks using Smart Wavelets PreprocessingHarold Szu. 348-349
- A Knowledge-Based Tutoring System for SQL ProgrammingGang Zhou, Jason Tsong-Li Wang, Peter A. Ng. 352-358
- Query Processing for Partial Information Databases in QUIXOTEKazumasa Yokota, Hiroshi Tsuda, Toshihiro Nishioka, Satoshi Tojo. 359-365
- R-calculus: A Logical Approach for Knowledge Base MaintenanceWei Li, Ningchuan Shen, Ju Wang. 375-381
- Knowledge-based QueryingF.-Y. Villemin, A. Paoli. 382-388
- Approximate Graph Matching Using Probabilistic Hill Climbing AlgorithmsJason Tsong-Li Wang, Kaizhong Zhang, Gung-Wei Chirn. 390-396
- An Arc-Consistency Algorithm Optimal in the Number of Constraint ChecksChristian Bessière, Jean-Charles Régin. 397-403
- Using an Annealing Genetic Algorihtm to Solve Global Energy Minimazation ProblemLeuo-hong Wang, Cheng-Yan Kao, Ming Ouhyoung, Wen-Chin Chen. 404-410
- GATTO: An Intelligent Tool for Automatic Test Pattern Generation for Digital CircuitsPaolo Prinetto, Maurizio Rebaudengo, Matteo Sonza Reorda, Enzo Veiluva. 411-417
- Using a Double-based Genetic Algorithm on a Population of Computer ProgramsPhilippe Collard, Jean-Luc Segapeli. 418-424
- Maintaining Arc Consistency through Constraint RetractionBertrand Neveu, Pierre Berlandier. 426-431
- Minimal Forward CheckingMichael J. Dent, Robert E. Mercer. 432-438
- Towards the Integration of Artificial Neural Networks and Constraint Logic ProgrammingJ. H. M. Lee, V. W. L. Tam. 446-452
- Knowledge Acquisition Techniques for a Military Planning SystemMarie desJardins. 454-460
- Galois Lattice: A Framework for Concept Learning-Design, Evaluation and RefinementEngelbert Mephu Nguifo. 461-467
- IIBR-A System for Managing/Refining Structural Characteristics Discovered from DatabasesNing Zhong, Setsuo Ohsuga. 468-475
- On Learning Multiple Descriptions of a ConceptKamal Ali, Clifford Brunk, Michael J. Pazzani. 476-483
- Learning Strategy Knowledge IncrementallyManuela M. Veloso, Daniel Borrajo. 484-490
- Assumption-Based Truth Maintenance in Precense of Temproal AssertionsMaroua Bouzid, François Charpillet, Pierre Marquis, Jean-Paul Haton. 492-498
- Distributed Belief Revision versus Distributed Truth MaintenanceAldo Franco Dragoni, Paolo Puliti. 499-505
- The Temporal Reasoning Tools TimeGraph I-IIAlfonso Gerevini, Lenhart K. Schubert, Stephanie Schaeffer. 513-520
- GREAT: A Model of Progressive Reasoning for Real-Time SystemsAbdel-Illah Mouaddib, François Charpillet, Jean-Paul Haton. 521-527
- Metrics Based Classification Trees for Software Test Monitoring and ManagementRaymond A. Paul. 534-540
- Experiments with Various Recurrent Neural Network Architectures for Handwritten Character RecognitionAkhtar Jameel. 548-554
- A Constraint-based Approach for the Generation of Floor PlansPhilippe Charman. 555-561
- Neo-Fuzzy-Neuron Based New Approach to System Modeling, with Application to Actual SystemsEiji Uchino, Takeshi Yamakawa. 564-570
- Peirce: A Tool for Abductive InferenceRichard Fox, John R. Josephson. 571-577
- An Educational Tool for High-Level Interaction with Bayesian NetworksPeter Haddawy, Joel Jacobson, Charles E. Kahn Jr.. 578-584
- Conceptual Driven Search Among Distributed Knowledge SourcesAntonio S. Fabiano, Stefano A. Cerri. 594-600
- Distributed Simulated Re-annealing for Dynamic Constraint Satisfaction ProblemsKhaled Ghédira. 601-607
- ICDM: Integrated Cooperative Decision Making-In PracticeLeonard Myers, Jens Pohl. 608-614
- Tols for Experiments in PlanningScott D. Anderson, Adam Carlson, David L. Westbrook, David M. Hart, Paul R. Cohen. 615-623
- Parameter Tuning for the MAX Expert SystemChristopher J. Merz, Michael J. Pazzani. 632-639
- A Framework for Automatic Improvement of Workflows to Meet Performance GoalsTrent Jaeger, Atul Prakash, Masayuki Ishikawa. 640-646
- A Scheme for Knowledge Representation, Verification, and Reasoning in Real Time Asynchronous Production SystemsTolety Siva Perraju, Garimella Uma, Bandreddi E. Prasad. 647-653
- A Framework for Fault Diagnosis in Distributed Expert SystemsJ. W. Guan, Z. Guan, David A. Bell. 654-660
- An Intelligent System to Facilitate the Diagnosis of Adverse Drug ReactionsA. Laribi, S. A. Laribi. 661-666
- Imprecise Probability and Expert ForecastingCarl G. Wagner. 668-671
- Integrating Rules and ConstraintsBing Liu. 676-679
- Experiences in Using Prolog to Develop a Practical Constraint SolverPierre Lim. 680-683
- MODEST: A Model-Based Diagnostic Expert SystemYusuf Wilajati Purna, Takahira Yamaguchi. 684-687
- Explicit Versus Implicit Set-Covering for Supervised LearningStephen V. Kowalski, Dan I. Moldovan. 688-691
- KBMDL: A Knowledge Based Model Description Language for Decision SupportShifu Chen, Dianxiang Xu. 696-699
- Using Planning Techniques to Provide Feedback in Interactive Learning EnvironmentsRay H. Kemp, S. P. Smith. 700-703
- A Practical Module System for Logic Programming and its SemanticsIsambo Karali, Constantin Halatsis. 708-711
- Integrating External Functions in an Object Oriented Reasoning SystemTa-Cheng Yu, Lawrence J. Henschen. 712-715
- An Artificial Neural Network for the Ergonomic Evaluation of a Human-Computer InterfaceJean-François Arcand. 716-719
- Joining Contextual Information to the Intervention in Natural Language InterfacesJosé Ramón Zubizarreta Aizpuru, Craig Jones. 720-723
- The Inheritance Mechanism of a System Integrating Logic in ObjectsIoannis Hatzilygeroudis, Han Reichgelt. 724-727
- Studies on the Effect of Non-coding Segments on the Genetic AlgorithmAnnie S. Wu, Robert K. Lindsay, Michael D. Smith. 744-747
- The Schema Theorem Considered InsufficientWeon Sam Chung, Rafael A. Perez. 748-751
- A Heuristics Guided Scheduling Framework for Domains with Complex ConditionsYuriko Nomura, Masahiko Iwamoto, Toru Yamanouchi, Masanobu Watanabe. 752-755
- Interleaving Real-Time Multi-Agent Planning and Execution: An ApplicationCésar Santos Silva, Alexandre Malheiro Bernardino, Carlos A. Pinto-Ferreira. 756-759
- Modeling the Plasma Enhanced Chemical Vapor Deposition Process Using Neural Networks and Genetic AlgorithmsSeung-Soo Han, Gary S. May. 760-763
- Methods for Finding Influences on Program FailureAdele E. Howe, Aaron D. Fuegi. 764-767
- Restructuring and Optimizing Knowledge RepresentationsJan Vanthienen, Geert Wets. 768-771
- Docile Agents to Process Natural LanguageJean Pierre Fournier. 772-775
- Object Reconstruction using the Cooperation of 3D Segments and 3D Facets InformationDidier Gemmerlé. 776-779
- Fuzzy Qualitative DiagnosisSunita Patil, Martin O. Hofmann. 780-783
- Finite Domain Constraints in the ML Functional LanguageEmmanuel Chailloux, Christian Codognet, Philippe Codognet. 784-787
- Pattern Theoretic Knowledge DiscoveryJeffrey A. Goldman. 788-791
- KAAD: A Support System for Architectural DesignBruno Errico, Gabriele Novembri. 792-795
- Constructs for Building Complex Symbolic-Connectionist SystemsRajiv Khosla, Tharam S. Dillon. 796-799
- DIALECT2: An Information Retrieval System Based on Distributed Artificial Intelligence ToolsMichael Braunwarth, Abdelouahab Mekaouche, Jean-Claude Bassano. 800-803
- Sequences Constraint Solving in Constraints Logic ProgrammingPierre Baptiste, Bruno Legeard, Hamza Zidoum. 804-807
- Combining Geometric and Photometric Information to Find Lines from Step Edge DetectionAlain Filbois. 808-811
- Using Classifier Systems to Design Neural NetsChristos Nikolopoulos. 812-815
- A Method for Organizing Knowledge Bases in the Hierarchical FormTu Bao Ho. 816-819
- Enhancing Diversity for a Genetic Algorithm Learning Environment for Classfication TasksChristoph F. Eick, Yeong-Joon Kim, Nicola Secomandi. 820-823
- Simulated Annealing Based ClassficationScott Finnerty, Sandip Sen. 824-827
- Context Free Language Induction with Genetic ProgrammingBertrand Daniel Dunay. 828-831
- NAVNEX: A Hybrid System which Learns Navigation Situations in Real TimeGianni Vercelli, F. Giuffrida, A. Rolla, R. Toracca, Pietro Morasso. 832-835
- A Knowledge Representation System for Integration of General and Case-Specific KnowledgeAgnar Aamodt. 836-839