Table of Contents

• Knowledge-Intensive Case-Based Reasoning and Sustained LearningAgnar Aamodt. 1-6
• Heuristic Refinement of Logic ProgramsManfred Aben, Maarten van Someren. 7-12
• SB-ONE+: Dealing with Sets EfficientlyJürgen Allgayer. 13-18
• SIRAH: An Architecture for a Professional IntelligenceManuel Alonso, José Cuena, Martín Molina. 19-24
• SCHEMATA: A Language for DeductionCarlos Araya, Frank M. Brown. 38-40
• Interoperability of AI LanguagesGiuseppe Attardi, Mauro Gaspari, F. Saracco. 41-46
• Deductive/Abductvie Diagnosis: The DA-PrinciplesBéchir el Ayeb, Pierre Marquis, Michaël Rusinowitch. 47-52
• A Formal Definition for the Expressive Power of Knowledge Representation LanguagesFranz Baader. 53-58
• Probabilistic Belief LogicsFahiem Bacchus. 59-64
• Relevant BeliefsAfzal Ballim, Yorick Wilks. 65-70
• A General Consistency (Checking and Restoring) Engine for Knowledge BasesAlain Beauvieux, Philippe Dague. 77-82
• Context Knowledge and Search Control Issues in Object-Oriented Prolog-Based Image UnderstandingBenjamin Bell, Louis-François Pau. 83
• Biasing Induction by Using a Domain Theory: An Experimental EvaluationFrancesco Bergadano, Attilio Giordana, Lorenza Saitta. 84-89
• One Step in the Counter-Representationalist DirectionHugues Bersini. 90-95
• A Tutorial Dialogue Model to Encourage Externalisation and ReflectionAnn Blandford. 96-98
• An Extension to Kowalski & Sergot s Event CalculusMario Borillo, Bruno Gaume. 99-104
• Inheritance and Hypothetical Reasoning in Logic ProgrammingAntonio Brogi, Evelina Lamma, Paola Mello. 105-110
• Universal Quantification by Case AnalysisAntonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini. 111-116
• TalksBack: An Applicaation of AI Techniques to a Communication Prosthesis for the Non-SpeakingL. Broumley, John L. Arnott, A. Y. Cairns, Alan F. Newell. 117-119
• An Application of DATR: The TIC LexiconLynne J. Cahill, Roger Evans. 120-125
• The Semantics of MOLUSCLynne J. Cahill, Gerald Gazdar. 126-131
• Some Concepts on Analogic Planning in Assembly TasksAntonio Camurri, Marcello Frixione, Gianni Vercelli, Renato Zaccaria. 132-137
• Combining EBL from Success and EBL from Failure with Parameter Version SpacesClaudio Carpineto. 138-140
• Finding Object Configurations that Satisfy Spatial RelationshipsEnric Celaya, Carme Torras. 141-146
• Estimating Probabilities: A Crucial Task in Machine LearningBojan Cestnik. 147-149
• An Account of Paraphrase Using Elementary TransformationsGuy Chaty, N. Darcel, Daniel Kayser, Bernard Levrat. 150-152
• Integrating Models of the Correct Behavior into Abductive DiagnosisLuca Console, Pietro Torasso. 160-166
• Automating the Refinement of Knowledge-Based SystemsSusan Craw, Derek H. Sleeman. 167-172
• Analog Systems DiagnosisPhilippe Dague, Philippe Deves, Pierre Luciani, Patrick Taillibert. 173-178
• A Framework for Real-Time Problem SolvingH. Dai, T. J. Anderson, F. C. Monds. 179-185
• Explaining Reasoning from Knowledge Level ModelsJean-Marc David, Jean-Paul Krivine. 186-188
• Lamarckian Sub-Goal Reward in Genetic AlgorithmYuval Davidor. 189-194
• Towards a First Order Theory of Reasoning AgentsN. J. Davies. 195-200
• Shape from Binocular Disparity and Incomplete Knowledge of Baseline ParametersNiels da Vitoria Lobo, John K. Tsotsos. 201-203
• Genetic Programming: Evolution of a Time Dependent Neural Network Module which Teaches a Pair of Stick Legs to WalkHugo de Garis. 204-206
• On Negation and Three-Valued Logic in Interactive Concept-LearningLuc De Raedt, Maurice Bruynooghe. 207-212
• Contributions to a Proof Theory for Generic DefaultsRamiro A. de T. Guerreiro, Marco A. Casanova, Andrea S. Hemerly. 213-218
• Reinforcement Learning: Discovering Stable Solutions in the Robot Path Finding DomainJosé del R. Millán, Carme Torras. 219-221
• An Explanation Component for a Connectionist Inference SystemJoachim Diederich. 222-227
• Learning from Observation in Noisy Environments via Integration of EBL and SBL TechniquesLuigi Di Pace, F. Fabrocini. 228-233
• Elicitation and Verification of a Functional SpecificationB. S. Doherty, B. Pauly, J. Barthelemy. 234-239
• Identifying the Referents of Zero-Pronouns in Japanese Based on Pragmatic Constraint InterpretationKohji Dohsaka. 240-245
• An Efficient Method for Hybrid DeductionFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi. 246-252
• Problem Solving with the NM-ATMSOskar Dressler. 253-258
• Reasoning with Inconsistent Information in a Possibilistic SettingDidier Dubois, Henri Prade. 259-261
• Deterministic Modal Logics for Automated DeductionLuis Fariñas del Cerro, Andreas Herzig. 262-267
• A Resolution Calculus for a Logic Based on Vaguely Defined PredicatesDetlef Fehrer. 268-273
• Reducing Viewsphere ComplexityRobert B. Fisher. 274-276
• Redefining the Candidate Space in Model-Based DiagnosisGerhard Friedrich, Franz Lackinger, Wolfgang Nejdl. 277-282
• Graded Default Theories for UncertaintyChristine Froidevaux, C. Grossetete. 283-288
• Semantics and Validation Procedures of a Multi-Modal Logic for Formalization of Multi-Agent UniversesP. Gaborit, A. Potet, Claudette Sayettat. 289-291
• A Unification-Based Approach to Quantifier ScopingDale Gerdemann, Erhard W. Hinrichs. 292-297
• Computing SalienceBart Geurts. 298-300
• Providing Advice Through DialogueN. Gilbert, S. Buckland, David Frohlich, Marina Jirotka, Paul Luff. 301-307
• An Abductive Characterization of the TMSLaura Giordano, Alberto Martelli. 308-313
• Completion Based Inductive Theorem Proving: An Abstract Framework and its ApplicationsBernhard Gramlich. 314-319
• Semantic Interpretation of Tense, Actionality and AspectEnnio Grasso, Leonardo Lesmo, Vincenzo Lombardo, Pia M. Maccario, Roberto Salato, Paolo Terenziani. 320-325
• Skeptical Inheritance Can Be More ExpressiveÉric Grégoire. 326-332
• A Rule Application Control Method in a Lexicon-Driven Transfer Model of a Dialogue Translation SystemT. Hasegawa. 336-338
• Sentence Processing as Constraint TransformationKôiti Hasida. 339-344
• General Limitations on Machine LearningAchim G. Hoffmann. 345-347
• Subsumption Algorithms for Concept Description LanguagesBernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß. 348-353
• Hypotheses Generation for Knowledge ValidationThomas Hoppe. 354-356
• The Role of Goals in Dialog ControlHelmut Horacek, Michael Gerlach. 357-362
• Word Sequence Constraints for Japanese Speech RecognitionJunko Hosaka, Kentaro Ogura, Kiyoshi Kogure. 363-365
• Very Large Neural Networks for Word Sense DisambiguationNancy Ide, Jean Véronis. 366-368
• Cyclic-Clustering: A Compromise between Tree-Clustering and Cycle-Cutset Method for Improving Search EfficiencyPhilippe Jégou. 369-371
• Epistemic Logic, Probability and Multi-Agent Nonmonotonic ReasoningY. J. Jiang. 372-377
• How Time Changes AssumptionsC. Joubel, Olivier Raiman. 378-383
• On Measuring the Specificity of If - Then Rules (Abstract)Janusz Kacprzyk, M. Fredizzi. 384
• Thruth and the Interpretation of Natural Language: A Non-Monotonic Variable-Depth ApproachDaniel Kayser. 392-397
• Towards a Programming Methodology Founded on Partial DeductionHenryk Jan Komorowski. 404-409
• Scale-and-Orientation Independent Computer Pattern PerceptionAnne M. Landraud. 410-412
• A Theoretical Analysis of Recurrence GoalsP. Liu. 413-418
• Computational Representation of Mental Spaces: A Functional ApproachBernardo Magnini, Carlo Strapparava. 419-424
• Multiple Perspectives and Classification Mechanism in Object-Oriented RepresentationO. Marino, François Rechenmann, P. Uvietta. 425-430
• Default Reasoning in a Network EnvironmentZdravko Markov, Lydia Sinapova, Christo Dichev. 431-436
• A New Method to Checking Rule Bases for Inconsistency: A Petri Net ApproachPedro Meseguer. 437-442
• Strong Circumscription Specifies Stable Semantics of Normal Logic ProgramsPhan Minh Dung. 443-448
• Circumscription and Horn TheoriesYves Moinard. 449-454
• An Automatic System for Acquisition of Natural ConceptsPeter B. Musgrove, R. I. Phelps. 455-460
• HPSG-Based Lattice Parser for Spoken Japanese in a Spoken Language Translation SystemM. Nagata, Kiyoshi Kogure. 461-466
• Qualitative AstrophysicsAnil Nigam, R. Bhaskar. 470-472
• Analytical Learning of Inductive InferenceMasayuki Numao. 473-478
• Abstraction Tree Indexing for TermsHans Jürgen Ohlbach. 479-484
• Truth Tables for a Combinatorial Kernel of Set TheoriesEugenio G. Omodeo, Franco Parlamento, Alberto Policriti. 485-490
• A Cardinality-Based Approach to Incomplete KnowledgeBernd Owsnicki-Klewe. 491-496
• A Causation Theory for a Logic of Continuous ChangeT. Persson, L. Staflin. 497-502
• A Formal System for Reasoning about ChangeCarlos A. Pinto-Ferreira, João P. Martins. 503-508
• A Truth Maintenance Theory: An Alternative ApproachIvan Popchev, Neli Zlatareva, Marion Mircheva. 509-514
• Using Schemata to Interpret Images of Mechanical Engineering DrawingsTony P. Pridmore, S. H. Joseph. 515-521
• The Computational Complexity of Multiple-Context Truth Maintenance SystemsGregory M. Provan. 522-527
• A Discourse Approach to Verb Phrase AnaphoraHub Prüst, Remko Scha. 528-530
• Shedding Light on Patients Problems: Integrating Knowledge Based Systems into Medical PracticeAlan L. Rector, Carole A. Goble, Bernard Horan, T. J. Howkins, S. Kay, W. A. Nowlan, A. Wilson. 531-534
• Generative Knowledge for Computer TroubleshootingNancy E. Reed, Paul E. Johnson. 535-540
• A Specification Tool for Planning SystemsHan Reichgelt, Nigel Shadbolt. 541-546
• Automatic Acquisition of Terminological Knowledge from TextsUlrich Reimer. 547-549
• On the Equivalence of Constraint Satisfaction ProblemsFrancesca Rossi, Charles J. Petrie, Vasant Dhar. 550-556
• Saturation: Postponing Choices when Inverting ResolutionCéline Rouveirol. 557-562
• CARAMEL: A Computational Model of Natural Language Understanding Using a Parallel ImplementationGérard Sabah. 563-565
• Parsing Features in Solid Geometric ModelsS. A. Safier, Susan Finger. 566-572
• Identifying Noun Phrase References: The Topic Module of the AlFresco SystemVieri Samek-Lodovici, Carlo Strapparava. 573-578
• Reasoning about the World as Perceived by an AgentErik Sandewall. 579-584
• Formalizing Soft Constraints by Interpretation OrderingKen Satoh. 585-590
• Representing Continuous Change in the Event CalculusMurray Shanahan. 598-603
• Towards a Theory of Situated Know-HowMunindar P. Singh. 604-609
• A Hybrid Rule-Based/Bayesian ClassifierPadhraic Smyth, Rodney M. Goodman, Charles M. Higgins. 610-615
• PRAGMA: A System for Actively Capturing Procedural Knowledge via a Graphical InterfaceEdgar Sommer, Frank von Martial, Frank Victor. 616-621
• PCS: A Classifier System that Builds a Predictive Internal World ModelPiet Spiessens. 622-627
• Expectation Propositional LogicsDan C. Stefanescu. 628-633
• Towards a Theory of Mechanizable Theories: I, FOL Contexts: The Extensional ViewCarolyn L. Talcott, Richard W. Weyhrauch. 634-639
• Processes as Components: On the Primitives of a Qualitative Scientific PhysicsJan L. Top, Hans Akkermans. 643-648
• Applying Genetic Algorithms to Constraint Satisfaction Optimization ProblemsEdward P. K. Tsang, Terry Warwick. 649-654
• A Generic Tutoring EnvironmentKris Van Marcke. 655-660
• Mapping a Knowledge Level Analysis onto a Computational FrameworkJohan Vanwelkenhuysen, Philip Rademakers. 661-666
• A Conceptual Model for Building Sets of Test Samples for Knowledge BasesLaurence Vignollet, Marc Ayel. 667-672
• Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady?Mark Wallace. 682-687
• A Resolution Calculus with Dynamic Sort Structures and Partial FunctionsChristoph Weidenbach, Hans Jürgen Ohlbach. 688-693
• What Can Agents Do Together? A Semantics for Reasoning about Cooperative AbilityEric Werner. 694-701
• Nonmonotonic Dynamics of Default LogicMary-Anne Williams, Norman Y. Foo. 702-707
• A Theory of Knowledge in Situation SemanticsWayne Wobcke. 708-713
• Explicit Ordering of Defaults in ATMSJacek Wrzos-Kaminski, Agata Wrzos-Kaminska. 714-719
• Reference Choices in Mathematical ProofsX. Huang. 720-725
• A Method to Predict the Next Utterance Using a Four-Layered Plan Recognition ModelT. Yamaoka, H. Iida. 726-731
• Preprocessing Hierarchical Planning Knowledge for Efficient PlanningQ. Yang. 732-737
• Solving the Generalized Hitting Set ProblemsQ. Yang. 738-743
• A Hybrid Genetic Algorithm for a Logic ProblemR. A. Young, A. Reel. 744-746
• Tracking and Motion Estimation in a Sequence of Stereo FramesZhengyou Zhang, Olivier D. Faugeras. 747-752
• Why is Scheduling Difficult? A CSP PerspectiveMark S. Fox, Norman M. Sadeh. 754-767
• Belief Revision and Nonmonotonic Logic: Two Sides of the Same Coin?Peter Gärdenfors. 768-773
• Collaborative Planning for Discourse (Abstract)Barbara J. Grosz. 774-775
• ESPRIT Session: Artificial Intelligence in ESPRITGeorge Metakides, Brice Lepape. 778
• PROMETHEUS SessionErik Sandewall, Giovanni Adorni, Hans-Hellmut Nagel, Monique Thonnat. 779-780