Table of Contents

• Agreements Without DisagreementsSamir Aknine, Philippe Caillou. 3-7
• Negotiation in State-Oriented Domains with Incomplete Information over GoalsShlomit Bergman, Elan Pavlov, Jeffrey S. Rosenschein. 8-12
• Negotiating the Distribution of Obligations with Sanctions among Autonomous AgentsGuido Boella, Leendert W. N. van der Torre. 13-17
• FIRE: An Integrated Trust and Reputation Model for Open Multi-Agent SystemsTrung Dong Huynh, Nicholas R. Jennings, Nigel R. Shadbolt. 18-22
• Game-Theoretic Agent Programming in GologAlberto Finzi, Thomas Lukasiewicz. 23-27
• Agent Planning, Negotiation and Control of OperationAntonis C. Kakas, Paolo Torroni, Neophytos Demetriou. 28-32
• The KGP Model of AgencyAntonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni. 33-37
• Negotiation Strategies for Autonomous Computational AgentsFernando Lopes, Nuno J. Mamede, Augusto Q. Novais, Helder Coelho. 38-42
• Diagnosability Analysis of Distributed Discrete Event SystemsYannick Pencolé. 43-47
• Emergence of Complex Networks through Local OptimizationJosep M. Pujol, Andreas Flache, Ramon Sangüesa, Jordi Delgado. 48-52
• Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD sFranco Raimondi, Alessio Lomuscio. 53-57
• Many Hands Make Light Work: Localized Satisfiability for Multi-Context SystemsFloris Roelofsen, Luciano Serafini, Alessandro Cimatti. 58-62
• SERSE: Searching for Semantic Web ContentValentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge. 63-67
• Balancing Coordination and Synchronization Cost in Cooperative Situated Multi-Agent Systems with Imperfect CommunicationAndréa I. Tavares, Mario Fernando Montenegro Campos. 68-73
• Expectation Reasoning Using Regret and DisappointmentBình Vu Trân, James Harland, Margaret Hamilton. 74-78
• A Risk-Based Bidding Strategy for Continuous Double AuctionsPerukrishnen Vytelingum, Rajdeep K. Dash, Esther David, Nicholas R. Jennings. 79-83
• Algorithms for Distributed ExplorationThomas Walker, Daniel Kudenko, Malcolm J. A. Strens. 84-88
• Passive Threats among Agents in State Oriented DomainsYair B. Weinberger, Jeffrey S. Rosenschein. 89-96
• Instance-Based Prediction with Guaranteed ConfidenceEyke Hüllermeier. 97-101
• Instance-Based Learning Techniques of Unsupervised Feature Weighting Do not Perform So Badly!Héctor Núñez, Miquel Sànchez-Marrè. 102-108
• Applying Affective Tactics for a Better LearningPatrícia Augustin Jaques, Rosa Maria Vicari, Sylvie Pesty, Jean-François Bonneville. 109-113
• Exchanging Emotions - SOM ApproachHeikki Hyötyniemi, Juha Hemánus, Vuokko Lantz. 114-118
• Forming Odour Categories Using an Electronic NoseAmy Loutfi, Silvia Coradeschi. 119-123
• A Formal Tutoring Process Model for Intelligent Tutoring SystemsAlke Martens, Adelinde Uhrmacher. 124-128
• Reasoning about Emotional AgentsJohn-Jules Ch. Meyer. 129-133
• Focusing Reasoning Through Emotional MechanismsLuís Morgado, Graça Gaspar. 134-140
• A Case Study of Revisiting Best-First vs. Depth-First SearchAndreas Auer, Hermann Kaindl. 141-145
• Boosting Systematic Search by Weighting ConstraintsFrédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais. 146-150
• Adversarial Constraint Satisfaction by Game-Tree SearchKenneth N. Brown, James Little, Páidí J. Creed, Eugene C. Freuder. 151-155
• Generalized WideningTristan Cazenave. 156-160
• Quantified Constraint Satisfaction and Bounded TreewidthHubie Chen. 161-165
• How to Use the Scuba Diving Metaphor to Solve Problems with Neutrality?Philippe Collard, Sébastien Vérel, Manuel Clergue. 166-170
• Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling PatternAlan M. Frisch, Christopher Jefferson, Ian Miguel. 171-175
• Encoding Quantified CSPs as Quantified Boolean FormulaeIan P. Gent, Peter Nightingale, Andrew G. D. Rowley. 176-180
• Constrained Pure Nash Equilibria in Graphical GamesGianluigi Greco, Francesco Scarcello. 181-185
• Robust Solutions for Constraint Satisfaction and OptimizationEmmanuel Hebrard, Brahim Hnich, Toby Walsh. 186-190
• An Effective Branch-and-Bound Algorithm to Solve the k-Longest Common Subsequence ProblemGaofeng Huang, Andrew Lim. 191-195
• Decomposition and Good Recording for Solving Max-CSPsPhilippe Jégou, Cyril Terrioux. 196-200
• A Study of the Accuracy of Heuristic FunctionsCarlos Linares López. 201-205
• Improving Asynchronous Backtracking for Dealing with Complex Local ProblemsArnold Maestre, Christian Bessière. 206-210
• Tractable Symmetry Breaking Using Restricted Search TreesColva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton. 211-215
• Using Constraints with Memory to Implement Variable EliminationMartí Sánchez, Pedro Meseguer, Javier Larrosa. 216-220
• Guiding a Theorem Prover with Soft ConstraintsJohn K. Slaney, Arnold Binas, David Price. 221-225
• Complete and Incomplete Algorithms for the Queen Graph Coloring ProblemMichel Vasquez, Djamal Habet. 226-230
• Uncertain Linear ConstraintsNic Wilson. 231-238
• Generation of Desired Emergent Behavior in Swarm of Micro-RobotsSergey Kornienko, Olga Kornienko, Paul Levi. 239-243
• A Genetic Algorithm with Feminine SelectionJosué Pereira de Castro, Adriana Postal, Guilherme Bittencourt. 244-250
• Control of a Hydroforming Press with Bayesian NetworksRainer Deventer, Heinrich Niemann, Martino Celeghini. 251-255
• Knowledge-Based Cinematography and Its ApplicationsDoron A. Friedman, Yishai A. Feldman. 256-262
• Determining the Direction of Causal Influence in Large Probabilistic Networks: A Constraint-Based ApproachLiviu Badea. 263-267
• Improving Web Search through Collaborative Query RecommendationEvelyn Balfe, Barry Smyth. 268-272
• Goal Specification in Presence of Non-Deterministic ActionsChitta Baral, Jicheng Zhao. 273-277
• Extending a Lexicon Ontology for Intelligent Information IntegrationRoberta Benassi, Sonia Bergamaschi, Alain Fergnani, Daniele Miselli. 278-282
• The Mereology of Stages and Persistent EntitiesThomas Bittner, Maureen Donnelly. 283-287
• Abduction over Unbounded Domains via ASPPiero A. Bonatti. 288-292
• Analysis of Design Process DynamicsTibor Bosse, Catholijn M. Jonker, Jan Treur. 293-297
• Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else?Sebastian Brandt. 298-302
• A Rank Based Description Language for Qualitative PreferencesGerhard Brewka. 303-307
• An Ontology Based Visual Tool for Query Formulation SupportTiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris. 308-312
• Fundamental Issues of Aesthetic Knowledge RepresentationMatteo Cristani, Francesco Bellomi. 313-317
• Operationalizing Domain Ontologies: A Method and a ToolFrédéric Fürst, Michel Leclère, Francky Trichet. 318-322
• Generating Random Bayesian Networks with Constraints on Induced WidthJaime Shinsuke Ide, Fabio Gagliardi Cozman, Fabio Tozeto Ramos. 323-327
• New Advances in Compiling CNF into Decomposable Negation Normal FormAdnan Darwiche. 328-332
• An Investigation into the Expressive Power of PDDL2.1Maria Fox, Derek Long, Keith Halsey. 328-342
• Similarity-Based Ontology Alignment in OWL-LiteJérôme Euzenat, Petko Valtchev. 333-337
• A Semantics for AbstractionChiara Ghidini, Fausto Giunchiglia. 343-347
• Domain Descriptions Should Be ModularAndreas Herzig, Ivan José Varzinczak. 348-352
• Reasoning in Description Logics with a Concrete Domain in the Framework of ResolutionUllrich Hustadt, Boris Motik, Ulrike Sattler. 353-357
• Representing Normal Programs with ClausesTomi Janhunen. 358-362
• Representing Knowledge about NormsDaniel Kayser, Farid Nouioua. 363-367
• From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line ReasoningNoël Laverny, Jérôme Lang. 368-372
• Gene Network Modeling through Semi-Fixed Bayesian NetworkTie-Fei Liu, Wing-Kin Sung, Ankush Mittal. 373-377
• Description Logics with Concrete Domains and Functional DependenciesCarsten Lutz, Maja Milicic. 378-382
• Efficient and Secure Collaborative Filtering through Intelligent Neighbour SelectionMichael P. O Mahony, Neil J. Hurley, Guenole C. M. Silvestre. 383-387
• Synonymus Theories in Answer Set Programming and Equilibrium LogicDavid Pearce, Agustín Valverde. 388-392
• DILIGENT: Towards a fine-grained methodology for Distributed, Loosely-controlled and evolving Engineering of oNTologiesHelena Sofia Pinto, Steffen Staab, Christoph Tempich. 393-397
• Type Checking in Open-Domain Question AnsweringStefan Schlobach, Marius Olsthoorn, Maarten de Rijke. 398-402
• Representing Natural Kinds by Spatial Inclusion and ContainmentStefan Schulz, Udo Hahn. 403-410
• Explaining the Result of a Decision Tree to the End-UserIsabelle Alvarez. 411-415
• Outlier Detection Using Disjunctive Logic ProgrammingFabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli. 416-419
• A Model-Based Approach to Sequence ClusteringHenri Binsztok, Thierry Artières, Patrick Gallinari. 420-424
• Learning Complex and Sparse Events in Long SequencesMarco Botta, Ugo Galassi, Attilio Giordana. 425-429
• Statistical Strategies for Pruning All the Uninteresting Association RulesGemma Casas-Garriga. 430-434
• Comparing Conceptual, Divise and Agglomerative Clustering for Learning Taxonomies from TextPhilipp Cimiano, Andreas Hotho, Steffen Staab. 435-439
• PoBOC: An Overlapping Clustering Algorithm, Application to Rule-Based Classification and Textual DataGuillaume Cleuziou, Lionel Martin, Christel Vrain. 440-444
• Learning Qualitative Metabolic ModelsGeorge Macleod Coghill, Simon M. Garrett, Ross D. King. 445-449
• Inference Attacks in Peer-to-Peer Homogeneous Distributed Data MiningJosenildo Costa da Silva, Matthias Klusch, Stefano Lodi, Gianluca Moro. 450-454
• Face Recognition Using Novel LDA-Based AlgorithmsGuang Dai, Yuntao Qian. 455-459
• A Backtracking Strategy for Order-Independent Incremental LearningNicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile. 460-464
• Pushing Underfitting to the Limit: Learning in Bidimensional Text CategorizationGiorgio Maria Di Nunzio, Alessandro Micarelli. 465-469
• Avoiding Data Overfitting in Scientific Discovery: Experiments in Functional GenomicsDragan Gamberger, Nada Lavrac. 470-474
• Learning Techniques for Automatic Algorithm Portfolio SelectionAlessio Guerri, Michela Milano. 475-479
• AntTree: A Web Document Clustering Using Artificial AntsHanene Azzag, Christiane Guinot, Gilles Venturini. 480-484
• Knowledge-Based Selection of Association Rules for Text MiningDietmar Janetzko, Hacène Cherfi, Roman Kennke, Amedeo Napoli, Yannick Toussaint. 485-489
• Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal SharingYoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou. 490-494
• Bias Windowing for Relational LearningFrédéric Koriche. 495-499
• Exploiting Association and Correlation Rules - Parameters for Improving the K2 AlgorithmEvelina Lamma, Fabrizio Riguzzi, Sergio Storari. 500-504
• Adaptive Discriminative Generative Model for Object TrackingRuei-Sung Lin, Ming-Hsuan Yang, Stephen E. Levinson. 505-509
• Finding Social Network for Trust CalculationYutaka Matsuo, Hironori Tomobe, Kôiti Hasida, Mitsuru Ishizuka. 510-514
• Voted Co-Training for Bootstrapping Sense ClassifiersRada Mihalcea. 515-519
• Ideal Refinement of Datalog Clauses Using Primary KeysSiegfried Nijssen, Joost N. Kok. 520-524
• Visual Learning by Set Covering Machine with Efficient Feature SelectionHiroki Nomiya, Kuniaki Uehara. 525-529
• On-Line Search for Solving Markov Decision Processes via Heuristic SamplingLaurent Péret, Frédérick Garcia. 530-534
• Time-Independent Rule-Based Guideline InductionDavid Riaño. 535-538
• Incremental Augmented Naive Bayes ClassifiersJosep Roure Alcobé. 539-543
• Combining Multiple Answers for Learning Mathematical Structures from Visual ObservationPaulo Santos, Derek R. Magee, Anthony G. Cohn, David Hogg. 544-548
• Stacked Generalization for Information ExtractionGeorgios Sigletos, Georgios Paliouras, Constantine D. Spyropoulos, Takis Stamapoulos. 549-553
• Avatars That Learn How to BehaveAdam Szarowicz, Paolo Remagnino. 554-558
• Piece-Wise Model Fitting Using Local Data PatternsRicardo Vilalta, Murali-Krishna Achari, Christoph F. Eick. 559-563
• M-SOM-ART: Growing Self Organizing Map for Sequences Clustering and ClassificationFarida Zehraoui, Younès Bennani. 564-570
• Automatic Discovery of Translation Collocations from Bilingual CorporaSergio Barrachina, Juan Miguel Vilar. 571-575
• Improvements on Automatic Word Codification for Connectionist Machine TranslationGustavo A. Casañ, Maria Asunción Castaño. 576-580
• An Argumentative Approach to Assessing Natural Language Usage based on the Web CorpusCarlos Iván Chesñevar, Ana Gabriela Maguitman. 581-585
• Finite-State Models for Computer Assisted TranslationElsa Cubel, Jorge Civera, Juan Miguel Vilar, Antonio L. Lagarda, Francisco Casacuberta, Enrique Vidal, David Picó, Jorge González, Luis Rodríguez. 586-590
• Parsing Languages with a ConfiguratorMathieu Estratat, Laurent Henocque. 591-595
• An Application of Lexicalized Grammars in English-Persian TranslationHeshaam Feili, Gholamreza Ghassem-Sani. 596-600
• A Comparative Analysis of Extracted GrammarsAlessandro Mazzei, Vincenzo Lombardo. 601-605
• WordNet Sits the S.A.T. - A Knowledge-Based Approach to Lexical AnalogyTony Veale. 606-612
• Likely-Admissible and Sub-Symbolic HeuristicsMarco Ernandes, Marco Gori. 613-617
• Dynamic Selection of Model Parameters in Principal Components Analysis Neural NetworksEzequiel López-Rubio, Juan Miguel Ortiz-de-Lazcano-Lobato, María del Carmen Vargas-González, José Miguel López-Rubio. 618-622
• Towards Efficient Learning of Neural Network Ensembles from Arbitrarily Large DatasetsKang Peng, Zoran Obradovic, Slobodan Vucetic. 623-627
• A Generalized Quadratic Loss for Support Vector MachinesFilippo Portera, Alessandro Sperduti. 628-634
• Artificial Agents - Personhood in Law and PhilosophySamir Chopra, Laurence White. 635-639
• Simplicity in Solving the Frame ProblemVictor Jauregui, Maurice Pagnucco, Norman Y. Foo. 640-646
• Utilizing Volatile External Information During PlanningTsz-Chiu Au, Dana S. Nau, V. S. Subrahmanian. 647-651
• Job Shop Scheduling with Probabilistic DurationsJ. Christopher Beck, Nic Wilson. 652-656
• Interleaving Execution and Planning for Nondeterministic, Partially Observable DomainsPiergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso. 657-661
• Planning with Numeric Varibles in Multiobjective PlanningAntonio Garrido, Derek Long. 662-666
• Planning with Numerical Expressions in LPGAlfonso Gerevini, Alessandro Saetti, Ivan Serina. 667-671
• When Are Behaviour Networks Well-Behaved?Bernhard Nebel, Yuliya Babovich-Lierler. 672-676
• Assessing the Bias of Classical Planning Strategies on Makespan-Optimizing SchedulingFederico Pecora, Riccardo Rasconi, Amedeo Cesta. 677-681
• Evaluation Strategies for Planning as SatisfiabilityJussi Rintanen. 682-687
• Improving the Initialization and Repair Heuristics to Effectively Solve the Pickup and Delivery Problems with Time WindowsVincent Tam, M. C. Kwan. 688-692
• Lazy Adaptive Multicriteria PlanningGrigorios Tsoumakas, Dimitris Vrakas, Nick Bassiliades, Ioannis P. Vlahavas. 693-697
• Flexible Demand Assignment ProblemFan Wang, Andrew Lim, Hong Chen. 698-704
• Querying the Semantic Web with Corese Search EngineOlivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker. 705-709
• MASFIT: Multi-Agent System for Flsh TradingGuifre Cuni, Marc Esteva, Pere Garcia, Eloi Puertas, Carles Sierra, Teresa Solchaga. 710-714
• A Portal for Publishing Museum Collections on the Semantic WebEero Hyvönen, Samppa Saarela, Kim Viljanen, Eetu Mäkelä, Arttu Valo, Mirva Salminen, Suvi Kettula, Miikka Junnila. 715-719
• ADVISOR SUITE - A Knowledge-Based Sales Advisory-SystemDietmar Jannach. 720-724
• A Platform for Cross-Lingual, Domain and User Adaptive Web Information ExtractionVangelis Karkaletsis, Constantine D. Spyropoulos, Claire Grover, Maria Teresa Pazienza, José Coch, Dimitris Souflis. 725-729
• An Interactive System for Hiring and Managing Graduate Teaching AssistantsRyan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry. 730-734
• A System for Pacemaker Treatment AdvicePeter J. F. Lucas, Ruud Kuipers, Frederick Feith. 735-739
• Model and Heuristics for the Shortest Road Layout ProblemLawrence Mandow, José-Luis Pérez-de-la-Cruz. 740-744
• SmartCare:::TM:::-Automated Clinical Guidelines in Critical CareStefan Mersmann, Michel Dojat. 745-749
• AUTAS: A Tool for Supporting FMECA Generation in Aeronautic SystemsClaudia Picardi, Luca Console, Frederic Berger, Jan Breeman, Tony Kanakis, Jeroen Moelands, Stephan Collas, Emmanuel Arbaretier, Nino De Domenico, Ermanno Girardelli, Oskar Dressler, Peter Struss, Benjamin Zilbermann. 750-754
• APPROACH: Decentralised Rotation Planning for Container BargesMartijn C. Schut, Michael Kentrop, Mark Leenaarts, Marco Melis, Ian Miller. 755-759
• Lessons from Deploying NLG Technology for Marine Weather Forecast Text GenerationSomayajulu Sripada, Ehud Reiter, Ian Davy, Kristian Nilssen. 760-764
• A Soft Computing Technique Applied to Industrial CatalysisSoledad Valero, Estefania Argente, Jose Manuel Serra, P. Serna, Vicente J. Botti, Avelino Corma. 765-772
• Paraconsistent Preferential Reasoning by Signed Quantified Boolean FormulaeOfer Arieli. 773-777
• The Use of Temporal Reasoning and Management of Complex Events in Smart HomesJuan Carlos Augusto, Chris D. Nugent. 778-782
• A General Recursive Schema for Argumentation SemanticsPietro Baroni, Massimiliano Giacomin. 783-787
• A Syntactical Approach to RevisionGuilherme Bittencourt, Laurent Perrussel, Jerusa Marchi. 788-792
• A Unifying Semantics for Belief ChangeRichard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose. 793-797
• New Insights on the Intuitionistic Interpretation of Default LogicPedro Cabalar, David Lorenzo. 798-802
• A Unit Resolution-Based Approach to Tractable and Paraconsistent ReasoningSylvie Coste-Marquis, Pierre Marquis. 803-807
• A Tabulation Proof Procedure for Residuated Logic ProgrammingCarlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego. 808-812
• Elimination of Spurious ExplanationsGerhard Friedrich. 813-817
• Reasoning about Actions with Sensing under Qualitative and Probabilistic UncertaintyLuca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati. 818-822
• Representing Beliefs in the Fluent CalculusYi Jin, Michael Thielscher. 823-827
• Geographic Information Revision Based on ConstraintsMahat Khelfallah, Belaid Benhamou. 828-832
• Introducing Alias Information into Model-Based DebuggingDaniel Köb, Franz Wotawa. 833-837
• Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and ReuseGianfranco Lamperti, Marina Zanella. 838-842
• Debugging Program Loops Using Approximate ModelingWolfgang Mayer, Markus Stumptner. 843-847
• On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based ApproachRoberto Micalizio, Pietro Torasso, Gianluca Torta. 848-852
• Plausibility Structures for Default ReasoningYves Moinard. 853-857
• A Qualitative Theory for Shape Representation and Matching for DesignLledó Museros Cabedo, M. Teresa Escrig. 858-862
• An Algorithm for Knowledge Base ExtractionAlexander Nittka. 863-867
• A Fuzzy Approach to Temporal Model-Based Diagnosis for Intensive Care UnitsJosé Palma, José M. Juárez, Manuel Campos, Roque Marín. 868-872
• Diagnosis as Semiring-Based Constraint OptimizationMartin Sachenbacher, Brian C. Williams. 873-877
• Iterated Belief Change and Exogeneous Actions in the Situation CalculusSteven Shapiro, Maurice Pagnucco. 878-882
• Models of Behavior Deviations in Model-Based SystemsPeter Struss. 883-887
• Consistency and Constrained Optimisation for Conditional PreferencesNic Wilson. 888-894
• A Robot Task Planner that Merges Symbolic and Geometric ReasoningStephane Cambon, Fabien Gravot, Rachid Alami. 895-899
• Indirect and Conditional Sensing in the Event CalculusJeremy Forth, Murray Shanahan. 900-904
• Active Learning for Robot ManipulationAntonio Morales, Eris Chinellato, Andrew H. Fagg, Angel P. Del Pobil. 905-909
• Adaptive Robot Coordination Using Interference MetricsAvi Rosenfeld, Gal A. Kaminka, Sarit Kraus. 910-916
• Attention-Driven Parts-Based Object DetectionIlkka Autio, Jussi T. Lindgren. 917-921
• Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving ObjectsBrandon Bennett, Derek R. Magee, Anthony G. Cohn, David C. Hogg. 922-926
• A Context-Based Model of AttentionNiek Bergboer, Eric O. Postma, H. Jaap van den Herik. 927-931
• Learning to Focus Attention on Discriminative Regions for Object DetectionGerald Fritz, Christin Seifert, Lucas Paletta, Horst Bischof. 932-936
• Vision-Language Integration in AI: A Reality CheckKaterina Pastra, Yorick Wilks. 937-944
• Distributed Reasoning in a Peer-to-Peer SettingPhilippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon. 945-946
• Learning Model Free Motor ControlAlejandro Agostini, Enric Celaya. 947-948
• Iterated Algorithm for the Optimal Winner Determination in Combined NegotiationsSamir Aknine. 949-950
• A Declarative Characterization of Disjunctive Paraconsistent Answer SetsJoão Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira. 951-952
• Transmission Expansion Planning Based on Tabu Search AlgorithmZakariya M. Al-Hamouz, A. H. Mantawy, Hussain N. Al-Duwaish, Ibrahim El-Amin, Ali Al-Faraj. 953-954
• Automatic Generation of Macro-Operators from Static Domain AnalysisGiuliano Armano, Giancarlo Cherchi, Eloisa Vargiu. 955-956
• Optimal Brain Surgeon Variants for OptimizationMohammed Attik, Laurent Bougrain, Frédéric Alexandre. 957-958
• Failing First: An UpdateJ. Christopher Beck, Patrick Prosser, Richard J. Wallace. 959-960
• Handling Conflicts in Access Control ModelsSalem Benferhat, Rania El Baida. 961-962
• Preferences for Queries in a Mediator ApproachAlain Bidault, Sarah Cohen Boulakia, Christine Froidevaux. 963-964
• An Abstraction from Power to Coalition StructuresGuido Boella, Luigi Sauro, Leendert W. N. van der Torre. 965-966
• ACLAnalyser: A Tool for Debugging Multi-Agent SystemsJuan A. Botía, Alberto López-Acosta, Antonio F. Gómez-Skarmeta. 967-968
• On Multiclass Active Learning with Support Vector MachinesKlaus Brinker. 969-970
• A Speech Architecture for Personal Assistants in a Knowledge Management ContextEmerson Cabrera Paraiso, Jean-Paul A. Barthès, Cesar Augusto Tacla. 971-972
• Local Search Heuristics: Fitness Cloud versus Fitness LandscapePhilippe Collard, Sébastien Vérel, Manuel Clergue. 973-974
• A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description LogicsSimona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello. 975-976
• Lakatos-Style Automated Theorem ModificationSimon Colton, Alison Pease. 977-978
• Axiomatizing Noisy-ORFabio Gagliardi Cozman. 979-980
• Different Strokes for Different Folks: An Analysis of Similarity and Diversity in Web SearchMaurice Coyle, Barry Smyth. 981-982
• Adapting LPGP to Plan with DeadlinesStephen Cresswell, Alexandra M. Coddington. 983-984
• Compilation of LTL Goal Formulas into PDDLStephen Cresswell, Alexandra M. Coddington. 985-986
• Towards a Connectionist Argumentation FrameworkArtur S. d Avila Garcez, Dov M. Gabbay, Luís C. Lamb. 987-988
• Dynamical Teams of Genetic PredictorsMichael Defoin-Platel, Manuel Clergue, Philippe Collard. 989-990
• From Belief Change to Obligation Change in the Situation CalculusRobert Demolombe. 991-992
• Discovering Relevancies in Very Difficult Regression Problems: Applications to Sensory Data AnalysisJorge Díez, Gustavo F. Bayón, José Ramón Quevedo, Juan José del Coz, Oscar Luaces, Jaime Alonso, Antonio Bahamonde. 993-994
• Miss Scarlett in the Ballroom with the Lead PipingClare Dixon. 995-996
• Towards a Logical Analysis of Biochemical ReactionsPatrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas. 997-998
• A New MDL-Based Function for Feature Selection for Bayesian Network ClassifiersMadalina M. Drugan, Linda C. van der Gaag. 999-1000
• Context Dependence in Multiagent Resource AllocationPaul E. Dunne. 1001-1002
• Tractability Results for Automatic ContractingPaul E. Dunne, Michael Laurence, Michael Wooldridge. 1003-1004
• Evolution of Communication Between Genetic AgentsGilles Énée, Cathy Escazut, Michael Defoin-Platel. 1005-1006
• Induction and Revision of TerminologiesFloriana Esposito, Nicola Fanizzi, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro. 1007-1008
• Empirical Evaluation of the Effects of Concept Complexity on Generalization ErrorRoberto Esposito. 1009-1010
• Automatic Induction of Domain-Related Information: Learning Descriptors Type DomainsStefano Ferilli, Floriana Esposito, Teresa Maria Altomare Basile, Nicola Di Mauro. 1011-1012
• Appropriateness of the Case-Based Approach in an Application to Assistant RoboticsRicardo Luís de Freitas, Gilberto Shigueo Nakamiti, Carlos Miguel Tobar, Dilermando Piva Jr.. 1013-1014
• Interactive Task Planning through Multiple Abstraction: Application to Assistant RoboticsCipriano Galindo, Javier Gonzalez, Juan-Antonio Fernandez-Madrigal. 1015-1016
• Qualitative Interpolation for Environmental Knowledge RepresentationAntony Galton, James Hood. 1017-1018
• Swarm Intelligence: Agents for Adaptive Web SearchFabio Gasparetti, Alessandro Micarelli. 1019-1020
• A Spatial Logic of BetweennessMehmet Giritli. 1021-1022
• Using the Implication/Realization Model for Measuring Melodic SimilarityMaarten Grachten, Josep Lluís Arcos. 1023-1024
• Model-Based Monitoring of Software ComponentsIrène Grosclaude. 1025-1026
• Dynamic Skeleton Based WayfindingHans W. Guesgen, Paul Shotbolt. 1027-1028
• Multiple Relaxations in Temporal PlanningKeith Halsey, Derek Long, Maria Fox. 1029-1030
• Improving Heuristics Through SearchPatrik Haslum. 1031-1032
• Utilizing Structured Representations and CSP s in Conformant Probabilistic PlanningNathanael Hyafil, Fahiem Bacchus. 1033-1034
• Converting Texts of Road Accidents into 3D ScenesRichard Johansson, David Williams, Pierre Nugues. 1035-1036
• Parameter Estimation in Large Causal ModelsRasa Jurgelenaite, Peter J. F. Lucas. 1037-1038
• Temporal Plan InterdependenciesKatharina Kaiser, Silvia Miksch. 1039-1040
• Qualitative Reasoning Feeding Back into Quantitative Model-Based TrackingChristian Köhler, Artur Ottlik, Hans-Hellmut Nagel, Bernhard Nebel. 1041-1042
• A Troubleshooting Approach with Dependent ActionsEylem Koca, Taner Bilgiç. 1043-1044
• Estimating Confidence Values of Individual Predictions by their Typicalness and ReliabilityMatjaz Kukar. 1045-1046
• Problems with Local Consistency for Qualitative CalculiGérard Ligozat, Jochen Renz. 1047-1048
• A Critical-Shaking Neighbourhood Search for the Yard Allocation ProblemAndrew Lim, Zhou Xu. 1049-1050
• Qualitative Modelling of Planar RobotsHonghai Liu, George Macleod Coghill. 1051-1052
• Modelling the Interpretation of Novel CompoundsDermot Lynott, Mark T. Keane. 1053-1054
• Role Swapping in Multi-Agent Sensor WebsRónán Mac Ruairi, Mark T. Keane. 1055-1056
• Embodied Conversational Agents and InfluencesVincent Maya, Myriam Lamolle, Catherine Pelachaud. 1057-1058
• High-Level Observations in Java DebuggingWolfgang Mayer, Markus Stumptner. 1059-1060
• A 3D Free Form Object Localization Using Skeletons: Application to TeleoperationDjamel Merad, Narjes Khézami, Samir Otmane, Malik Mallem. 1061-1062
• Mapping Clinical Guidelines Representation Primitives to Decision Theory ConceptsStefania Montani, Paolo Terenziani. 1063-1064
• IPSS: A Hybrid Reasoner for Planning and SchedulingMaría Dolores Rodríguez-Moreno, Angelo Oddi, Daniel Borrajo, Amedeo Cesta, Daniel Meziat. 1065-1066
• Robel: Synthesizing and Conrolling Complex Robust Robot BehaviorsBenoit Morisset, Guillaume Infantes, Malik Ghallab, Félix Ingrand. 1067-1068
• Local Search for Heuristic Guidance in Tree SearchAlexander Nareyek, Stephen F. Smith, Christian M. Ohler. 1069-1070
• Identifying Relational Concept Lexicalisations by Using General Linguistic KnowledgeMaria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto. 1071-1072
• Adaptive, Multilingual Named Entity Recognition in Web PagesGeorgios Petasis, Vangelis Karkaletsis, Claire Grover, Ben Hachey, Maria Teresa Pazienza, Michele Vindigni, José Coch. 1073-1074
• Extending Defeasible Logic and Defeasible PrologAhti-Veikko Pietarinen. 1075-1076
• Context-Aware Personalised Service DeliveryEdoardo Pignotti, Peter Edwards, Gunnar Aastrand Grimnes. 1077-1078
• Cooperation Based on Communication: An Approach for an Autonomous Driving SystemRalf Regele, Paul Levi. 1079-1080
• A Characterization of Linearly Compensated Hybrid Connectives Used in Fuzzy ClassificationsMónica Sánchez, Francesc Prats, Núria Agell, Joseph Aguilar-Martin. 1081-1082
• Equilibrium Strategies for Task Allocation in Dynamic Multi-Agent SystemsDavid Sarne, Meirav Hadad, Sarit Kraus. 1083-1084
• Symbolic Models for Diagnosing Discrete-Event SystemsAnika Schumann, Yannick Pencolé, Sylvie Thiébaux. 1085-1086
• Concurrent Planning by DecompositionLaura Sebastia, Eva Onaindia, Eliseo Marzal. 1087-1088
• An Intrinsic Information Content Metric for Semantic Similarity in WordNetNuno Seco, Tony Veale, Jer Hayes. 1089-1090
• Kernel Machine Based Feature Extraction Algorithms for Regression ProblemsCsaba Szepesvári, András Kocsor, Kornél Kovács. 1091-1092
• Variants of A* for PlanningMinh Tang, Amol Dattatraya Mali. 1093-1094
• Domain Representation Assisting Cognitive AnalysisAntoaneta Serguieva, Tariq M. Khan. 1095-1096
• Configuration of Web Services as Parametric DesignAnnette ten Teije, Frank van Harmelen, Bob J. Wielinga. 1097-1098
• A Spanish-Catalan Translator Using Statistical MethodsJesús Tomás, Jaime Lloret, Francisco Casacuberta. 1099-1100
• Defining Classes of Influences for the Acquisition of Probability Constraints for Bayesian NetworksLinda C. van der Gaag, Eveline M. Helsper. 1101-1102
• A Qualitative Representation of Trajectory PairsNico Van de Weghe, Anthony G. Cohn, Philippe De Maeyer. 1103-1104
• Postponing Branching DecisionsWillem Jan van Hoeve, Michela Milano. 1105-1106
• Contextualized Abstraction for Assertion-Level Theorem ProvingQuoc Bao Vo. 1107-1108
• Automatic Recognition of Famous Artists by MachineGerhard Widmer, Patrick Zanon. 1109-1110
• Soft Constraints with Partially Ordered PreferencesNic Wilson. 1111-1112
• An Ant Colony Genetic AlgorithmShao Xiaowei, Shao Changsheng, Zhao Changan. 1113-1114
• NGP: Numerical Graph PlanningJoseph Zalaket, Guy Camilleri. 1115-1116
• Topological Visual Localization Using Decentralized Galois LatticesEmmanuel Zenou, Malik Ghallab, Manuel Samuelides. 1117-1120
• Madia Fabrics: The Problem of Time in Personal Media MakingGlorianna Davenport. 1121
• Spatial Cognition: An AI PerspectiveChristian Freksa. 1122-1128
• The Semantic Grid: Myth Busting and Bridge BuildingCarole A. Goble, David De Roure. 1129-1135
• Adding Intelligence to Virtual RealitySeppo Laukkanen, Ilkka Karanta, Ville Kotovirta, Jussi Markkanen, Jukka Rönkkö. 1136-1144
• Autonomous Cache-Provision Agreement for Scalability of Directory in MASAbdul Ghafoor, Bilal Mustafa, Hafiz Farooq Ahmad, Arshad Ali, Hiroki Suguri, Zaheer Abbas Khan. 1145-1146