Table of Contents

• BASAR: A Blackboard Based Software ArchitectureChristian Märtin, Klemens Waldhör. 2-4
• ATOME: A Blackboard Architecture with Temporal and Hypothetical ReasoningH. Lâasri, B. Maître, T. Mondot, François Charpillet, Jean-Paul Haton. 5-10
• Applying the KADS Methodology to Develop a Knowledge Based System: NetHandlerReinhard Krickhahn, Reinhard Nobis, Andres Mählmann, Mina-Jaqueline Schachter-Radig. 11-17
• Preliminary Evaluation of the Connection Network for the Multi-PSI SystemKanae Masuda, Hirokazu Ishizuka, Hiroaki Iwayama, Kazuo Taki, Eiji Sugino. 18-23
• ELOISE s Heart: An Efficient Frame for Production System ExecutionPatrick Dixneuf, Alain Meller, Marc Porcheron. 24-26
• Iconic-Declarative Programming and Adaptation RulesHarold Boley. 27-29
• A Typed Unification of Functional and Logic Programming Based on Many-Valued FunctionsThomas Wilmes. 36-41
• PAMELA: An Expert System Technology for Real-Time Control ApplicationsFranz Barachini, Norbert Theuretzbacher. 42-47
• Steps towards Common SenseLuc Steels. 49-54
• AI Programs and Cognitive Models: Models of Perceptual ProcessesDerek Partridge, Jim McDonald, Victor Johnston, Ken Paap. 55-60
• Model-Based Knowledge Acquisition for Heuristic Classification SystemsEnric Plaza, Ramon López de Mántaras. 61-66
• Induction and Dialogue in Specification Formalisation: An Object-Based ApproachB. S. Doherty, J. J. Stuart. 67-69
• Linguistic Constraints and Memory ManagementJon M. Slack. 70-72
• Acquiring and Complementing the Model for Diagnostic TasksHervé Lambert, Larry J. Eshelman, Yumi Iwasaki. 73-78
• On the Consistency of Knowledge Bases: The COVADIS SystemMarie-Christine Rousset. 79-84
• Knowledge Elicitation Techniques in Classification DomainsA. M. Burton, Nigel Shadbolt, G. Rugg, A. P. Hedgecock. 85-90
• Memory-Based Learner Model and its Application to a Game CoachKazuo Tanaka, Kazunari Kubota. 91-93
• Student Modeling Techniques in Foreign Language TutoringDanilo Fum, Paolo Giangrandi, Carlo Tasso. 94-96
• A Cognitive Model of Program Designer BehaviourJ. H. Sumiga, Babak Khazaei, Jawed I. A. Siddiqi. 97-99
• StatCons: Knowledge Acquisition in a Complex DomainPaul de Greef, Joost Breuker, Guus Schreiber, Jan Wielemaker. 100-105
• Research on HELP-Systems: Empirical Study and Model ConstructionJacobijn Sandberg, Joost Breuker, Radboud Winkels. 106-111
• A Survey of the Expert System Tool ZDEST-2Xuejun Tong, Zhijun He, Ruizao Yu. 113-118
• An Intelligent Help System for IdpacJan Eric Larsson, Per Persson. 119-123
• DRL: Terminologic and Relational Knowledge in PrologNicola Guarino. 130-135
• Fundamentals for a New Methodology for Inductive Theorem Proving: CM-Construction of Atomic FormulaeMarta Franová. 136-141
• Pictorial Knowledge RepresentationLars-Erik Janlert. 149-151
• Investigating the Usability of Expert Critiquing in Knowledge-Based Consultation SystemsSture Hägglund, Ivan Rankin. 152-154
• Two Kinds of Cognitive Science?Andy Clark. 155-157
• A Hybrid Genetic Algorithm for Pallet LoadingPatrick Prosser. 159-164
• Planning Robust AGV MovementsJames B. H. Kwa. 165-169
• TRAINS, An Active Time-Table SearcherEduard Tulp, Laurent Siklóssy. 170-175
• An Algorithm for Obtaining Action Sequences from a Procedures Knowledge BaseT. J. Grant. 176-181
• Production Planning Using a Temoral Planning ComponentAlfred Huber, S. Becker. 188-190
• A Sales Assistant for Chemical Measurement Equipment: SEARCHEMMina-Jaqueline Schachter-Radig, Diederich Wermser. 191-193
• Integrating Qualitative Reasoning ApproachesBert Bredeweg, Bob J. Wielinga. 195-201
• Inference Structure as a Basis for Problem SolvingWalter Van de Velde. 202-207
• Proper Names and Individual Concepts in SI-NetsMarcello Frixione, Salvatore Gaglio, Giuseppe Spinelli. 208-213
• A Global Theory of InheritanceWayne Wobcke. 214-219
• Protocols for Consistency Checking in Expert System Knowledge BasesMarc Ayel. 220-225
• Conflict Solving in a Frame-Like Multiple Inheritance SystemEugène Chouraqui, Philippe Dugerdil. 226-231
• The Use of Assertion-Time Inference in Logic-Based Knowledge BasesBernie Elfrink, Han Reichgelt. 232-237
• Using Coreference in Object-Oriented RepresentationsJacques Ferber, Philippe Volle. 238-240
• Extensions of Event-StructuresKurt Eberle. 241-246
• Toward a Hybrid Representation of TimeMassimo Poesio. 247-252
• A Qualitative Reasoning Approach to Fault AvoidanceAdam Farquhar. 253-255
• The Qualitative Modelling of Axis-Based Flow Systems: Methodology and ExamplesJosé Cuena. 256-258
• MILORE, a Meta-Level Knowledge Based Architecture for Production System ExecutionMarc Porcheron. 262-267
• Knowledge Representation for a Concept Tutoring SystemMike Sharples, Benedict du Boulay. 268-270
• Opium:::+:::, a Meta-Debugger for PrologMireille Ducassé. 272-277
• Implementation of a Parallel Prolog Sytem on a Commercial MultiprocessorJacques Chassin de Kergommeaux, Jean-Claude Syre, Harald Westphal. 278-283
• An Extended Prolog Machine for Dynamic Context HandlingMarco Cavalieri, Evelina Lamma, Paola Mello. 284-289
• Solving the Car-Sequencing Problem in Constraint Logic ProgrammingMehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck. 290-295
• Temporal PrologTomas Hrycej. 296-301
• Foundations of DISLOG, Programming in Logic with DiscontinuitiesPatrick Saint-Dizier. 302-304
• The Use of Explicit Interpretation to Control Reasoning about Protein TopologyStephen Owen, Richard Hull II. 308-313
• Analysing Novices Programs in a Prolog Intelligent Teaching SystemChee-Kit Looi. 314-319
• An Automatic Difference-List Transformation Algorithm for PrologJ. Zhang, P. W. Grant. 320-325
• Where s the Beef? The Absence of Pragmatic Factors in Pragmatic Theories of AnalogyMark T. Keane. 327-332
• Towards Intelligent Machine Learning AlgorithmsRobert E. Stepp, Bradley L. Whitehall, Lawrence B. Holder. 333-338
• Explanation-Based Generalisation of FailuresJ. L. de Siqueira N., Jean-Francois Puget. 339-344
• A Machine Learning Approach to Estimation for IC DesignJürgen Herrmann. 345-347
• Learning Redundant Rules in Noisy DomainsBojan Cestnik, Ivan Bratko. 348-350
• Connectionist Recruitment LearningJoachim Diederich. 351-356
• Information-Theoretic Rule InductionRodney M. Goodman, Padhraic Smyth. 357-362
• Concept Acquisition in an Integrated EBL and SBL EnvironmentFrancesco Bergadano, Attilio Giordana, Lorenza Saitta. 363-368
• Automating Rule Strengths in Expert SystemsMarco Valtorta. 369-371
• INDE: A System for Heuristic Knowledge RefinementP. P. Terpstra, Maarten van Someren. 372-374
• Grammatical Inference for Even Linear Languages Based on Control SetsYuji Takada. 375-377
• Constraining Search in a Hierarchical Discriminative Learning SystemJim Blythe. 378-383
• Improvement and Refinement of the Learning Bias SemanticJean-Gabriel Ganascia. 384-389
• Data Analysis Using a Learning Program, a Case Study: An Application of PLAGE to a Biological Sequence AnalysisOlivier Gascuel, Antoine Danchin. 390-395
• Induction through Knowledge Base NormalisationG. Deon Oosthuizen, D. R. McGregor. 396-401
• Consistency and Preference Criteria for Generalization Languages Handling Negation and DisjunctionJacques Nicolas. 402-407
• Quality of LearningWalter Van de Velde. 408-413
• A Strategic Framework for Multi-Agent Cooperative DialogueJulia Rose Galliers. 415-420
• A Conceptual Supervision Model in Computer Integrated ManufacturingJacqueline Ayel. 427-432
• Modelling Iterated Strategies: A Case StudyNigel R. Seel. 433-438
• A Testbed for Research on Cooperating AgentsDavid Connah, Martin Shiels, Peter Wavish. 445-447
• On the Simultaneous Interpretation of Real World Image Sequences and their Natural Language Description: The System SoccerElisabeth André, Gerd Herzog, Thomas Rist. 449-454
• A REPLAI of SOCCER: Recognizing Intentions in the Domain of Soccer GamesGudula Retz-Schmidt. 455-457
• Sentence Generation: From Semantic Representations to Sentences throughout Linguistic Definitions and Lexicon-GrammarMiyo Otani, Jean-Marie Lancel. 458-463
• A Qualitative Model of the ArticulatorsAnthony J. H. Simons. 464-466
• Unification with Disjunctive and Negative Values for GPSG GrammarsTsuneko Nakazawa, Laura Neher, Erhard W. Hinrichs. 467-472
• A Network Formalism for Representing Natural Language QuantifiersLeonardo Lesmo, Marina Berti, Paolo Terenziani. 473-478
• A Modal Proof Method for Doxastic Reasoning in Incomplete TheoriesPeter Jackson, Han Reichgelt. 480-485
• SHERLOCK: Hypothetical Reasoning in an Expert System ShellMarie-Odile Cordier. 486-491
• More on Stratified Default TheoriesNicole Bidoit, Christine Froidevaux. 492-494
• Transferable Belief Model Versus Bayesian ModelPhilippe Smets. 495-500
• In Search of a Modal System for Possibility TheoryDidier Dubois, Henri Prade, Claudette Testemale. 501-506
• Logics of Justified BeliefAllen L. Brown Jr.. 507-512
• Computing Circumscription of Horn TheoriesYves Moinard. 513-515
• A Formula Circumscriptively both Valid and UnprovablePhilippe Besnard, Jean Houdebine, Raymond Rolland. 516-518
• A Multiagent Planner for Reasoning with Incomplete Knowledge in a Distributed EnvironmentAntonio D Angelo, Claudio Mirolo, Enrico Pagello. 528-533
• Extending the Basic ATMSOskar Dressler. 535-540
• A Theorem Prover for Action PerformanceEmmanuel Lafon, Camilla Schwind. 541-546
• Solving Diagnostic Problems Using Extended Truth Maintenance SystemsGregory M. Provan. 547-552
• Automated Synthesis of Recursive Algorithms as a Theorem Proving ToolSusanne Biundo. 553-558
• An Implementation of Program Synthesis from Formal Specifications: PRECOMASMarta Franová. 559-564
• A Rational Reconstruction of Boyer and Moore s Technique for Constructing Induction FormulasAndrew Stevens. 565-570
• Elements in Temporal Reasoning in PlanningEdward P. K. Tsang. 571-573
• Chronological Minimization of Abnormality: Simple Theories of ActionWitold Lukaszewicz. 574-576
• A Reinforcement Approach to ScheldulingBing Liu. 580-585
• Translations from Epistemic into Dynamic LogicHeikki Tuominen. 586-588
• Intelligent Backtracking with Structured ContextsTomas Hrycej. 589-594
• Autoepistemic Predicate LogicIlkka Niemelä. 595-600
• A Non-Monotonic Deduction System Based on (A)TMSHartmut Freitag, Michael Reinfrank. 601-606
• Building Complex Derived Inference Rules: A Decider for the Class of Prenex Universal-Existential FormulasFausto Giunchiglia, Enrico Giunchiglia. 607-609
• Qualified Logic as a Means of Integrating Conceptual FormalismsJan Paredis. 610-612
• Discovering a Proof for the Fixed Point Theorem: A Case StudyKurt Ammon. 613-618
• Completeness and Definability in Diagnostic Expert SystemsJan Treur. 619-624
• Some Computational Aspects of an Order-Sorted Calculus: Order-Sorted Unification Using Compact Representation of ClausesGilles Chaminade. 625-630
• Computer-Aided Configuration of Gantry-RobotsSiegfried Bocionek. 632-637
• TOPAS: A Task-Oriented Planner for Optimized Assembly-SequencesPaul Levi. 638-643
• Integrating Spatio-Temporal Knowledge: A Hybrid ApproachGiovanni Adorni, Antonio Camurri, Agostino Poggi, Renato Zaccaria. 644-649
• Good Old Discrete RelaxationRoger Mohr, Gérald Masini. 651-656
• Hierarchies over Relational StructuresChristian Sielaff. 657-662
• Constructing Polygon Concepts from Line DrawingsKurt Ammon, Sebastian Stier. 663-665
• Image Analysis Using Iconic Fuzzy SetsWido Menhardt. 672-674
• A Biologically Based Algorithm for Rapid Scene AnalysisVictor Johnston, Patricia Lopez, Derek Partridge. 675-677
• Matching 3-D Images without Backtracking through Feature GroupingEric Thirion, Roger Mohr. 678-682
• Extraction of 3-D Information and Volumetric Uncertainty from Multiple Stereo ImagesEnrico Grosso, Giulio Sandini, Carlo Frigato. 683-688
• Some Thoughts on the Present and Future of Explanation-Based LearningGerald DeJong. 690-697
• Programming EnvironmentsChristopher J. Hogger. 698-706
• Future Developments in Artificial Intelligence: A Personal ViewErik Sandewall. 707-715
• Interaction among Intelligent Agents (Panel)Helder Coelho. 717-718
• Social Intentions (Panel)Eric Werner. 719-723
• What is Computation? (Panel Introduction)Jörg H. Siekmann, Sten-Åke Tärnlund, Aaron Sloman, Andy Clark, Margaret A. Boden. 724
• Computation, Connectionism and Content (Panel Statement)Andy Clark. 725-727
• What isn t Computation? (Panel Statement)Aaron Sloman. 728-730
• Computations as Inferences (Panel Statement)Sten-Åke Tärnlund. 731
• Partial Reconstruction of Coreferential Structure of DiscourseBarbara Dunin-Keplicz. 732-737