Abstract is missing.
- Toward an Automatically Generated Theory of Coordination - Empirical ExplorationsEun Gyung Kim, Nicholas V. Findler. 3-7
- SouthamptonTAC: Designing a Successful Trading AgentMinghua He, Nicholas R. Jennings. 8-12
- Multi-agent models for searching Pareto optimal solutions to the problem of forming and dynamic restructuring of coalitionsPhilippe Caillou, Samir Aknine, Suzanne Pinson. 13-17
- Avoiding Resource Conflicts in Intelligent AgentsJohn Thangarajah, Michael Winikoff, Lin Padgham, Klaus Fischer. 18-22
- Polynomial algorithms for clearing multi-unit single-item and multi-unit combinatorial reverse auctionsViet Dung Dang, Nicholas R. Jennings. 23-27
- On Modal Logic Interpretations of GamesPaul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen. 28-32
- Situated Cooperative Agents: a Powerful Paradigm for MRI Brain Scans SegmentationNathalie Richard, Michel Dojat, Catherine Garbay. 33-37
- An argumentation-based Semantics for Agent Communication LanguagesLeila Amgoud, Nicolas Maudet, Simon Parsons. 38-42
- Verification of Protocols for Automated NegotiationShamimabi Paurobally, Jim Cunningham. 43-47
- Adaptive Combination of Behaviors in an AgentOlivier Buffet, Alain Dutech, François Charpillet. 48-52
- Agents and Their CitiesPatricia Charlton, David Bonnefoy, Nicolas Lhuillier. 53-57
- Engineering Issues in Inter-Agent DialoguesNikos I. Karacapilidis, Pavlos Moraitis. 58-62
- Building Trading Agents: Challenges and StrategiesMaria Fasli, Ioannis Korres, Michael Michalakopoulos, George Rallidis. 63-67
- How Situated Agents can Learn to Cooperate by Monitoring their Neighbors SatisfactionJerome Chapelle, Olivier Simonin, Jacques Ferber. 68-72
- Competing in a Queue for Resource Allocations among Non-Cooperative AgentsPinata Winoto, Tiffany Ya Tang. 73-77
- Strong, Fuzzy and Smooth Hierarchical Classification for Case-Based Problem SolvingJean Lieber. 81-85
- Recommendation EngineeringDavid McSherry. 86-90
- Grounded Models as a Basis for Intuitive and Deductive Reasoning: the Acquisition of Logical CategoriesJosefina Sierra-Santibáñez. 93-97
- A multi-agent and emergent approach to learner modellingCarine Webber, Sylvie Pesty, Nicolas Balacheff. 98-102
- An Intelligent Inference Approach for User Interaction Modeling in a Generic Agent Based Interface SystemYanguo Jing, Nick Taylor, Keith E. Brown. 103-107
- Stochastic Constraint ProgrammingToby Walsh. 111-115
- Synthesis of Object Models from Partial Models: A CSP PerspectiveMarco Alberti, Evelina Lamma. 116-120
- Arc Consistency in SATIan P. Gent. 121-125
- Progressive Focusing SearchNicolas Prcovic, Bertrand Neveu. 126-130
- Pseudo-tree Search with Soft ConstraintsJavier Larrosa, Pedro Meseguer, Martí Sánchez. 131-135
- An Algorithm for Multi-Criteria Optimization in CSPsMarco Gavanelli. 136-140
- An Empirical Study of the Stable Marriage Problem with Ties and Incomplete ListsIan P. Gent, Patrick Prosser. 141-145
- A Theoretical Framework for Constraint Hierarchy SolversRoman Barták. 146-150
- Computing Minimal Conflicts for Rich Constraint LanguagesJakob Mauss, Mugur M. Tatar. 151-155
- How to Establish Arc-Consistency by Reactive AgentsAhlem Ben Hassine, Khaled Ghédira. 156-160
- Combining hypertree, bicomp, and hinge decompositionGeorg Gottlob, Martin Hutle, Franz Wotawa. 161-165
- Building State-of-the-Art SAT SolversInês Lynce, João P. Marques Silva. 166-170
- Improving the Evolutionary Coding for Machine Learning TasksJesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Carmelo Del Valle. 173-177
- Evolving Bidding Strategies for Multiple AuctionsPatricia Anthony, Nicholas R. Jennings. 178-182
- The Use of a Genetic Algorithm in the Calibration of Estuary ModelsSara Passone, Paul W. H. Chung, Vahid Nassehi. 183-187
- Evolutionary Computation in MAS designCarles Sierra, Jordi Sabater, Jaume Agustí-Cullell, Pere Garcia. 188-192
- Using Multiobjective Genetic Programming to Infer Logistic Polynomial Regression ModelsAndrew Hunter. 193-197
- Boltzmann Machine for Population-Based Incremental LearningArnaud Berny. 198-202
- Context Refinement - Investigating the Rule Refinement Completeness of SEEK/SEEK2Hans-Werner Kelbassa. 205-209
- Design as Interactions of Problem Framing and Problem SolvingMartin Dzbor, Zdenek Zdráhal. 210-214
- The Epistemology of Scheduling ProblemsEnrico Motta, Dnyanesh G. Rajpathak, Zdenek Zdráhal, Rajkumar Roy. 215-219
- CAKE: A Computer-Aided Knowledge Engineering TechniquePatrick Doherty, Witold Lukaszewicz, Andrzej Szalas. 220-224
- Personalising On-Line Configuration of Products and ServicesLiliana Ardissono, Alexander Felfernig, Gerhard Friedrich, Anna Goy, Dietmar Jannach, Markus Meyer, Giovanna Petrone, Ralph Schäfer, Wilken Schuetz, Markus Zanker. 225-229
- CLIME: Lessons Learned in Legal Information ServingRadboud Winkels, Alexander Boer, Rinke Hoekstra. 230-234
- Similarity Between Queries in a MediatorAlain Bidault, Christine Froidevaux, Brigitte Safar. 235-239
- Knowledge Representation for Program ReuseSabine Moisan. 240-244
- Case Retrieval of Software Designs using WordNetPaulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José Luís Ferreira, Carlos Bento. 245-249
- Updating a Hybrid Rule Base with Changes to its Symbolic Source KnowledgeJim Prentzas, Ioannis Hatzilygeroudis. 250-254
- Extending and Unifying Chronicle Representation with Event CountersChristophe Dousson. 257-261
- The Complexity of Checking Redundancy of CNF Propositional FormulaePaolo Liberatore. 262-266
- Compilation and Approximation of Conjunctive Queries by Concept DescriptionsFrançois Goasdoué, Marie-Christine Rousset. 267-271
- Expressivity and Control in Limited ReasoningMarcelo Finger, Renata Wassermann. 272-276
- Optimised Reasoning for SHIQIan Horrocks, Ulrike Sattler. 277-281
- Automatic Learning in Proof PlanningMateja Jamnik, Manfred Kerber, Martin Pollet. 282-286
- Approximating Propositional Knowledge with Affine FormulasBruno Zanuttini. 287-291
- Hypothesising Object Relations from Image TransitionsPaulo Santos, Murray Shanahan. 292-296
- A Graph-Based Knowledge Representation Language for Concept DescriptionAlexandre Delteil, Catherine Faron. 297-301
- Querying semistructured data using a rule-oriented XML query languageTadeusz Pankowski. 302-306
- Sensing and revision in a modal logic of belief and actionAndreas Herzig, Dominique Longin. 307-311
- Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen s Interval Calculus: Computational ComplexityAlfonso Gerevini, Bernhard Nebel. 312-316
- Reasoning about spatio-temporal relations at different levels of granularityThomas Bittner. 317-321
- An Attribute Weight Setting Method for k-NN Based Binary Classification using Quadratic ProgrammingLu Zhang, Frans Coenen, Paul H. Leng. 325-329
- AREX - Classification Rules Extracting Algorithm Based on Automatic ProgrammingVili Podgorelec, Peter Kokol, Ivan Rozman. 330-334
- Music Performer Recognition Using an Ensemble of Simple ClassifiersEfstathios Stamatatos, Gerhard Widmer. 335-339
- Effective Stacking of Distributed ClassifiersGrigorios Tsoumakas, Ioannis P. Vlahavas. 340-344
- A new clustering algorithm based on the ants chemical recognition systemNicolas Labroche, Nicolas Monmarché, Gilles Venturini. 345-349
- An Incremental Algorithm for Tree-shaped Bayesian Network LearningJosep Roure Alcobé. 350-354
- Learning Information Extraction Rules: An Inductive Logic Programming approachJames S. Aitken. 355-359
- On the Representation and Combination of Evidence in Instance-Based LearningEyke Hüllermeier. 360-364
- Reinforcement Learning Integrated with a Non-Markovian ControllerIstvan Szita, Bálint Takács, András Lörincz. 365-369
- Multiple and Partial Periodicity Mining in Time Series DatabasesChristos Berberidis, Walid G. Aref, Mikhail J. Atallah, Ioannis P. Vlahavas, Ahmed K. Elmagarmid. 370-374
- Object Identity as Search Bias for Pattern SpacesFrancesca A. Lisi, Stefano Ferilli, Nicola Fanizzi. 375-379
- On Determinism Handling While Learning Reduced State Space RepresentationsFernando Fernández, Daniel Borrajo. 380-384
- Mining maximal frequent itemsets by a boolean approachAnsaf Salleb, Zahir Maazouzi, Christel Vrain. 385-389
- Semi Supervised Logistic RegressionMassih-Reza Amini, Patrick Gallinari. 390-394
- Multi-Pattern Wrappers for Relation Extraction from the WebBenjamin Habegger, Mohamed Quafafou. 395-399
- From Margins to Probabilities in Multiclass Learning ProblemsAndrea Passerini, Massimiliano Pontil, Paolo Frasconi. 400-404
- Modelling Contextual Meta-Knowledge in Temporal Model Based DiagnosisJosé Palma, Roque Marín. 407-411
- Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory NetworksHidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Sari Tewfik, Johannes Geiselmann. 412-416
- Can AI help to improve debugging substantially? Debugging Experiences with Value-Based ModelsWolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa. 417-421
- Towards an Integrated Debugging EnvironmentWolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa. 422-426
- Diagnosis of Discrete-Event Systems with Model-Based Prospection KnowledgeRoberto Garatti, Gianfranco Lamperti, Marina Zanella. 427-431
- Parsing Natural Language using Guided Local SearchMichael Daum, Wolfgang Menzel. 435-439
- Saliency and the Attentional State in Natural Language GenerationChris Reed. 440-444
- Adaptivity in Web-Based CALLGalia Angelova, Svetla Boytcheva, Ognian Kalaydjiev, Stefan Trausan-Matu, Preslav Nakov, Albena Strupchanska. 445-449
- A lexical network and an algorithm to find words from definitionsDominique Dutoit, Pierre Nugues. 450-454
- Natural Language Texts for a Cognitive Vision SystemMichael Arens, Artur Ottlik, Hans-Hellmut Nagel. 455-459
- Towards Answer Extraction: An application to Technical DomainsFabio Rinaldi, James Dowdall, Michael Hess, Diego Mollá Aliod, Rolf Schwitter. 460-464
- Anything to Clarify? Report Your Parsing Ambiguities!Kerstin Bücher, Michael Knorr, Bernd Ludwig. 465-469
- Predicting the Components of German Nominal CompoundsMarco Baroni, Johannes Matiasek, Harald Trost. 470-474
- Processing information of geogaphical databases within a dialogue system : a pivot systemVincent Maya. 475-479
- Acquisition of conceptual domain dictionaries via decision tree learningRoberto Basili, Maria Teresa Pazienza, Fabio Massimo Zanzotto. 480-484
- Empirical investigation of fast text classification over linguistic featuresRoberto Basili, Alessandro Moschitti, Maria Teresa Pazienza. 485-489
- Chaotic Time Series Prediction with Neural Networks - Comparison of Several ArchitecturesRafal Mikolajczak, Jacek Mandziuk. 493-497
- Neuro-Fuzzy Knowledge Representation for Toxicity Prediction of Organic CompoundsCiprian-Daniel Neagu, Emilio Benfenati, Giuseppina C. Gini, Paolo Mazzatorta, Alessandra Roncaglioni. 498-502
- Non-negative matrix factorization extended by sparse code shrinkage and weight sparsification non-negative matrix factorization algorithmsBotond Szatmáry, Barnabás Póczos, Julian Eggert, Edgar Körner, András Lörincz. 503-507
- Enhancing First-Pass Attachment PredictionFabrizio Costa, Paolo Frasconi, Vincenzo Lombardo, Patrick Sturt, Giovanni Soda. 508-512
- A Simple Algorithm for Learning Stable MachinesSavina Andonova, André Elisseeff, Theodoros Evgeniou, Massimiliano Pontil. 513-517
- Defeasible Logic with Dynamic PrioritiesGrigoris Antoniou. 521-525
- Uncontroversial Default LogicPaolo Liberatore. 526-530
- Linking Makinson and Kraus-Lehmann-Magidor preferential entailmentsYves Moinard. 531-535
- Notions of Attack and Justified Arguments for Extended Logic ProgramsRalf Schweimeier, Michael Schroeder. 536-540
- Iterated revision and the axiom of recovery: A unified treatment via epistemic statesSamir Chopra, Aditya Ghose, Thomas Andreas Meyer. 541-545
- Feature Integration as an Operation of Theory ChangeHannah Harris, Mark Ryan. 546-550
- Network-based Truth Maintenance SystemSubrata Das, David Lawless. 551-555
- Robot Free WillJames Anderson. 559-563
- A Pragmatic Theory of InductionJohn Bell. 564-568
- Extending FF to Numerical State VariablesJörg Hoffmann. 571-575
- Solving Power Supply Restoration Problems with Planning via Symbolic Model CheckingPiergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux. 576-580
- Combining Two Heuristics to Solve a Supply Chain Optimization ProblemHoong Chuin Lau, Yuyue Song. 581-585
- A Temporal Planning System for Durative Actions of PDDL2.1Antonio Garrido, Maria Fox, Derek Long. 586-590
- Representation of decision-theoretic plans as sets of symbolic decision rulesNiels Peek. 591-595
- Supporting goal based interaction with dynamic intelligent environmentsThomas Heider, Thomas Kirste. 596-600
- DAI-DEPUR: An Environmental Decision Support System for the control and supervison of Municipal WasteWater Treatment PlantsUlises Cortés, Ignasi R.-Roda, Miquel Sànchez-Marrè, Joaquim Comas, Christian Cortes, Manel Poch. 603-607
- Personalized Adaptive Navigation for Mobile PortalsBarry Smyth, Paul Cotter. 608-612
- Benefits of a Knowledge-based System for Parenteral Nutrition Support: a Report after 5 Years of Routine Daily UseWerner Horn, Christian Popow, Silvia Miksch, Andreas Seyfang. 613-617
- A Framework for Rapid Development of Advanced Web-based Configurator ApplicationsLiliana Ardissono, Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker, Ralph Schäfer. 618-622
- International Insurance Traffic with Software AgentsChris van Aart, Kris Van Marcke, Ruurd Pels, Jan Smulders. 623-627
- IDD: Integrating Diagnosis in the Design of automotive systemsClaudia Picardi, Rosanna Bray, Fulvio Cascio, Luca Console, Philippe Dague, David Millet, Bernd Rehfus, Peter Struss, Christian Vallée. 628-632
- Programme driven music radioConor Hayes, Padraig Cunningham, Patrick Clerkin, Marco Grimaldi. 633-637
- Alarm Correlation in Traffic Monitoring and Control Systems: A Knowledge-Based ApproachStefania Bandini, Davide Bogni, Sara Manzoni. 638-642
- A Neural Network Approach for Forestal Fire Risk EstimationAmparo Alonso-Betanzos, Oscar Fontenla-Romero, Bertha Guijarro-Berdiñas, Elena Hernández-Pereira, Juan Canda, Eulogio Jimenez, Jose Luis Legido, Susana Muñiz, Cristina Paz-Andrade, Maria Inmaculada Paz-Andrade. 643-647
- Fault diagnosis of a continuous process using imprecise quantitative knowledge and causal modelsBruno Heim, Sylviane Gentil, Sylvie Cauvin, Louise Travé-Massuyès, Bertrand Braunschweig. 648-652
- AI on the Ocean: the RoboSail ProjectMartijn L. van Aartrijk, Claudio P. Tagliola, Pieter W. Adriaans. 653-657
- Online Diagnosis of Engine Dyno Test Benches: A Possibilistic ApproachSerge Boverie, Didier Dubois, Xavier Guérandel, Olivier de Mouzon, Henri Prade. 658-662
- Propagation of Multiple Observations in QPNs RevisitedSilja Renooij, Linda C. van der Gaag, Simon Parsons. 665-669
- Graph partitioning techniques for Markov Decision Processes decompositionRégis Sabbadin. 670-674
- On the Complexity of the MPA Problem in Probabilistic NetworksHans L. Bodlaender, Frank van den Eijkhof, Linda C. van der Gaag. 675-679
- Building Bayesian Networks through OntologiesEveline M. Helsper, Linda C. van der Gaag. 680-684
- Possibilistic logic representation of preferences: relating prioritized goals and satisfaction levels expressionsSalem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade. 685-689
- Bayesian Network Modelling by Qualitative PatternsPeter J. F. Lucas. 690-694
- Bayesian Networks for Probabilistic Weather PredictionAntonio S. Cofiño, R. Cano, C. Sordo, José Manuel Gutiérrez. 695-699
- Anchoring Action Representation to Perception in a Mobile RobotAntonio Chella, Marcello Frixione, Salvatore Gaglio. 703-707
- Learning to Ground Fact Symbols in Behavior-Based RobotsJoachim Hertzberg, Herbert Jaeger, Frank Schönherr. 708-712
- MIP: A New Hybrid Multi-Agent Architecture for the Coordination of a Robot Colony ActivitiesAntonio Chella, Rosario Sorbello, Sabato Marco Siniscalchi, Salvatore Vitabile. 713-717
- A Deformation Tolerant Version of the Generalized Hough Transform for Image RetrievalMarco Anelli, Alessandro Micarelli, Enver Sangineto. 721-725
- Shape Analysis and Classification using Landmarks: Polygonal Wavelet TransformRoberto Marcondes Cesar Junior, Celina Maki Takemura. 726-730
- Pixel-based Behavior LearningLouis Hugues, Alexis Drogoul. 731-735
- Deriving Textual Descriptions of Road Traffic Queues from Video SequencesRalf Gerber, Hans-Hellmut Nagel, Heiko Schreiber. 736-740
- Modeling Interaction Using Learnt Qualitative Spatio-Temporal Relations and Variable Length Markov ModelsAphrodite Galata, Anthony G. Cohn, Derek R. Magee, David Hogg. 741-745