Table of Contents

• Efficient Memory-Bounded Search MethodsStuart J. Russell. 1-5
• Strengthening Heuristics for Lower Cost Optimal and Near Optimal Solutions in A* SearchAnna Bramanti-Gregor, Henry W. Davis, F. G. Ganschow. 6-10
• Single Machine Scheduling as a Graph Search Problem with Path-Dependent Arc CostsR. Ramaswamy, Anup K. Sen. 11-15
• A New Approach to Dynamic WeightingAndreas L. Köll, Hermann Kaindl. 16-17
• Symmetries and the Cardinality OperatorAlfonso San Miguel Aguirre. 18-22
• Arc-Consistency for Non-Binary Dynamic CSPsChristian Bessière. 23-27
• How to Solve the Zebra Problem, or Path Consistency the Easy WayBarbara M. Smith. 36-37
• Dealing with Multi-Source Information in Possibilistic LogicDidier Dubois, Jérôme Lang, Henri Prade. 38-42
• Quantitative Modal Logic and Possibilistic ReasoningChurn-Jung Liau, Bertrand I-Peng Lin. 43-47
• Qualitative Belief NetworksSimon Parsons. 48-50
• Plausible Reasoning in Bayesian NetworksChun-Hung Tzeng. 51-52
• Probabilistic Reasoning in Mixed Models Using Bayesian Belief Networks And its ApplicationZ. Luo. 53-54
• Graphical Theorem Proving: An Approach to Reasoning with the Help of DiagramsDave Barker-Plummer, Sidney C. Bailin. 55-59
• Unifying CyclesJörg Würtz. 60-64
• Adapting a Resolution Calculus for Inductive ProofsDieter Hutter. 65-69
• A Simple Proof for the Pigeonhole FormulaeUwe Egly. 70-71
• An Adaptation of Proof-Planning to Declarer Play in BridgeIan Frank, David A. Basin, Alan Bundy. 72-76
• Tree Subsumption: Reasoning with OutlinesFausto Giunchiglia, Toby Walsh. 77-81
• A Simplification-Based Approach to Program SynthesisEmmanuel Kounalis. 82-86
• Predicate Synthesis from Formal SpecificationsMarta Franová, Yves Kodratoff. 87-91
• Stable Model Semantics and its Computation for Ordered Logic ProgramsNicola Leone, Pasquale Rullo. 92-96
• A Refined Semantics for Disjunctive Logic ProgramsJianhua Chen. 97-101
• Well Founded Semantics for Logic Programs with Explicit NegationLuís Moniz Pereira, José Júlio Alferes. 102-106
• Negation as ExceptionVladimir Kuznetsov. 107-108
• Data Structures and Typed Logic ProgramsPatricia M. Hill. 109-113
• ATMS for Implementing Logic ProgrammingAntonio Brogi, Evelina Lamma, Paola Mello. 114-118
• An Assumption-Based Truth Maintenance System Dealing wills Non-Ground JustificationsEvelina Lamma, Paola Mello. 119-123
• Solving the Large-Scale 0-1 Integer Programming Problem Using an Assumption-Based MethodH. Hara. 124-128
• A Formalization of Generalization-Based Analogy in General Logic ProgramsNoboru Iwayama, Ken Satoh, Jun Arima. 129-133
• A Strategy for the Computation of Conditional AnswersRobert Demolombe. 134-138
• A Relevancy Knowledge Model of Analogical ReasoningY. Huang, A. E. Adam. 139-143
• A Specialisation Calculus to Improve Expert Systems CommunicationJosep Puyol-Gruart, Lluis Godo, Carles Sierra. 144-148
• Abduction and Constraint Logic ProgrammingEnrico Maim. 149-153
• On the Relationship between Partial Deduction and Abductive ReasoningThomas Hoppe. 154-158
• Reactive AbductionAnnika Wærn. 159-163
• A Model of Representation and Communication of Music and Multimedia KnowledgeAntonio Camurri, Carlo Innocenti, Marcello Frixione, Renato Zaccaria. 164-168
• Artificial Perception and Music Recognition: A Heuristic ApproachAndranick Tanguiane. 169-173
• Conceptual Scaffolding: Using Metaphors to Build Knowledge StructuresTony Veale, Mark T. Keane. 174-178
• Rhetorical Relations in a Model of Information-Seeking DialoguesStefan Sitter, Elisabeth Maier. 179-180
• Recognizing and Revising Unconvincing ExplanationsAlex Quilici. 181-182
• A Hybrid and Connectionist Architecture for a Scanning UnderstandingStefan Wermter. 188-192
• Universal Approximation Using Feedforward Neural Networks with Gaussian Bar UnitsVera Kurková. 193-197
• A Partially Recurrent Connectionist ModelAbhay B. Bulsari, Henrik Saxén. 198-202
• On the Virtues of Functional Connectionist CompositionalityGeorg Dorffner, Manfred Rotter. 203-205
• Recurrent and Feedforward Networks for Human-Computer InteractionJoachim Diederich, Andreas Thümmel, E. Bartels. 206-207
• Knowledge Acquisition with Self-Organizing Neural NetworksAlfred Ultsch. 208-210
• Genetic Neural Networks for Financial Markets: Some ResultsSergio Margarita. 211-213
• A Collision Avoiding Six Legged Walking Machine Based on Kohonen Feature MapsPaolo Ferrara, Alois Ferscha, Günter Haring. 216-218
• A Contract Net with Consultants: An Alternative Architecture and Experimental ResultsGil Tidhar, Jeffrey S. Rosenschein. 219-223
• Towards a Cooperation Knowledge Level For Collaborative Problem SolvingNicholas R. Jennings. 224-228
• Reaching Agreement through Partial Revelation of PreferencesEithan Ephrati, Jeffrey S. Rosenschein. 229-233
• A First-Order Branching Time Logic of Multi-Agent SystemMichael Wooldridge, Michael Fisher. 234-238
• SAM: A Model to Design Complex Computational Social AgentsThierry Bouron, Anne Collinot. 239-243
• A Comparison of Architectures for Autonomous Multi-Agent CommunicationAlison Cawsey, Julia Rose Galliers, Steven Reece, Karen Sparck Jones. 249-251
• A Multi-Agent Model for the Resource Allocation Problem: A Reactive ApproachKhaled Ghédira, Gérard Vertfaillie. 252-254
• A Summary of Coupled Expert Systems Building Toolkit ZIPEZ. Wu, T. Huang, J. Ying, Z. He. 257-261
• A Real Time Blackboard Based ArchitecturePhilippe Lalanda, François Charpillet, Jean-Paul Haton. 262-266
• On Efficient Load Balancing for Parallel Execution of Production SystemsE. Bahr, Franz Barachini, Hans Mistelberger. 267-271
• Formal Specification of Compositional ArchitecturesI. van Langevelde, A. Philipsen, Jan Treur. 272-276
• Business Event Oriented Information Systems Based on Meta ProgrammingNorbert Kehrer, Gustaf Neumann. 277-281
• The Edinburgh Designer System: An Architecture for Solving Ill-Structured ProblemsBrian Logan, David Corne, Tim Smithers. 282-286
• Neural Networks and Logic Programming - a Hybrid Model and its Applicability to Building Expert SystemsNikola K. Kasabov, S. H. Petkov. 287-288
• Default Theories of Poole-Type and a Method for constructing Cumulative Versions of Default LogicJürgen Dix. 289-293
• FONML3 - A First-Order Non-monotonic Logic with Explicit DefaultsPatrick Doherty, Witold Lukaszewicz. 294-298
• Constructive Default Logic and the Control of defeasible reasoningYao-Hua Tan, Jan Treur. 299-303
• On Constrained Default TheoriesTorsten Schaub. 304-308
• Default Logic and Constructive LogicDavid Pearce. 309-313
• From Ordering Based Nonmonotonic Reasoning to Conditional LogicsLuis Fariñas del Cerro, Andreas Herzig, Jérôme Lang. 314-318
• Approximate Inference in Default Logic and CircumscriptionMarco Cadoli, Marco Schaerf. 319-323
• On the Use of Epistemic Entrenchment in Non-monotonic ReasoningWayne Wobcke. 324-328
• Circumscriptions as Preferential EntailmentYves Moinard. 329-333
• A Unifying Framework for Nonmonotonic ReasoningIlkka Niemelä. 334-338
• A Complete Revision Function in Propositional CalculusOdile Papini. 339-343
• On the Computational Complexity of Planning and Story UnderstandingChrister Bäckström, Bernhard Nebel. 349-353
• Tractable Instances of Some Hard Deduction ProblemsMukesh Dalal. 354-358
• Planning as SatisfiabilityHenry A. Kautz, Bart Selman. 359-363
• A Critical Examination of Use Cohen-Levesque Theory of IntentionsMunindar P. Singh. 364-368
• Diagnostic Reasoning Across Different Time PointsLuca Console, Luigi Portinale, Daniele Theseider Dupré, Pietro Torasso. 369-373
• Temporal Inference with a Point Based Interval AlgebraAntónio Porto, Cristina Ribeiro. 374-378
• Support for Resolving Contradictions in Time Interval NetworksAchim Weigel, Rainer Bleisinger. 379-383
• Temporal Reasoning with Abductive Event CalculusMarc Denecker, Lode Missiaen, Maurice Bruynooghe. 384-388
• An Interval Logic for Space Based on Connection David A. Randell, Zhan Cui, Anthony G. Cohn. 394-398
• A Geometrical Approach to Depictional Representation of Spatial RelationsJörg-Peter Mohren, J. Müller. 399-402
• On the Use of Epistemic Entrenchment in Reasoning about ActionPavlos Peppas, Wayne Wobcke. 403-407
• A First Order Theory of Knowledge, Belief and ActionN. J. Davies. 408-412
• Default Logic for Action Rule-Based SystemsChristine Froidevaux. 413-417
• Real Time Knowledge Representation and Reasoning About Real TasksAntonio Camurri, Gianni Vercelli, Renato Zaccaria. 418-419
• Retraction in Terminological Knowledge BasesCarsten Kindermann. 420-424
• Subsumption and Classification-Based Reasoning in Object-Based RepresentationsAmedeo Napoli. 425-429
• Learning the Goal Relevance of Actions in Classifler SystemsGerhard Weiß. 430-434
• Statistical Significance in Inductive LearningOlivier Gascuel, Gilles Caraux. 435-439
• Employing Linear Regression in Regression Tree LeavesAram Karalic. 440-441
• Inductive Learning of Effective and Efficient Classification RulesG. Kalkanis, Gerard V. Conroy. 442-443
• Stochastic Search in Inductive Logic ProgrammingMatevz Kovacic, Nada Lavrac, Marko Grobelnik, Darko Zupanic, Dunja Mladenic. 444-445
• Building up Inductive Generalizations from FactsPierre Marquis. 446-450
• Comparison of Search Strategies in Learning RelationsMarco Botta, Attilio Giordana, Lorenza Saitta. 451-455
• Inverse Resolution in an Integrated Inductive-Deductive Learning SystemHilde Adé, Luc De Raedt, Maurice Bruynooghe. 456-457
• Conceptual Clustering in a First Order Logic RepresentationGilles Bisson. 458-462
• Learning Flexible Concepts from Streams of Examples: FLORA 2Gerhard Widmer, Miroslav Kubat. 463-467
• Intuitive Classification Based on AffinityY. Saito, S. Tojo, S. Komiya. 468-470
• Shift of Bias without OperatorsClaudio Carpineto. 471-473
• How to Specialize by Theory RefinementClaire Nedellec. 474-478
• Learning to Control Inconsistent KnowledgeMichèle Sebag, Marc Schoenauer. 479-483
• Why Generalize? Hybrid Representations and Instance-Based LearningPaul D. Scott, K. H. Sage. 484-486
• Oriented Shift of Representational Bias for Elementary PatternsA. Samuel, F. Raynaut. 487-489
• Generating Causal Explanations: From Qualitative Models to Natural Language TextsFarid Cerbah. 490-494
• Lexical Choice and the Organization of Lexical Resources in Text GenerationLeo Wanner. 495-499
• Explanations for Constraint SystemsHelmut Horacek. 500-504
• Effects of Incremental Output on Incremental Natural Language GenerationWolfgang Finkler, Anne Schauder. 505-507
• Parsing as Deduction: Rules versus PrinciplesMatthew W. Crocker, Ian Lewin. 508-512
• A Preferential Constraint Satisfaction Technique for Natural Language AnalysisKatashi Nagao. 523-527
• Computing the Temporal Structure of Events in Natural LanguageMona Singh, Munindar P. Singh. 528-532
• Presupposition, Anaphora, and Reasoning about ChangeSven Lorenz. 533-537
• Comparison in NLIs - Habitability and Database RealityWolfgang Heinz, Johannes Matiasek, Harald Trost, Ernst Buchberger. 548-552
• Management of Hypotheses in an Integrated Speech-Language ArchitectureClaudius Pyka. 558-560
• Competitive Hypothesis Resolution in TWIG, a Blackboard-Driven Text Understanding SystemTony Veale, Padraig Cunningham. 561-563
• Identification of Domain-Specific Terminology by Combining Mutual Information and Lexical InductionC. Gierl, Daniel Frost. 564-566
• Generic Specialists in Competent BehaviourAngi Voß, Werner Karbach, Carl-Helmut Coulon, Uwe Drouven, Brigitte Bartsch-Spörl. 567-571
• Reflective Strategic Control of Multiple Problem Solving MethodsMartin Reinders, Bert Bredeweg. 577-581
• (ML)2: A Formal Language for KADS ModelsFrank van Harmelen, John Balder. 582-586
• Déjà Vu: A Hierarchical Case-Based Reasoning System for Software DesignBarry Smyth, Padraig Cunningham. 587-589
• Incorporating Similarity Measures into Case Retrieval Using Analogue Marker PassingM. Brown. 590-592
• Applying Linguistic Engineering to Spatial Software Engineering: the Traceabiiity ProblemMario Borillo, Andree Borillo, Núria Castell, D. Latour, Yannick Toussaint, Felisa Verdejo. 593-595
• The Maquette-Based Methodology Applied to Real-Time Knowledge-Based SystemsXavier Alamán Roldán, Idoia Alarcón, Erik de Pablo, Jose Luis Zaccagnini. 596-600
• The Role of Knowledge Level Models in Situated Adaptive DesignPhilip Rademakers, Rolf Pfeifer. 601-602
• Enhancing Genetic Search to Schedule a Production UnitBogdan Filipic. 603-607
• Engineering Optimizations Using the Structured Genetic AigorithmDipankar Dasgupta, Douglas R. McGregor. 608-609
• Phenomenology, Representations and ComplexityAchim G. Hoffmann. 610-614
• Logical Foundations of a Modal Defeasible Relevant Logic of BeliefGerson Zaverucha. 615-619
• On the Non-Existence of Knowledge Level ModelsErik Vinkhuyzen. 620-622
• Arguments, Contradicitions and Practical ReasoningJohn Fox, Paul Krause, Simon Ambler. 623-627
• Deductive Planning and Plan Reuse in a Command Language EnvironmentSusanne Biundo, Dietmar Dengler, Jana Koehler. 628-632
• A Logical Framework for Practical PlanningStephen Cranefield. 633-637
• Beyond the Single Planning Paradigm: Introspective PlanningPaolo Traverso, Alessandro Cimatti, Luca Spalazzi. 643-647
• Reason Maintenance Systems for Multiagent PlanningKumar Tadepalli, N. Parameswaran. 648-652
• Automatically Synthesising Domain Constraints from Operator DescriptionsG. Kelleher, Anthony G. Cohn. 653-655
• Solving the Find-Path Problem in 3D by a Simple Object ModelAngel P. Del Pobil, Miguel A. Serna. 656-660
• Building Reactive Path-Finders through Reinforcement Connectionist Learning: Three Issues and an ArchitectureJosé del R. Millán. 661-665
• Collision-Free Movement of an Autonomous Vehicle Using Reinforcement LearningD. Kontoravdis, Aristidis Likas, Andreas Stafylopatis. 666-670
• Using Genetic Algorithms for Robot Motion PlanningJuan Manuel Ahuactzin, El-Ghazali Talbi, Pierre Bessière, B. Mazer. 671-675
• Planning, Execution and Sensor-Based Reaction for Assembly Robotic TasksCarlos Ramos, Eugenio Oliveira. 676-680
• Grasp Planning for Automatic Assembly Tasks Using Artificial FieldsLuca Maria Gambardella, M. Haex. 681-682
• Modeling Physical Systems with Relative Descriptions of ParametersMichael Neitzke. 683-684
• PQS: I dont know Is an Important Qualitative StatementA. F. Toal. 685-686
• Domain Modeling for Monitoring SystemsJ. Primus, Boi Faltings. 687-688
• The Data Association Problem when Monitoring Robot Vehicles Using Dynamic Belief NetworksAnn E. Nicholson, Michael Brady. 689-693
• Formalizing Expertise Qualitative OperatorsN. Bousson, Louise Travé-Massuyès. 694-698
• Cognitive Diagnosis for Tutoring SystemsJohn A. Self. 699-703
• Crossroad DiagnosisPearl Pu, Y. Huang. 704-708
• Formaiizing the Repair ProcessGerhard Friedrich, Georg Gottlob, Wolfgang Nejdl. 709-713
• Back to Defatilts: Characterizing and Computing Diagnoses as Coherent Assumption SetsOskar Dressler, Peter Struss. 719-723
• Explanatory Diagnoses and their Computation by CircumscriptionPhilippe Besnard, Marie-Odile Cordier. 724-728
• A Polynomial-time Algorithm for Model-Based DiagnosisIgor Mozetic. 729-733
• Pragmatic Reasoning in Model-Based DiagnosisR. R. Bakker, M. Bourseau. 734-738
• Evaluating the Behaviour of the BAe 146 Hydraulic System Using the Doris SystemJ. Bradshaw, R. Michael Young. 739-743
• Dynamic Constraint Propagation with Continuous VariablesBoi Faltings, Djamila Haroud, Ian F. C. Smith. 754-758
• Accessing Information through GraphicsCristina Conati, Jon M. Slack. 759-763
• From Presentation Tasks to Pictures: Towards a Computational Approach to Graphics DesignThomas Rist, Elisabeth André. 764-768
• A Uniform Memory-Based Representation for Visual LanguagesAnil S. Chakravarthy, Kenneth B. Haase, L. M. Weitzman. 769-773
• The Presentation Manager, A Method for Task- Driven Concept PresentationS. Oei, R. Smit, Jos Schreinemakers, L. Marinos, J. Sirks. 774-775
• The Mapping Between Geometric and Symbolic Knowledge in Artificial Vision: A Connectionist ApproachEdoardo Ardizzone, Franco Callari, Antonio Chella, Salvatore Gaglio. 776-780
• Analogical Representation of Spatial Events for Understanding Traffic BehaviourRichard J. Howarth, Hilary Buxton. 785-789
• From Multiple Objects Motion Analysis To Behavior-Based Object RecognitionNassir Navab, Z. Zhang. 790-794
• Hypotheses Management for Scene Interpretation in a Multisensory Perception MachineEric Dekneuvel, Malik Ghallab, J.-P. Thibault. 795-799
• Active Head Movements Help Solve Stereo CorrespondenceQuang-Tuan Luong, Olivier D. Faugeras. 800-802
• Saccadic Object Recognition with an Active Vision SystemGerd-Jürgen Giefing, H. Janßen, Hanspeter A. Mallot. 803-805
• On Computing the Next Look Camera Parameters in Active VisionPaolo Remagnino, Josef Kittler, G. Matas, John Illingworth. 806-807
• A Bottom-Up Attention System for Active VisionRuggero Milanese, Jean-Marc Bost, Thierry Pun. 808-810
• Visual Obstacle Detection by a Geometrically Simplified Optical Flow ApproachStefan Bohrer, Michael Brauckmann, Werner von Seelen. 811-815
• An Occlusion-Based Representation of Shape for Viewpoint RecoveryW. Brent Seales, Charles R. Dyer. 816-820
• Dense Depth Recovery From Stereo ImagesLuc Robert, Rachid Deriche, Olivier D. Faugeras. 821-823
• Recovering and CAD/CAM Processing of Complex SurfacesMariofanna G. Milanova, I. A. Aleksandrov, Roumen Kountchev. 824-825
• Model Indexing Based on a Graph-Theoretic ApproachHumberto Sossa, Radu Horaud. 826-828
• Proposals for a Valid Terminology in KBS ValidationJean-Pierre H. Laurent. 829-834
• Verifying Knowledge Bases by Anomaly Detection: An Experience ReportAlun D. Preece, Rajjan Shinghal. 835-839
• Incremental Verification of Rule-Based Expert SystemsPedro Meseguer. 840-844
• A Third Modailty of Natural Language?Oliviero Stock. 853-862
• Knowledge-based Diagnosis - An Important Challenge and Touchstone for AIPeter Struss. 863-874
• Perception and Action in Autonomous SystemsStanley J. Rosenschein. 875-874