Table of Contents

• Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic MergingSalem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. 3-7
• Kalman-like Filtering in a possibilistic SettingSalem Benferhat, Didier Dubois, Henri Prade. 8-12
• Iterated Revision by Epistemic States: Axioms, Semantics and SyntaxSalem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino Pérez. 13-17
• Declarative Representation of Revision StrategiesGerhard Brewka. 18-22
• Compiling Stratified Belief BasesSylvie Coste-Marquis, Pierre Marquis. 23-27
• A Conditional Logic for Iterated Belief RevisionLaura Giordano, Valentina Gliozzi, Nicola Olivetti. 28-32
• Classical, General Frameworks for RecoveryWiebe van der Hoek, Cees Witteveen. 33-37
• How to Revise Ranked ProbabilitiesEmil Weydert. 38-44
• An Algorithm for Adaptation in Case-based ReasoningBéatrice Fuchs, Jean Lieber, Alain Mille, Amedeo Napoli. 45-49
• Focusing Search by Using Problem Solving ExperienceEyke Hüllermeier. 50-54
• Similarity-based Inference as Evitential ReasoningEyke Hüllermeier. 55-59
• Competence-guided Editing Methods for Lazy LearningElizabeth McKenna, Barry Smyth. 60-64
• Picture Perfect: Visualisation Techniques for Case-based ReasoningBarry Smyth, Mark Mullins, Elizabeth McKenna. 65-72
• Differentiating Diagnosis Theories through Constaints over an Eight-valued LogicFrancisco Azevedo, Pedro Barahona. 73-77
• Tractable Sets of the Generalized Interval AlgebraJean-François Condotta. 78-82
• A Formalization of Structured Temporal Objects and RepetitionDiana Cukierman, James P. Delgrande. 83-87
• A Property of Path Inverse Consistency Leading to an Optimal PIC AlgorithmRomuald Debruyne. 88-92
• A Framework for Dynamic Constraint Reasoning using Procedural ConstraintsAri K. Jónsson, Jeremy Frank. 93-97
• On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SATChu Min Li, Sylvain Gérard. 98-102
• Search Pruning Conditions for Boolean OptimizationVasco M. Manquinho, João P. Marques Silva. 103-107
• Incremental Forward Checking for the Disjunctive Temporal ProblemAngelo Oddi, Amedeo Cesta. 108-112
• Local Search on Random 2+p-SATJosh Singer, Ian P. Gent, Alan Smaill. 113-117
• Solving Permutation Constraint Satisfaction Problems with Artificial AntsChristine Solnon. 118-122
• Estimating the Hardness of OptimisationJohn K. Slaney, Sylvie Thiébaux, Philip Kilby. 123-130
• Diagnosis and Diagnosability Analysis Using PEPALuca Console, Claudia Picardi, Marina Ribaudo. 131-135
• A Comparative Analysis of AI and Control Theory Approaches to Model-based DiagnosisMarie-Odile Cordier, Philippe Dague, Michel Dumas, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès. 136-140
• Qualitative Simulation of Large and Complex Genetic Regulation SystemsHidde de Jong, Michel Page. 141-145
• Consistency-Based Diagnosis of Configuration Knowledge BasesAlexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner. 146-150
• Uncertain Temporal Observations in DiagnosisGianfranco Lamperti, Marina Zanella. 151-155
• Timed Automata Model to Improve the Classification of a Sequence of ImagesChristine Largouët, Marie-Odile Cordier. 156-160
• Qualitative Modelling of Linear Networks in Engineering ApplicationsMark Lee. 161-165
• Verification Programs for AbductionPaolo Liberatore, Francesco M. Donini. 166-170
• Modeling Java Programs for DiagnosisCristinel Mateis, Markus Stumptner, Franz Wotawa. 171-175
• State-based vs Simulation-based Diagnosis of Dynamic SystemsAndrea Panati, Daniele Theseider Dupré. 176-180
• Describing Problem Solving Methods using Anytime Performance ProfilesAnnette ten Teije, Frank van Harmelen. 181-185
• Optimal Sequential Decisions in Liver Transplantation on a POMDP ModelGünter Tusch. 186-190
• Selection of Perturbation Experiments for Model DiscriminationIvayla Vatcheva, Hidde de Jong, Nicolaas J. I. Mars. 191-198
• Tree-based Heuristics in Modal Theorem ProvingCarlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke. 199-203
• A Foundation for Region-based Qualitative GeometryBrandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika. 204-208
• Explaining ALC SubsumptionAlexander Borgida, Enrico Franconi, Ian Horrocks. 209-213
• Using an Ontology Conceptualisation Method to Capture an Advice Giving System KnowledgeFloriana Grasso. 214-218
• Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological AnalysisNicola Guarino, Christopher A. Welty. 219-223
• Qualitative Representation of Planar OutlinesRichard C. Meathrel, Antony Galton. 224-228
• Extensions of Constraint Solving for Proof PlanningErica Melis, Jürgen Zimmer, Tobias Müller. 229-233
• Qualitative Spatial Reasoning about Line SegmentsReinhard Moratz, Jochen Renz, Diedrich Wolter. 234-238
• Description Logics for the Representation of Aggregated ObjectsUlrike Sattler. 239-243
• Spatial Reasoning in RCC-8 with Boolean Region TermsFrank Wolter, Michael Zakharyaschev. 244-250
• Data Set Editing by Ordered ProjectionJesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro. 251-255
• Lazy Propositionalisation for Relational LearningÉrick Alphonse, Céline Rouveirol. 256-260
• A Kohonen-like Decomposition Method for the Traveling Salesman Problem: KNIES::DECOMPOSE::Necati Aras, I. Kuban Altinel, B. John Oommen. 261-265
• Similarity-based Heterogeneous Neuron ModelsLluís A. Belanche Muñoz. 271-275
• Similarity-based Approach to Relevance LearningRickard Cöster, Lars Asker. 276-280
• Solving POMDPs Using Selected Past EventsAlain Dutech. 281-285
• An Agent Service Brokering Algorithm for Winner Determination in Combinatorial AuctionsAneurin M. Easwaran, Jeremy Pitt. 286-290
• Learning to Use Operational AdviceJohannes Fürnkranz, Bernhard Pfahringer, Hermann Kaindl, Stefan Kramer. 291-295
• Efficient Asymptotic Approximation in Temporal Difference LearningFrédérick Garcia, Florent Serre. 296-300
• Learning Efficiently with Neural Networks: A Theoretical Comparison between Structured and Flat RepresentationsMarco Gori, Paolo Frasconi, Alessandro Sperduti. 301-305
• Automatic Generation of Local Internet Catalogues Using the Hierarchical Radius-based Competitive LearningUdo Heuser, Wolfgang Rosenstiel. 306-310
• Q-Surfing: Exploring a World Model by Significance Values in Reinforcement Learning TasksFrank Kirchner, Corinna Richter. 311-315
• Learning to Reason About ActionsDavid Lorenzo, Ramón P. Otero. 316-320
• Discovering Conceptual Relations from TextAlexander Maedche, Steffen Staab. 321-325
• Towards the Re-identification of Individuals in Data Files with Non-common VariablesVicenç Torra. 326-332
• Team-Solvability: A Model-Theoretic PerspectiveAlessandro Agostini. 333-337
• Arguments, Dialogue, and NegotiationLeila Amgoud, Simon Parsons, Nicolas Maudet. 338-342
• Integrating Individual, Organizational and Market Level Reasioning for Agent CoordinationMihai Barbuceanu, Wai-Kau Lo. 343-347
• Run-Time Selection of Coordination Mechanisms in Multi-Agent SystemsRachel A. Bourne, Cora B. Excelente-Toledo, Nicholas R. Jennings. 348-352
• Founding Agents Autonomy on Dependence TheoryCristiano Castelfranchi. 353-357
• Architecture for Agent Programming LanguagesKoen V. Hindriks, Mark d Inverno, Michael Luck. 363-367
• Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and TrustChurn-Jung Liau. 368-372
• Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy ConstraintsXudong Luo, Ho-Fung Leung, Jimmy Ho-Man Lee. 373-377
• Intention Reconsideration in Theory and PracticeSimon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael Wooldridge. 378-382
• Scheduling Meetings Using Distributed Valued Constraint Satisfaction AlgorithmTakuo Tsuruta, Toramatsu Shintani. 383-387
• Achieving Coordination through Combining Joint Planning and Joint LearningGerhard Weiss. 388-392
• Languages for NegotiationMichael Wooldridge, Simon Parsons. 393-400
• Multilingual Generation for Translation in Speech-to-Speech Dialogues and its Realization in VerbmobilTilman Becker, Anne Kilger, Patrice Lopez, Peter Poller. 401-405
• Repairing Queries in a Mediator ApproachAlain Bidault, Christine Froidevaux, Brigitte Safar. 406-410
• Essence: A Portable Methodology for Acquiring Information Extraction PatternsNeus Català, Núria Castell, Mario Martin. 411-415
• Bringing Information Extraction out of the Labs: the NoName EnvironmentFabio Ciravegna, Alberto Lavelli, Giorgio Satta. 416-420
• Naive Bayes and Exemplar-based Approaches to Word Sense Disambiguation RevisitedGerard Escudero, Lluís Màrquez, German Rigau. 421-425
• A Topic Segmentation of Texts based on Semantic DomainsOlivier Ferret, Brigitte Grau. 426-430
• A Domain Knowledge Manager for Dialogue SystemsAnnika Flycht-Erikson. 431-435
• A Practical System for Human-like ParsingChristian R. Huyck. 436-440
• Linear Regression Based Alignment of Parallel Texts Using Homograph WordsAntónio Ribeiro, José Gabriel Pereira Lopes, João Mexia. 446-450
• A Theoretical Analysis of Context-based Learning Algorithms or Word Sense DisambiguationPaola Velardi, Alessandro Cucchiarelli. 451-458
• A Family of Defeasible Reasoning Logics and its ImplementationGrigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock. 459-463
• Logic Programs with Compiled PreferencesJames P. Delgrande, Torsten Schaub, Hans Tompits. 464-468
• An Argumentation-Theoretic Characterization of Defeasible LogicGuido Governatori, Michael J. Maher. 469-473
• Characterizing General Preferential EntailmentsYves Moinard. 474-478
• Equivalent Sets of Formulas for CircumscriptionsYves Moinard, Raymond Rolland. 479-483
• GADEL: a Genetic Algorithm to Compute Default Logic ExtensionsPascal Nicolas, Frédéric Saubion, Igor Stéphan. 484-490
• WaRP: A Reactive Planner Integrated in an Environmental Decision Support System fo Wastewater Treatment Plant ManagementLuigi Ceccaroni, Dave Robertson. 491-495
• Plan Recognition through Goal Graph AnalysisJun Hong. 496-500
• Extending TALplanner with Concurrency and ResourcesJonas Kvarnström, Patrick Doherty, Patrik Haslum. 501-505
• Flexible GraphplanIan Miguel, Peter Jarvis, Qiang Shen. 506-510
• Continual Planning with Time-Oriented, Skeletal PlansSilvia Miksch, Andreas Seyfang. 511-515
• Graph Based Representation of Dynamic PlanningPavlos Moraitis, Alexis Tsoukiàs. 516-520
• Heuristic Planning with ResourcesIoannis Refanidis, Ioannis P. Vlahavas. 521-525
• Incorporation of Temporal Logic Control into Plan OperatorsJussi Rintanen. 526-530
• A Graph-based Approach for POCL PlanningLaura Sebastia, Eva Onaindia, Eliseo Marzal. 531-535
• Dispatchability Conditions for Schedules with Consumable ResourcesRichard J. Wallace, Eugene C. Freuder. 536-542
• Temporal Constraint Networks in ActionPedro Cabalar, Ramón P. Otero, Silvia Gómez Pose. 543-547
• Turning High-Level Plans into Robot Programs in Uncertain DomainsHenrik Grosskreutz, Gerhard Lakemeyer. 548-552
• A modal logic for epistemic testsAndreas Herzig, Jérôme Lang, Thomas Polacsek. 553-557
• An Embedding of ConGolog in 3APLKoen V. Hindriks, Yves Lespérance, Hector J. Levesque. 558-562
• ID-logic and the Ramification Problem for the Situation CalculusEugenia Ternovskaia. 563-570
• Bayes Rules in Finite ModelsStefan Arnborg, Gunnar Sjödin. 571-575
• Non-linear Modelling of a Production Process by Hybrid Bayesian NetworksRainer Deventer, Heinrich Niemann. 576-580
• Solving the Inverse Representation ProblemGabriele Kern-Isberner. 581-585
• Empirical Comparison of Probabilistic and Possibilistic Markov Decision Processes AlgorithmsRégis Sabbadin. 586-590
• Visual Design Support in Dynamic Probabilistic Networks for Driver ModellingAxel Vogler, Patrick Rammelt, Jörg Herbers, Dietmar Neumerkel. 591-598
• Symmetry Breaking in Constraint ProgrammingIan P. Gent, Barbara M. Smith. 599-603
• Towards Understanding Conceptual Differences Between Minimaxing and Product-PropagationHelmut Horacek. 604-608
• Towards Real-Time Search with Inadmissible HeuristicsMasashi Shimbo, Toru Ishida. 609-613
• Is there a Constaintness Knife-edge?John K. Slaney. 614-620
• Dynamic User Modeling in a Web Store ShellLiliana Ardissono, Pietro Torasso. 621-625
• Beat Tracking with Musical KnowledgeSimon Dixon, Emilios Cambouropoulos. 626-630
• Frame Representation of User s Requirement for Automated Data VisualizationMitsunori Matsushita, Hayato Yonezawa, Tsuneaki Kato. 631-635
• Composition Through Agent Negotiation: A Step Towards Fluid InterfaceChristophe Vaudry, Michel Crampes. 636-642
• Action Categorization from Video SequencesJean-Christophe Baillie, Jean-Gabriel Ganascia. 643-647
• Autonomous Environment and Task Adaptation for Robotic AgentsMichael Beetz, Thorsten Belker. 648-652
• Constructing Teleo-reactive Robot ProgramsKrysia Broda, Christopher J. Hogger, Sam Watson. 653-657
• Can Representation be Liberated from Symbolism: Modeling Robot Actions with RoboticlesAntonio D Angelo, Federico Montesello, Enrico Pagello. 658-662
• A Knowledge-based Approach for Lifelike Gesture AnimationStefan Kopp, Ipke Wachsmuth. 663-667
• On-Line Model Modification for Adaptive Object RecognitionPeter Pachowicz, Sung Wook Baik. 668-672
• Activity Recognition from Video Sequences using Declarative ModelsNathanaël Rota, Monique Thonnat. 673-680
• Gaining Insights into Web Customers using Web IntelligenceSarabjot S. Anand, Matthias Baumgarten, Alex G. Büchner, Maurice D. Mulvenna. 681-685
• A Dialogue Environment for Accessing Public Administration Data: the TAMIC-P SystemClara Bagnasco, Amedeo Cappelli, Bernardo Magnini. 686-690
• A Knowledge-Based System for the Design of Rubber Compounds in Motor RacingStefania Bandini, Sara Manzoni. 691-695
• Flexible Text Classification for Financial Applications: The Facile SystemFabio Ciravegna, Alberto Lavelli, Nadia Mana, Johannes Matiasek, Luca Gilardoni, Silvia Mazza, Massimo Ferraro, William J. Black, Fabio Rinaldi, David Mowatt. 696-700
• Personalisation Technologies for the Digital TV WorldPaul Cotter, Barry Smyth. 701-705
• An Autonomous Cooperative System for Material Handling ApplicationsFrancisco P. Maturana, Sivaram Balasubramanian, Dave Vasko. 706-710
• Tiger: Continuous Diagnosis of Gas TurbinesRobert Milne, Charlie Nicol. 711-715
• Artificial Intelligence Techniques for Diabetes Management: the T-IDDM ProjectStefania Montani, Riccardo Bellazzi, Alberto Riva, Cristiana Larizza, Luigi Portinale, Mario Stefanelli. 716-720
• Autosteve: Automated Electrical Design AnalysisChris Price. 721-725
• Remote Agent: An Autonomous Control System for the New MillenniumKanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung. 726-730
• VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge BaseRik Gerrits, Silvie Spreeuwenberg. 731-738
• Hybrid Soft Computing: Where are we Going?Piero P. Bonissone. 739-746
• The WITAS Unmanned Aerial Vehicle ProjectPatrik Dohrty, Gösta H. Granlund, Krzysztof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, Johan Wiklund. 747-755
• Artificial Intelligence in RoboCupDaniele Nardi. 756-762
• Knowledge Representation and Reasoning: The Theoretical Side of AIBernhard Nebel. 763-763
• The Emergence of Grammar in Communicating Autonomous Robotic AgentsLuc Steels. 764-769
• Search in AI: Escaping from the CSP StraightjacketMark Wallace. 770-776