| Abstract | Paper |
Author Index
|
Keyword Index
|
Preface |
|
|
Agents & Distributed AI |
- Toward an Automatically Generated Theory of Coordination — Empirical Explorations
- Eun Gyung Kim, Nicholas V. Findler
| pp.3-7
|
|
- SouthamptonTAC: Designing a Successful Trading Agent
- Minghua He, Nicholas R. Jennings
| pp.8-12
|
|
- Multi-agent models for searching Pareto optimal solutions to the problem of forming and dynamic restructuring of coalitions
- Caillou Philippe, Aknine Samir, Pinson Suzanne
| pp.13-17
|
|
- Avoiding Resource Conflicts in Intelligent Agents
- John Thangarajah, Michael Winikoff, Lin Padgham, Klaus Fischer
| pp.18-22
|
|
- Polynomial algorithms for clearing multi-unit single-item and multi-unit combinatorial reverse auctions
- Viet Dung Dang, Nicholas R. Jennings
| pp.23-27
|
|
- On Modal Logic Interpretations of Games
- Paul Harrenstein, Wiebe van der Hoek, John Jules Meyer, Cees Witteveen
| pp.28-32
|
|
- Situated Cooperative Agents: a Powerful Paradigm for MRI Brain Scans Segmentation
- Nathalie Richard, Michel Dojat, Catherine Garbay
| pp.33-37
|
|
- An argumentation-based Semantics for Agent Communication Languages
- Leila Amgoud, Nicolas Maudet, Simon Parsons
| pp.38-42
|
|
- Verification of Protocols for Automated Negotiation
- Shamimabi Paurobally, Jim Cunningham
| pp.43-47
|
|
- Adaptive Combination of Behaviors in an Agent
- Olivier Buffet, Alain Dutech, François Charpillet
| pp.48-52
|
|
- Agents and Their Cities
- Patricia Charlton, David Bonnefoy, Nicolas Lhuillier
| pp.53-57
|
|
- Engineering Issues in Inter-Agent Dialogues
- Nikos Karacapilidis, Pavlos Moraitis
| pp.58-62
|
|
- Building Trading Agents: Challenges and Strategies
- Maria Fasli, Ioannis Korres, Michael Michalakopoulos, George Rallidis
| pp.63-67
|
|
- How Situated Agents can Learn to Cooperate by Monitoring their Neighbors' Satisfaction
- Jerome Chapelle, Olivier Simonin, Jacques Ferber
| pp.68-72
|
|
- Competing in a Queue for Resource Allocations among Non-Cooperative Agents
- Pinata Winoto, Tiffany Ya Tang
| pp.73-77
|
|
Case-based Reasoning |
- Strong, Fuzzy and Smooth Hierarchical Classification for Case-Based Problem Solving
- Jean Lieber
| pp.81-85
|
|
- Recommendation Engineering
- David McSherry
| pp.86-90
|
|
Cognitive Modelling |
- Grounded Models as a Basis for Intuitive and Deductive Reasoning: the Acquisition of Logical Categories
- Josefina Sierra-Santibanez
| pp.93-97
|
|
- A multi-agent and emergent approach to learner modelling
- Carine Webber, Sylvie Pesty, Nicolas Balacheff
| pp.98-102
|
|
- An Intelligent Inference Approach for User Interaction Modeling in a Generic Agent Based Interface System
- Yanguo Jing, Nick Taylor, Keith Brown
| pp.103-107
|
|
Constraint Satisfaction, Search |
- Stochastic Constraint Programming
- Toby Walsh
| pp.111-115
|
|
- Synthesis of Object Models from Partial Models: A CSP Perspective
- Marco Alberti, Evelina Lamma
| pp.116-120
|
|
- Arc Consistency in SAT
- Ian P Gent
| pp.121-125
|
|
- Progressive Focusing Search
- Nicolas Prcovic, Bertrand Neveu
| pp.126-130
|
|
- Pseudo-tree Search with Soft Constraints
- Javier Larrosa, Pedro Meseguer, Martí Sánchez
| pp.131-135
|
|
- An Algorithm for Multi-Criteria Optimization in CSPs
- Marco Gavanelli
| pp.136-140
|
|
- An Empirical Study of the Stable Marriage Problem with Ties and Incomplete Lists
- Ian Gent, Patrick Prosser
| pp.141-145
|
|
- A Theoretical Framework for Constraint Hierarchy Solvers
- Roman Bartak
| pp.146-150
|
|
- Computing Minimal Conflicts for Rich Constraint Languages
- Jakob Mauss, Mugur Tatar
| pp.151-155
|
|
- How to Establish Arc-Consistency by Reactive Agents
- Ahlem Ben Hassine, Khaled Ghédira
| pp.156-160
|
|
- Combining hypertree, bicomp, and hinge decomposition
- Georg Gottlob, Martin Hutle, Franz Wotawa
| pp.161-165
|
|
- Building State-of-the-Art SAT Solvers
- Inês Lynce, João Marques-Silva
| pp.166-170
|
|
Genetic Algorithms |
- Improving the Evolutionary Coding for Machine Learning Tasks
- Jesus S. Aguilar-Ruiz, Jose C. Riquelme, Carmelo Del Valle
| pp.173-177
|
|
- Evolving Bidding Strategies for Multiple Auctions
- Patricia Anthony, Nicholas R. Jennings
| pp.178-182
|
|
- The Use of a Genetic Algorithm in the Calibration of Estuary Models
- S. Passone, P.W.H. Chung, V. Nassehi
| pp.183-187
|
|
- Evolutionary Computation in MAS design
- Carles Sierra, Jordi Sabater, Jaume Agusti, Pere Garcia
| pp.188-192
|
|
- Using Multiobjective Genetic Programming to Infer Logistic Polynomial Regression Models
- Andrew Hunter
| pp.193-197
|
|
- Boltzmann Machine for Population-Based Incremental Learning
- Arnaud Berny
| pp.198-202
|
|
Knowledge Acquisition, Knowledge Engineering, Knowledge Based Systems |
- Context Refinement - Investigating the Rule Refinement Completeness of SEEK/SEEK2
- Hans-Werner Kelbassa
| pp.205-209
|
|
- Design as Interactions of Problem Framing and Problem Solving
- Martin Dzbor, Zdenek Zdrahal
| pp.210-214
|
|
- The Epistemology of Scheduling Problems
- Enrico Motta, Dnyanesh Rajpathak, Zdenek Zdrahal, Rajkumar Roy
| pp.215-219
|
|
- CAKE: A Computer-Aided Knowledge Engineering Technique
- Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas
| pp.220-224
|
|
- Personalising On-Line Configuration of Products and Services
- Liliana Ardissono, Alexander Felfernig, Gerhard Friedrich, Anna Goy, Dietmar Jannach, Markus Meyer, Giovanna Petrone, Ralph Schaefer, Wilken Schuetz, Markus Zanker
| pp.225-229
|
|
- CLIME: Lessons Learned in Legal Information Serving
- Radboud Winkels, Alexander Boer, Rinke Hoekstra
| pp.230-234
|
|
- Similarity Between Queries in a Mediator
- Alain Bidault, Christine Froidevaux, Brigitte Safar
| pp.235-239
|
|
- Knowledge Representation for Program Reuse
- Sabine Moisan
| pp.240-244
|
|
- Case Retrieval of Software Designs using WordNet
- Paulo Gomes, Francisco C. Pereira, Paulo Paiva, Nuno Seco, Paulo Carreiro, José L. Ferreira, Carlos Bento
| pp.245-249
|
|
- Updating a Hybrid Rule Base with Changes to its Symbolic Source Knowledge
- Jim Prentzas, Ioannis Hatzilygeroudis
| pp.250-254
|
|
Knowledge Representation |
- Extending and Unifying Chronicle Representation with Event Counters
- Christophe Dousson
| pp.257-261
|
|
- The Complexity of Checking Redundancy of CNF Propositional Formulae
- Paolo Liberatore
| pp.262-266
|
|
- Compilation and Approximation of Conjunctive Queries by Concept Descriptions
- Francois Goasdoue, Marie-Christine Rousset
| pp.267-271
|
|
- Expressivity and Control in Limited Reasoning
- Marcelo Finger, Renata Wassermann
| pp.272-276
|
|
- Optimised Reasoning for SHIQ
- Ian Horrocks, Ulrike Sattler
| pp.277-281
|
|
- Automatic Learning in Proof Planning
- Mateja Jamnik, Manfred Kerber, Martin Pollet
| pp.282-286
|
|
- Approximating Propositional Knowledge with Affine Formulas
- Bruno Zanuttini
| pp.287-291
|
|
- Hypothesising Object Relations from Image Transitions
- Paulo Santos, Murray Shanahan
| pp.292-296
|
|
- A Graph-Based Knowledge Representation Language for Concept Description
- Alexandre Delteil, Catherine Faron
| pp.297-301
|
|
- Querying semistructured data using a rule-oriented XML query language
- Tadeusz Pankowski
| pp.302-306
|
|
- Sensing and revision in a modal logic of belief and action
- Andreas Herzig, Dominique Longin
| pp.307-311
|
|
- Qualitative Spatio-Temporal Reasoning with RCC-8 and Allen's Interval Calculus: Computational Complexity
- Alfonso Gerevini, Bernhard Nebel
| pp.312-316
|
|
- Reasoning about spatio-temporal relations at different levels of granularity
- Thomas Bittner
| pp.317-321
|
|
Machine Learning, Knowledge Discovery, Datamining |
- An Attribute Weight Setting Method for k-NN Based Binary Classification using Quadratic Programming
- Lu Zhang, Frans Coenen, Paul Leng
| pp.325-329
|
|
- AREX – Classification Rules Extracting Algorithm Based on Automatic Programming
- Vili Podgorelec, Peter Kokol, Ivan Rozman
| pp.330-334
|
|
- Music Performer Recognition Using an Ensemble of Simple Classifiers
- Efstathios Stamatatos, Gerhard Widmer
| pp.335-339
|
|
- Effective Stacking of Distributed Classifiers
- Grigorios Tsoumakas, Ioannis Vlahavas
| pp.340-344
|
|
- A new clustering algorithm based on the ants chemical recognition system
- Nicolas Labroche, Nicolas Monmarche, Gilles Venturini
| pp.345-349
|
|
- An Incremental Algorithm for Tree-shaped Bayesian Network Learning
- Josep Roure Alcobé
| pp.350-354
|
|
- Learning Information Extraction Rules: An Inductive Logic Programming approach
- James Stuart Aitken
| pp.355-359
|
|
- On the Representation and Combination of Evidence in Instance-Based Learning
- Eyke Hüllermeier
| pp.360-364
|
|
- Reinforcement Learning Integrated with a Non-Markovian Controller
- Istvan Szita, Balint Takacs, Andras Lorincz
| pp.365-369
|
|
- Multiple and Partial Periodicity Mining in Time Series Databases
- Christos Berberidis, Walid G. Aref, Mikhail Atallah, Ioannis Vlahavas, Ahmed K. Elmagarmid
| pp.370-374
|
|
- Object Identity as Search Bias for Pattern Spaces
- Francesca A. Lisi, Stefano Ferilli, Nicola Fanizzi
| pp.375-379
|
|
- On Determinism Handling While Learning Reduced State Space Representations
- Fernando Fernandez, Daniel Borrajo
| pp.380-384
|
|
- Mining maximal frequent itemsets by a boolean approach
- Ansaf Salleb, Zahir Maazouzi, Christel Vrain
| pp.385-389
|
|
- Semi Supervised Logistic Regression
- Massih-Reza Amini, Patrick Gallinari
| pp.390-394
|
|
- Multi-Pattern Wrappers for Relation Extraction from the Web
- Benjamin Habegger, Mohamed Quafafou
| pp.395-399
|
|
- From Margins to Probabilities in Multiclass Learning Problems
- Andrea Passerini, Massimiliano Pontil, Paolo Frasconi
| pp.400-404
|
|
Model-based Reasoning |
- Modelling Contextual Meta-Knowledge in Temporal Model Based Diagnosis
- J. Palma, R. Marín
| pp.407-411
|
|
- Dealing with Discontinuities in the Qualitative Simulation of Genetic Regulatory Networks
- Hidde de Jong, Jean-Luc Gouzé, Céline Hernandez, Michel Page, Tewfik Sari, Hans Geiselmann
| pp.412-416
|
|
- Can AI help to improve debugging substantially? Debugging Experiences with Value-Based Models
- Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa
| pp.417-421
|
|
- Towards an Integrated Debugging Environment
- Wolfgang Mayer, Markus Stumptner, Dominik Wieland, Franz Wotawa
| pp.422-426
|
|
- Diagnosis of Discrete-Event Systems with Model-Based Prospection Knowledge
- Roberto Garatti, Gianfranco Lamperti, Marina Zanella
| pp.427-431
|
|
Natural Language Processing |
- Parsing Natural Language using Guided Local Search
- Michael Daum, Wolfgang Menzel
| pp.435-439
|
|
- Saliency and the Attentional State in Natural Language Generation
- Chris Reed
| pp.440-444
|
|
- Adaptivity in Web-Based CALL
- Galia Angelova, Svetla Boytcheva, Ognian Kalaydjiev, Stefan Trausan-Matu, Preslav Nakov, Albena Strupchanska
| pp.445-449
|
|
- A lexical network and an algorithm to find words from definitions
- Dominique Dutoit, Pierre Nugues
| pp.450-454
|
|
- Natural Language Texts for a Cognitive Vision System
- Michael Arens, Artur Ottlik, Hans-Hellmut Nagel
| pp.455-459
|
|
- Towards Answer Extraction: An application to Technical Domains
- Fabio Rinaldi, James Dowdall, Michael Hess, Diego Molla, Rolf Schwitter
| pp.460-464
|
|
- Anything to Clarify? Report Your Parsing Ambiguities!
- Kerstin Bücher, Michael Knorr, Bernd Ludwig
| pp.465-469
|
|
- Predicting the Components of German Nominal Compounds
- Marco Baroni, Johannes Matiasek, Harald Trost
| pp.470-474
|
|
- Processing information of geogaphical databases within a dialogue system : a pivot system
- vincent maya
| pp.475-479
|
|
- Acquisition of conceptual domain dictionaries via decision tree learning
- Roberto Basili, Maria Teresa Pazienza, Fabio Massimo Zanzotto
| pp.480-484
|
|
- Empirical investigation of fast text classification over linguistic features
- Roberto Basili, Alessandro Moschitti, Maria Teresa Pazienza
| pp.485-489
|
|
Neural Networks |
- Chaotic Time Series Prediction with Neural Networks - Comparison of Several Architectures
- Rafal Mikolajczak, Jacek Mandziuk
| pp.493-497
|
|
- Neuro-Fuzzy Knowledge Representation for Toxicity Prediction of Organic Compounds
- Ciprian-Daniel Neagu, Emilio Benfenati, Giuseppina Gini, Paolo Mazzatorta, Alessandra Roncaglioni
| pp.498-502
|
|
- Non-negative matrix factorization extended by sparse code shrinkage and weight sparsification non-negative matrix factorization algorithms
- Botond Szatmary, Barnabas Poczos, Julian Eggert, Edgar Koerner, Andras Lorincz
| pp.503-507
|
|
- Enhancing First-Pass Attachment Prediction
- Fabrizio Costa, Paolo Frasconi, Vincenzo Lombardo, Patrick Sturt, Giovanni Soda
| pp.508-512
|
|
- A Simple Algorithm for Learning Stable Machines
- Savina Andonova, André Elisseeff, Theodoros Evgeniou, Massimiliano Pontil
| pp.513-517
|
|
Nonmonotonic Reasoning |
- Defeasible Logic with Dynamic Priorities
- Grigoris Antoniou
| pp.521-525
|
|
- Uncontroversial Default Logic
- Paolo Liberatore
| pp.526-530
|
|
- Linking Makinson and Kraus-Lehmann-Magidor preferential entailments
- Yves Moinard
| pp.531-535
|
|
- Notions of Attack and Justified Arguments for Extended Logic Programs
- Ralf Schweimeier, Michael Schroeder
| pp.536-540
|
|
- Iterated revision and the axiom of recovery: A unified treatment via epistemic states
- Samir Chopra, Aditya Ghose, Thomas Meyer
| pp.541-545
|
|
- Feature Integration as an Operation of Theory Change
- Hannah Harris, Mark Ryan
| pp.546-550
|
|
- Network-based Truth Maintenance System
- Subrata Das, David Lawless
| pp.551-555
|
|
Philosophical Foundations |
- Robot Free Will
- James Anderson
| pp.559-563
|
|
- A Pragmatic Theory of Induction
- John Bell
| pp.564-568
|
|
Planning |
- Extending FF to Numerical State Variables
- Joerg Hoffmann
| pp.571-575
|
|
- Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking
- Piergiorgio Bertoli, Alessandro Cimatti, John Slaney, Sylvie Thiebaux
| pp.576-580
|
|
- Combining Two Heuristics to Solve a Supply Chain Optimization Problem
- Hoong Chuin Lau, Yuyue Song
| pp.581-585
|
|
- A Temporal Planning System for Durative Actions of PDDL2.1
- Antonio Garrido, Maria Fox, Derek Long
| pp.586-590
|
|
- Representation of decision-theoretic plans as sets of symbolic decision rules
- Niels Peek
| pp.591-595
|
|
- Supporting goal based interaction with dynamic intelligent environments
- Thomas Heider, Thomas Kirste
| pp.596-600
|
|
Prestigous Applications of Intelligent Systems (PAIS) |
- DAI-DEPUR: An Environmental Decision Support System for the control and supervison of Municipal WasteWater Treatment Plants
- Ulises Cortes, Ignasi Rodriguez-Roda, Miquel Sanchez-Marre, Joaquim Comas, Christian Cortes, Manel Poch
| pp.603-607
|
|
- Personalized Adaptive Navigation for Mobile Portals
- Barry Smyth, Paul Cotter
| pp.608-612
|
|
- Benefits of a Knowledge-based System for Parenteral Nutrition Support: a Report after 5 Years of Routine Daily Use
- Werner Horn, Christian Popow, Silvia Miksch, Andreas Seyfang
| pp.613-617
|
|
- A Framework for Rapid Development of Advanced Web-based Configurator Applications
- Liliana Ardissono, Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker, Ralph Schaefer
| pp.618-622
|
|
- International Insurance Traffic with Software Agents
- Chris van Aart, Kris Van Marcke, Ruurd Pels, Jan Smulders
| pp.623-627
|
|
- IDD: Integrating Diagnosis in the Design of automotive systems
- Claudia Picardi, Rosanna Bray, Fulvio Cascio, Luca Console, Philippe Dague, David Millet, Bernd Rehfus, Peter Struss, Christian Vallée
| pp.628-632
|
|
- Programme driven music radio
- Conor Hayes, Padraig Cunningham, Patrick Clerkin, Marco Grimaldi
| pp.633-637
|
|
- Alarm Correlation in Traffic Monitoring and Control Systems: A Knowledge-Based Approach
- Stefania Bandini, Davide Bogni, Sara Manzoni
| pp.638-642
|
|
- A Neural Network Approach for Forestal Fire Risk Estimation
- Amparo Alonso-Betanzos, Oscar Fontenla-Romero, Bertha Guijarro-Berdiñas, Elena Hernandez Pereira, Juan Canda, Eulogio Jimenez, Jose Luis Legido, Susana Muñiz, Cristina Paz-Andrade, Maria Inmaculada Paz-Andrade
| pp.643-647
|
|
- Fault diagnosis of a continuous process using imprecise quantitative knowledge and causal models
- Bruno Heim, Sylviane Gentil, Sylvie Cauvin, Louise Travé-Massuyes, Bertrand Braunschweig
| pp.648-652
|
|
- AI on the Ocean: the RoboSail Project
- Martijn L. van Aartrijk, Claudio P. Tagliola, Pieter W. Adriaans
| pp.653-657
|
|
- Online Diagnosis of Engine Dyno Test Benches: A Possibilistic Approach
- Serge Boverie, Didier Dubois, Xavier Guérandel, Olivier de Mouzon, Henri Prade
| pp.658-662
|
|
Reasoning About uncertainty |
- Propagation of Multiple Observations in QPNs Revisited
- Silja Renooij, Linda C. van der Gaag, Simon Parsons
| pp.665-669
|
|
- Graph partitioning techniques for Markov Decision Processes decomposition
- Regis Sabbadin
| pp.670-674
|
|
- On the Complexity of the MPA Problem in Probabilistic Networks
- Hans L. Bodlaender, Frank van den Eijkhof, Linda C. van der Gaag
| pp.675-679
|
|
- Building Bayesian Networks through Ontologies
- Eveline M. Helsper, Linda C. van der Gaag
| pp.680-684
|
|
- Possibilistic logic representation of preferences: relating prioritized goals and satisfaction levels expressions
- Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade
| pp.685-689
|
|
- Bayesian Network Modelling by Qualitative Patterns
- Peter Lucas
| pp.690-694
|
|
- Bayesian Networks for Probabilistic Weather Prediction
- A.S. Cofiño, R. Cano, C. Sordo, J.M. Gutiérrez
| pp.695-699
|
|
Robotics |
- Anchoring Action Representation to Perception in a Mobile Robot
- Antonio Chella, Marcello Frixione, Salvatore Gaglio
| pp.703-707
|
|
- Learning to Ground Fact Symbols in Behavior-Based Robots
- Joachim Hertzberg, Herbert Jaeger, Frank Schönherr
| pp.708-712
|
|
- MIP: A New Hybrid Multi-Agent Architecture for the Coordination of a Robot Colony Activities
- Antonio Chella, Rosario Sorbello, Sabato Marco Siniscalchi, Salvatore Vitabile
| pp.713-717
|
|
Vision |
- A Deformation Tolerant Version of the Generalized Hough Transform for Image Retrieval
- Marco Anelli, Alessandro Micarelli, Enver Sangineto
| pp.721-725
|
|
- Shape Analysis and Classification using Landmarks: Polygonal Wavelet Transform
- Roberto Marcondes Cesar Jr, Celina Maki Takemura
| pp.726-730
|
|
- Pixel-based Behavior Learning
- louis Hugues, Alexis Drogoul
| pp.731-735
|
|
- Deriving Textual Descriptions of Road Traffic Queues from Video Sequences
- Ralf Gerber, Hans-Hellmut Nagel, Heiko Schreiber
| pp.736-740
|
|
- Modeling Interaction Using Learnt Qualitative Spatio-Temporal Relations and Variable Length Markov Models
- Aphrodite Galata, Anthony G. Cohn, Derek Magee, David Hogg
| pp.741-745
|
|
Author Index
|
Keyword Index
|