Table of Contents

• A High Performance Scheduler for an Automated Chemistry WorkstationRobert J. Aarts, Stephen F. Smith. 3-7
• PMFP: The Use of Constraint-Based Programming for Predictive Personnel ManagementClaude Le Pape, Jean-Francois Puget, Colonel Moreau, Philippe Darneau. 8-12
• Scheduling Heuristics for the DRS-Sched SystemMarco Adinolfi, Amedeo Cesta. 13-17
• Similarity for Analogical Software Reuse: A Computational ModelGeorge Spanoudakis, Panos Constantopoulos. 18-22
• Acquisition of Information to Determine a User s PlanBhavani Raskutti, Ingrid Zukerman. 28-32
• Genetic Algorithms for Air Traffic AssignmentDaniel Delahaye, Jean-Marc Alliot, Marc Schoenauer, Jean-Loup Farges. 33-37
• A Case-Based Reasoning System Using a Control Case-BaseIsabelle Bichindaritz. 38-42
• DIAPO: A Case Study in Applying Advanced AI Techniques to the Diagnosis of a Complex SystemMarc Porcheron, Benoit Ricard, Jean Luc Busquet, Patrice Parent. 43-47
• Context-Sensitive Data Validation and Data Abstraction for Knowledge-Based MonitoringSilvia Miksch, Werner Horn, Christian Popow, Franz Paky. 48-52
• A Knowledge-Based Decision Support System for Selection PsychologistsIrene S. Y. Koh, Michael S. H. Heng. 53-57
• FAITH in Process Control Expert SystemsKai Finke, Matthias Jarke, Peter Szczurko, Roland Soltysiak. 58-62
• A Top Down Proof Procedure for Default Logic by Using AbductionKen Satoh. 65-69
• Abduction and Uncertainty in Compositional ReasoningBob Goedhart. 70-74
• Abduction and Concurrent Logic LanguagesChristian Codognet, Philippe Codognet. 75-79
• Reusing ProofsThomas Kolbe, Christoph Walther. 80-84
• Coloured Rippling: An Extension of a Theorem Proving HeuristicTetsuya Yoshida, Alan Bundy, Ian Green, Toby Walsh, David A. Basin. 85-89
• Refinements of Theory Model Elimination and a Variant without ContrapositivesPeter Baumgartner. 90-94
• Binary Constraint Satisfaction Problems: Some are Harder than OthersPatrick Prosser. 95-99
• The Phase Transition and the Mushy Region in Constraint Satisfaction ProblemsBarbara M. Smith. 100-104
• The SAT Phase TransitionIan P. Gent, Toby Walsh. 105-109
• Maximal Sets of Solutions for Constraint Satisfaction ProblemsDavid Lesaint. 110-114
• Global Consistency for Continuous ConstraintsDjamila Haroud, Boi Faltings. 115-119
• Partial Consistency for Constraint-Satisfaction ProblemsHachemi Bennaceur. 120-124
• Contradicting Conventional Wisdom in Constraint SatisfactionDaniel Sabin, Eugene C. Freuder. 125-129
• GSAT versus Simulated AnnealingAntje Beeringer, Gerd Aschemann, Holger H. Hoos, Michael Metzger, Andreas Weiss. 130-134
• A New Population-Based Method for Satisfiability ProblemsJin-Kao Hao, Raphaël Dorne. 135-139
• Top-Down Query Evaluation for Well-Founded Semantics with Explicit NegationJosé Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira. 140-144
• On the Translation of Higher-Order Problems into First-Order LogicManfred Kerber. 145-149
• Expressing Independence in a Possibilistic Framework and its Application to Default ReasoningSalem Benferhat, Didier Dubois, Henri Prade. 150-154
• Improvements on Linear-Space Search AlgorithmsHermann Kaindl, Angelika Leeb, Harald Smetana. 155-159
• Combining the Lazy Label Evaluation with Focusing Techniques in an ATMSMugur M. Tatar. 160-164
• Stubborness: A Possible Enhancement for Backjumping and Nogood RecordingThomas Schiex, Gérard Verfaillie. 165-172
• Attentional ScanningEric O. Postma, H. Jaap van den Herik, Patrick T. W. Hudson. 173-177
• On the Dynamics of Learner ModelsAna Paiva, John A. Self, Roger Hartley. 178-182
• Mental States Recognition from Speech Acts through AbductionAldo Franco Dragoni, Paolo Puliti. 183-187
• A Social Reasoning Mechanism Based On Dependence NetworksJaime Simão Sichman, Rosaria Conte, Cristiano Castelfranchi, Yves Demazeau. 188-192
• A Learner Model Reason Maintenance SystemAna Paiva, John A. Self. 193-196
• A Framework for Teaching Qualitative ModelsKees de Koning, Bert Bredeweg. 197-202
• The DUAL Cognitive Architecture: A Hybrid Multi-Agent ApproachBoicho N. Kokinov. 203-207
• Progress with the Tree-Structured Self-Organizing MapPasi Koikkalainen. 211-215
• Advantages of Using Prototypes in a Multi-Layer Perceptron and Comparison to Other Neural NetworksKhaled Khan. 216-220
• Problems with Using Genetic Algorithms for Neural Network Feature SelectionChris Hopkins, Tom Routen, Tim Watson. 221-225
• Applying Co-Evolution to the Construction of Neural NetworksSteve G. Romaniuk. 226-230
• Self-Organizing Neural Networks in Kansei Engineering Expert SystemShigekazu Ishihara, Keiko Ishihara, Yukihiro Matsubara, Mitsuo Nagamachi. 231-235
• On Attributed Relational Graph Matching Using Hopfield NetworkPonnuthurai N. Suganthan, Eam Khwang Teoh, Dinesh P. Mital. 236-240
• Modeling Multiagent Cooperation as Distributed Constraint Satisfaction Problem SolvingTaha Khedro, Michael R. Genesereth. 249-253
• On Fair Controls in Multi-Agent SystemsHans-Dieter Burkhard. 254-258
• An All-Pay Auction Approach to ReallocationJacques H. J. Lenting, Peter J. Braspenning. 259-263
• Symbol-Level Requirements for Agent-Level ProgrammingMauro Gaspari, Enrico Motta. 264-268
• Yet another Semantics of Goals and Goal PrioritiesJacques Wainer. 269-273
• Deviation-Proof Plans in Open Multiagent EnvironmentsSviatoslav Brainov. 274-278
• Coherent Social ActionMichael Wooldridge. 279-283
• Emergent Behaviour in a Multi-Agent Economic SituationPaul E. Kearney, Arvindra Sehmi, Robert M. Smith. 284-288
• Multi-Agent System Design: Using Human Societal Metaphors and Normative LogicGeof Staniford. 289-293
• Belief Revision in Multi-Agent SystemsBenedita Malheiro, Nicholas R. Jennings, Eugenio Oliveira. 294-298
• Beliefs in Multi-Agent Worlds: a Terminological Logics ApproachArmin Laux. 299-303
• A Formal Model for the Dynamics of Compositional Reasoning SystemsIoa Gavrila, Jan Treur. 307-311
• Multiple Access and Coherence Management in a Real-Time Temporal BlackboardVicente J. Botti, Alfons Crespo, Federico Barber, Ismael Ripoll. 312-316
• Knowledge Based Integration of Representation FormalismsGertjan van Heijst, Wilfried Post, Guus Schreiber. 319-323
• Rule Compilation and Optimization For Embedded Systems with Periodic Sensor DataFrank P. Coyle, Murat M. Tanik. 324-330
• Tests as Epistemic UpdatesBernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer. 331-335
• Possible Models Approach via IndependencyPierre Marquis. 336-340
• Base Revision Operations and Schemes: Semantics, Representation and ComplexityBernhard Nebel. 341-345
• Explanation and Theory Base TransmutationsMary-Anne Williams. 346-350
• The Production of Explanations, Seen as a Design Task: A Case StudyMarie-Hélène Gréboval, Gilles Kassel. 351-355
• Modal Logics for Conceptual Graphs IIIHarmen van den Berg. 356-360
• Skeptical and Credulous Event Calculi for Supporting Modal QueriesLuca Chittaro, Angelo Montanari, Alessandro Provetti. 361-365
• A Reconstruction of Rescher s Theory of Formal Disputation Based on Default LogicGerhard Brewka. 366-370
• Violated Obligations in a Defeasible Deontic LogicLeendert W. N. van der Torre. 371-375
• Prioritized Conflict Resolution for Default ReasoningJérôme Mengin. 376-380
• Reasoning by Cases without Contraposition in Default LogicYves Moinard. 381-385
• A Logical View of ProbabilityNic Wilson, Serafín Moral. 386-390
• A New Approach in Temporal Representation of Belief for Autonomous Observation and Surveillance SystemsPatrick Fabiani. 391-395
• Mereotopological Construction of Time from EventsFabio Pianesi, Achille C. Varzi. 396-400
• Reasoning about Action and Change Using OcclusionPatrick Doherty. 401-405
• Concept Logics with Function SymbolsHans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux. 406-410
• Domain-Specific Complexity TradeoffsBart Selman. 416-420
• The Inductive Inference of Cyclic Synchronized InterleavingBrian J. Ross. 423-427
• A Context-Sensitive Discretization of Numeric Attributes for Classification LearningChanghwan Lee, Dong-Guk Shin. 428-432
• Exploiting Causal Domain Knowledge for Learning to Control Dynamic SystemsAchim G. Hoffmann. 433-437
• Learning in Classifier Systems is HardUwe Hartmann. 438-442
• Learning by Refining Algorithm SketchesPavel Brazdil, Alípio Jorge. 443-447
• Iterative Model Construction with RegressionMajorie Moulet. 448-452
• Improvement of the Exploration of the Search Space of a Top-Down Algorithm: Theoretical and Experimental ResultsPierre Brézellec, Henry Soldano. 458-462
• The Need for Knowledge Acquisition in Case-Based Reasoning - Some Experiences from an Architectural DomainAngi Voß. 463-467
• Combining Robustness and Flexibility in Learning Drifting ConceptsGerhard Widmer. 468-472
• Concept Versioning: A Methodology for Tracking Evolutionary Concept Drift in Dynamic Concept SystemsManfred Klenner, Udo Hahn. 473-477
• Performance Evaluation of a Novel Fault Tolerance Training AlgorithmHamed Elsimary, Samia Mashali, Ahmed M. Darwish, Samir I. Shaheen. 478-482
• Learning Disjunctive Concept Definitions Using a Genetic AlgorithmAttilio Giordana, Lorenza Saitta, Floriano Zini. 483-486
• A Framework to improve Knowledge Acquisition based on Machine LearningAndré Le Grand, Jean Sallantin. 493-497
• Reconstructing Human Skill with Machine LearningTanja Urbancic, Ivan Bratko. 498-502
• Using Models of Problem Solving as Bias in Automated Knowledge AcquisitionHerman J. H. van Dompseler, Maarten van Someren. 503-507
• Operationalizing Conceptual Models Based on a Model of DependenciesFrank Maurer, Jürgen Paulokat. 508-514
• Being Concise versus Being Shallow: Two Competing Discourse Planning ParadigmsIngrid Zukerman, Richard McConachy. 515-519
• How to Avoid Explaining Obvious Things (Without Omitting Central Information)Helmut Horacek. 520-524
• Forward Inferences in Text GenerationStephan Mehl. 525-529
• Generating Examples For Use in Tutorial Explanations: Using a Subsumption Based ClassifierVibhu O. Mittal, Cécile Paris. 530-534
• The Automated Evaluation of Inferred Word ClassificationsJohn Hughes, Eric Atwell. 535-539
• Interpreting Common Words in Context: a Symbolic ApproachViolaine Prince. 545-549
• Intrinsic Error Estimation for Corpus-Trained Probabilistic Language ModelsUwe Jost, Eric Atwell. 550-554
• Parsing of Spoken Language under Time ConstraintsWolfgang Menzel. 560-564
• Hypothetical Reasoning for Automatic Recognition of Continuous SpeechSylvie Coste-Marquis. 565-572
• A New Formal Model of BeliefDaniel Mack. 573-577
• Exploration in Design SpaceAaron Sloman. 578-584
• A Decomposition Heuristic for Resource AllocationBerthe Y. Choueiry, Boi Faltings. 585-589
• A Promising Hybrid GA/Heuristic Approach for Open-Shop Scheduling ProblemsHsiao-Lan Fang, Peter Ross, David Corne. 590-594
• Inference and Optimization Methods for Manufacturing Process PlanningAndrás Márkus, József Váncza. 595-599
• An Efficient Data Structure for Bidirectional Heuristic SearchJürgen Eckerle, Thomas Ottmann. 600-604
• Correct Modification of Complex PlansJana Koehler. 605-609
• Executing Parallel Plans Faster by Adding ActionsChrister Bäckström. 615-619
• Integrating Probabilistic Reasoning into Plan RecognitionMathias Bauer. 620-624
• Combining Constraint Network and Causal Theory to Solve Scheduling Problems from a CSP PerspectiveRobert Rodosek. 630-634
• Constraint Satisfaction for Multiple Capacitated Job Shop SchedulingW. P. M. Nuijten, Emile H. L. Aarts. 635-639
• Job Cost and Constraint Relaxation for Scheduling Problem Solving in the CLP ParadigmPeng Ye, Derrick Glass, Michael F. McTear, John G. Hughes. 640-644
• The Use of Model-Based Diagnosis in RedesignR. R. Bakker, S. J. M. van Eldonk, P. M. Wognum, Nicolaas J. I. Mars. 647-651
• Using Domain Knowledge to Select Solutions in Abductive DiagnosisFrank van Harmelen, Annette ten Teije. 652-656
• Computing Minimal Diagnoses with Critical Set AlgorithmsIgor Mozetic. 657-661
• Model-Based ControlEric Sauthier, Boi Faltings. 662-666
• Harnessing the Power of Temporal Abstractions in Model-Based Diagnosis of Dynamic SystemsWolfgang Nejdl, Johann Gamper. 667-671
• Simulating Physical Systems with Relative Descriptions of ParametersMichael Neitzke, Bernd Neumann. 672-676
• Model-Based Diagnosis with the Default-Based Diagnosis Engine: Effective Control Strategies that Work in PracticeOskar Dressler, Peter Struss. 677-681
• The Interaction of Congenial Autonomous RobotsJacques Penders, Lyuba Alboul, Peter J. Braspenning. 694-698
• The Stream Field Method Applied to Mobile Robot Navigation: a Topological PerspectiveDidier Keymeulen, Jo Decuyper. 699-703
• Neural Fuzzy Controller In Behavior-Oriented ArchitecturesSteffen Förster. 704-708
• Modelling Interacting Agents in Dynamic EnvironmentsJörg P. Müller, Markus Pischel. 709-713
• Equilibrium Analysis of Behavior SystemsLuc Steels. 714-718
• DICK: Distributed Inference on Compiled Knowledge for Real Time Distributed SystemsEric Dekneuvel, Malik Ghallab, Herve Philippe. 719-726
• A Constructivist View on Knowledge EngineeringWalter Van de Velde. 727-731
• FRAMER: A Persistent Portable Representation LibraryKenneth B. Haase. 732-738
• Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical FormalismsMarie-Christine Rousset. 739-743
• A Logical Foundation for VerificationJan Treur, Mark Willems. 745-749
• Qualitative Algorithmics Using Order of Growth ReasoningAntoine Missier, Spyros Xanthakis, Louise Travé-Massuyès. 750-754
• Categorical Tools for Artificial PerceptionZippora Arzi-Gonczarowski, Daniel J. Lehmann. 757-761
• A New Approach to Shading Flow Analysis and Surface Recovery from ImagesFranco Callari, Pietro Storniolo. 762-766
• Multispecialist System for 3D Scene AnalysisFadi Sandakly, Gérard Giraudon. 767-771
• Towards an Axiomatic Theory of Artificial PerceptionAndranik Tangian. 772-778
• Computers and Creative ThoughtErnest A. Edmonds. 779-784
• Knowledge ManagementJos Schreinemakers, Jean-Paul A. Barthès, David S. Brée, R. van der Spek, Karl M. Wiig. 785-788
• The Future of AI FundingRobert Milne, Jean-Paul A. Barthès, Patrick Corsi. 789-792
• Active Vision: A SurveyHenrik I. Christensen, Erik Granum. 793-798
• AI and A-Life: Never Mind The BlocksworldDave Cliff. 799-804
• Current and Future Trends for Community Research and Development in Artificial intelligencePatrick Corsi. 805-810
• Theoretical Planning and its Contributions to Practical and Applied PlanningJoachim Hertzberg. 811-812
• Learning and intelligent AgentsLeslie Pack Kaelbling. 813
• Neural Learning for Robot ControlCarme Torras. 814-822
• Interaction and Collaboration in Multi-agent SystemsSarit Kraus. 823-825
• Causation, Action and CounterfactualsJudea Pearl. 826-828
• Computational Models of Multimodal CommunicationWolfgang Wahlster. 829-830