The 17th European Conference on Artificial Intelligence
Riva del Garda, Italy / Aug 28th - Sept 1st
Accepted Papers
| 23 | Beyond Singleton Arc Consistency |
| Marc Van Dongen | |
| 25 | Reaching Agreements for Coalition Formation through Derivation of Agents’ Intentions |
| Samir Aknine, Onn Shehory | |
| 28 | Contouring of Knowledge for Intelligent Searching for Arguments |
| Anthony Hunter | |
| 35 | Symmetry Breaking using Value Precedence |
| Toby Walsh | |
| 37 | Model-Based Failure Analysis with RODON |
| Karin Lunde, Ruediger Lunde, Burkhard Muenker | |
| 45 | Mean field approximation of the Policy Iteration algorithm for graph-based Markov decision processes |
| Nathalie Peyrard, Regis Sabbadin | |
| 47 | Decision with uncertainties, feasibilities, and utilities:towards a unified algebraic framework |
| Cédric Pralet, Gérard Verfaillie, Thomas Schiex | |
| 49 | Approximate linear-programming algorithms for graph-based Markov decision processes |
| Forsell Nicklas, Regis Sabbadin | |
| 53 | Approximation Properties of Planning Benchmarks |
| Malte Helmert, Robert Mattmüller,Gabi Röger | |
| 55 | Extracting MUSes |
| Eric Grégoire, Bertrand Mazure, Cédric Piette | |
| 56 | Flexible Provisioning of Service Workflows |
| Sebastian Stein, Nicholas R. Jennings,Terry Payne | |
| 59 | Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems |
| Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset | |
| 62 | Logic Programs with Multiple Chances |
| Francesco Buccafurri, Gianluca Caminiti,Domenico Rosaci | |
| 64 | Evaluating ASP and commercial solvers on the CSPLib |
| Marco Cadoli, Toni Mancini,Davide Micaletto, Fabio Patrizi | |
| 71 | Modal logics for communicating rule-based agents |
| Natasha Alechina, Mark Jago, Brian Logan | |
| 72 | CTL Model Update:Semantics, Computations, and Implementation, |
| lYulin Ding, Yan Zhang | |
| 84 | Boolean games revisited |
| Marie-Christine Lagasquie-Schiex, Jerome Lang, Elise Bonzon, Bruno Zanuttini | |
| 89 | Towards ACL semantics based on commitments and penalties |
| Florence Dupin de Saint-Cyr, Leila Amgoud | |
| 90 | Representing Relative Direction as Binary Relation of Oriented Points |
| Reinhard Moratz | |
| 91 | Heuristic Bidding Strategies for Multiple Heterogeneous Auctions |
| David Yuen, Andrew Byde, Nicholas R. Jennings | |
| 93 | Knowing Minimum/Maximum $n$ Formulae |
| Thomas Agotnes, Natasha Alechina | |
| 97 | Tracking the Lexical Zeitgeist with WordNet and Wikipedia |
| Tony Veale | |
| 99 | Interleaving belief revision and reasoning |
| Fariba Sadri, Francesca Toni | |
| 100 | Extracting MUCs from Constraint Networks |
| Fred Hemery, Christophe Lecoutre,Lakhdar Sais, Frederic Boussemart | |
| 101 | An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information |
| Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James Barry | |
| 113 | Possibilistic Influence Diagrams |
| Laurent GARCIA, Regis Sabbadin | |
| 115 | Imitation of intentional behaviour |
| Bart Jansen | |
| 117 | Maintaining Generalized Arc Consistency on General n-ary Boolean Constraints |
| Kenil Cheng, Roland Yap | |
| 120 | Verifying Interlevel Relations within Multi-Agent Systems |
| Alexei Sharpanskykh, Jan Treur | |
| 125 | Evaluating Interaction Initiation in Virtual Environments using Humanoid Agents |
| Christopher Peters | |
| 126 | Goal Types in Agent Programming |
| Mehdi Dastani, Birna van Riemsdijk, John-Jules Meyer | |
| 127 | Programming Agents with Emotions |
| Mehdi Dastani, John-Jules Meyer | |
| 130 | ECUE:A Spam Filter that Uses Machine Learning to Track Concept Drift |
| Sarah Jane Delany, Padraig Cunningham | |
| 131 | General Concept Inclusions in Fuzzy Description Logics |
| George Stoilos, Umberto Straccia, George Stamou, Jeff Pan | |
| 137 | Asynchronous Forward-Bounding for Distributed Constraints Optimization |
| Amir Gershman, Amnon Meisels, Roie Zivan | |
| 140 | Bridging the Gap between Informal and Formal Guideline Representations |
| Andreas Seyfang, Silvia Miksch, Mar Marcos, Jolanda Wittenberg, Cristina Polo-Conde, Kitty Rosenbrand | |
| 154 | Knowledge-based Recommenders:Technologies and Experiences from Projects |
| Alexander Felfernig, Klaus Isak, Christian Russ | |
| 159 | A Unified Model for Multilabel Classification and Ranking |
| Klaus Brinker, Johannes Fürnkranz, Eyke Huellermeier | |
| 162 | Testing the limits of emergent behavior in MAS using learning of cooperative behavior |
| Jordan Kidney, Jörg Denzinger | |
| 169 | Compiling possibilistic knowledge bases |
| Salem Benferhat, Henri Prade | |
| 170 | Using Occlusion Calculi to Interpret Digital Images |
| David Randell, Mark Witkowski | |
| 174 | Causation as Production |
| John Bell | |
| 176 | A Real generalization of discrete AdaBoost |
| Richard Nock, Frank Nielsen | |
| 185 | Enhancing constraints manipulation in semiring-based formalisms |
| Stefano Bistarelli, Fabio Gadducci | |
| 186 | Acquisition of Entailment Knowledge from Text |
| Viktor Pekar | |
| 190 | Unified Definition of Heuristics for Classical Planning |
| Jussi Rintanen | |
| 193 | Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models |
| Radu Marinescu, Rina Dechter | |
| 197 | Strong Cyclic Planning under Partial Observability |
| Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore | |
| 198 | Are Parallel BDI Agents Really Better? |
| Huiliang Zhang, Huang Shell Ying | |
| 203 | Merging possibilistic networks |
| Salem Benferhat | |
| 204 | On Probing and Multi-Threading in Platypus |
| Jean Gressmann, Tomi Janhunen, Robert Mercer, Torsten Schaub, Richard Tichy, Sven Thiele | |
| 207 | Applying Trip@dvice Recommendation Technology to www.visiteurope.com |
| Venturini Adriano, Francesco Ricci | |
| 208 | On the Inability of Gathering by Asynchronous Mobile Robots with Initial Movements |
| Katreniakova Jana, Katreniak Branislav | |
| 209 | Automatic Generation of Implied Constraints |
| John Charnley, Simon Colton, Ian Miguel | |
| 214 | Inverse Consistencies for Non-binary Constraints |
| Konstantinos Stergiou, Toby Walsh | |
| 215 | Discovering Missing Background Knowledge in Ontology Matching |
| Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich | |
| 218 | Plan-Based Configuration of a Group of Robots |
| Robert Lundh, Lars Karlsson, Alessandro Saffiotti | |
| 219 | Automatic term categorization by extracting knowledge from the Web |
| Leonardo Rigutini, Ernesto Di Iorio, Marco Ernandes, Marco Maggini | |
| 220 | MSDA:Wordsense discrimination using context vectors and attributes |
| Abdulrahman Almuhareb, Massimo Poesio | |
| 221 | A Solver for QBFs in Nonprenex Form |
| Stefan Woltran, Uwe Egly, Martina Seidl | |
| 224 | Guiding Search using Constraint-level Advice |
| Radoslaw Szymanek, Barry O'Sullivan | |
| 229 | Elaborating domain descriptions |
| Andreas Herzig, Laurent Perrussel, Ivan Varzinczak | |
| 230 | Cognitive Situated Agents Learn to Name Action |
| julien poudade, lionel landwerlin, paroubek patrick | |
| 239 | Background default knowledge and causality ascriptions |
| Jean-François Bonnefon, Rui Da Silva Neves, Didier Dubois, Henri Prade | |
| 245 | A learning classifier approach to tomography |
| Kees Joost Batenburg | |
| 250 | Comparing sets of positive and negative arguments:Empirical assessment of seven qualitative rules |
| Jean-François Bonnefon, Hélène Fargier | |
| 252 | Coalition Structure Generation in Task-Based Settings |
| Dung Dang, Nicholas R. Jennings | |
| 259 | Auction Mechanisms for efficient Advertisment Selection on Public Display |
| Terry Payne, Esther David, Nicholas R. Jennings, Matthew Sharifi | |
| 272 | 272: Learning from Concept-Drifting Spatial-Temporal Data through Selective Support Vectors Propagation |
| Yilian Qin, Zoran Obradovic | |
| 275 | History-Based Inside-Outside Algorithm |
| Heshaam Feili, Gholam-Reza Ghassem-San | |
| 279 | Self-Organizing Multiagent Approach to Optimization in Positioning Problems |
| Sana Moujahed, Olivier Simonin, Abderrafiâa Koukam, Khaled Ghédira | |
| 282 | Solving Optimization Problems with DLL |
| Enrico Giunchiglia, Marco Maratea | |
| 294 | A similarity and fuzzy logic-based approach to cerebral categorisation |
| Julien Erny, Henri Prade, Josette Pastor | |
| 301 | Multi-Objective Propagation in Constraint Programming |
| Javier Larrosa, Emma Rollon | |
| 302 | Learning Behaviors Models for Robot Execution Control |
| Guillaume Infantes, Felix Ingrand, Malik Ghallab | |
| 305 | Coordination through Inductive Meaning Negotiation |
| Alessandro Agostini | |
| 310 | Arguing with Confidential Information |
| Nir Oren, Timothy Norman, Alun Preece | |
| 312 | Boolean Propagation Based on Literals for Quantified Boolean Formulae |
| Igor Stéphan | |
| 316 | Alternating-Offers Bargaining under One-Sided Uncertainty on Deadlines, |
| Francesco Di Giunta, Nicola Gatti | |
| 317 | An architecture for Interactive Musical Agents |
| David Murray-Rust, Alan Smaill, Michael Edwards | |
| 322 | Situation Assessment for Sensor-based Recovery Planning |
| Abdelbaki BOUGUERRA, Lars Karlsson, Alessandro Saffiotti | |
| 324 | Depth Ordering and Figure-Ground Segregation derived from Illusory Contour Perception |
| Marcus Hund | |
| 329 | Emergence control in cognitive and autonomous agent systems |
| lCaroline Chopinaud, Amal El Fallah Seghrouchni, Patrick Taillibert | |
| 334 | Cheating is not playing |
| Bruno Beaufils, Philippe MATHIEU | |
| 347 | Disambiguating Personal Names on the Web using Automatically Extracted Key Phrases |
| Danushka Bollegala | |
| 351 | Software Companion, the MEXAR Support to Space Mission Planners |
| Amedeo Cesta, Gabriella Cortellessa, Simone Fratini, Angelo Oddi, Nicola Policella | |
| 356 | Abductive Logic Programming in the Clinical Management of HIV/AIDS |
| Oliver Ray, Athos Antoniades, Antonis Kakas, Ioannis Demetriades | |
| 361 | Knowledge Engineering for Bayesian Networks:How Common Are Noisy-MAX Distributions in Practice |
| Adam Zagorecki, Marek Druzdzel | |
| 366 | Strengthening Admissible Coalitions |
| Guido Boella, Luigi Sauro, Leendert van der Torre | |
| 369 | Last conflict based Reasoning |
| Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal | |
| 378 | Web-Based Tools for Codification with Medical Ontologies in Switzerland |
| Thorsten Kurz, Kilian Stoffel | |
| 383 | Improving Bound Propagation |
| Bozhena Bidyuk, Rina Dechter | |
| 385 | Conceptual hierarchies matching :an approach based on discovery of implication rules between concepts |
| Jérôme DAVID, Fabrice GUILLET, Régis GRAS, Henri BRIAND | |
| 386 | Minion:Lean, Fast Constraint Solving |
| Ian Gent, Christopher Jefferson, Ian Miguel | |
| 391 | An Efficient Upper Approximation for Conditional Preference |
| Nic Wilson | |
| 395: | Approximating Extended Answer Sets |
| Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir | |
| 397 | Compact Representation of Sets of Binary Constraints |
| Jussi Rintanen | |
| 407 | Return of the JTMS:Preferences Orchestrate Conflict Learning and Solution Synthesis |
| Ulrich Junker, Olivier Lhomme | |
| 414 | Dynamic Control of Intention Priorities of Human-like Agents |
| Huiliang Zhang, Huang Shell Ying | |
| 419 | Efficient Knowledge Acquisition for Extracting Temporal Relations |
| Son Pham, Achim Hoffmann | |
| 424 | Resolving Conflicts in Action Descriptions |
| Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko | |
| 434 | Search for Compromise Solutions in Multiobjective State Space Graphs |
| Lucie Galand, Patrice Perny | |
| 438: | Distributed Log-based Reconciliation |
| Youssef Hamadi, Yek Chong | |
| 442 | Argument Based Rule Learning |
| Martin Mozina, Jure Zabkar, Ivan Bratko | |
| 443 | Reference-dependent Qualitative Models for Decision Making under Uncertainty |
| Patrice Perny, Antoine Rolland | |
| 445 | Least Squares SVM for Least Squares TD Learning |
| Tobias Jung, Daniel Polani | |
| 446 | Strategic Farsighted Learning in Competitive Multi-Agent Games |
| Pieter Jan 't Hoen, Sander Bohte, Han Lapoutre | |
| 457 | Modular Equivalence for Normal Logic Programs |
| Emilia Oikarinen, Tomi Janhunen | |
| 468 | Advanced Policy Explanations |
| Piero Bonatti, Daniel Olmedilla, Joachim Peer | |
| 483 | Diagnosing Highly Configurable Products - Troubleshooting Support for Airbus Final Assembly Line |
| Andreas Junghanns, Mugur Tatar | |
| 489 | A New Semantics for the FIPA Agent Communication Language based on Social Attitudes |
| Benoit GAUDOU, Andreas HERZIG, Dominique LONGIN, Matthias NICKLES | |
| 492 | A Client/Server User-Based Collaborative Filtering Algorithm:Model and Implementation |
| Sylvain Castagnos, Anne Boyer | |
| 498 | An Axiomatic Approach in Qualitative Decision Theory with Binary PossibilisticUtility |
| Paul Weng | |
| 499 | Dramatization meets information presentation |
| Vincenzo Lombardo | |
| 500 | Preference representation with 3-points interval |
| Meltem Ozturk, Alexis Tsoukias | |
| 502 | Integrating Domain and Paradigmatic Similarity for Unsupervised Sense Tagging |
| Roberto Basili, Marco Cammisa, Alfio Gliozzo | |
| 507 | A Multivalued logic model of planning |
| Marco Baioletti, Alfredo Milani, Valentina Poggioni, Silvia Suriani | |
| 510 | Graph Neural Networks for Object Localization |
| Gabriele Monfardini, Vincenzo Di Massa, Franco Scarselli, Marco Gori | |
| 512 | A logic-based framework to compute Pareto agreements in one-shot bilateral negotiation |
| Tommaso Di Noia, Eugenio Di Sciascio, Francesco Donini, Azzurra Ragon | |
| 517 | Learning by Automatic Option Discovery from Conditionally Terminating Sequences |
| Sertan Girgin, Faruk Polat, Reda Alhajj | |
| 519 | Random Subset Optimization |
| Boi Faltings, Quang Huy Nguyen | |
| 521 | Pessimistic Heuristics Beat Optimistic Ones in Real-Time Search |
| Aleksander Sadikov, Ivan Bratko | |
| 525 | Mediation in the Framework of Morphologic |
| Isabelle Bloch, Ramon Pino-Perez, Carlos Uzcategui | |
| 528 | A study on the short-term prohibition mechanisms in tabu search |
| Luca Di Gaspero,Marco Chiarandini, Andrea Schaerf | |
| 532 | Shallow Semantic Parsing Based on FrameNet, VerbNet and PropBank |
| Ana-Maria Giuglea, Alessandro Moschitti | |
| 533 | Preference-based Inconsistency Proving:When the Failure of the Best Is Sufficient |
| Ulrich Junker | |
| 535 | Computational Opinions |
| Felix Fischer, Matthias Nickles | |
| 540 | Semantic Tree Kernels to classify Predicate Argument Structures |
| Alessandro Moschitti, Bonaventura Coppola, Daniele Pighin, Roberto Basili | |
| 557 | Natural and intuitive multimodal dialogue for In-Car Applications:The SAMMIE System |
| Tilman Becker, Ciprian Gerstenberger, Ivana Kruijff-Korbayova, Andreas Korthauer, Manfred Pinkal, Michael Pitz, Peter Poller, Jan Schehl | |
| 572 | Relation between web site colour and site credibility:A probabilistic modelling approach |
| Eleftherios Papachristos, Nikolaos Tselios, Nikolaos Avouris | |
| 574 | On the logic of theory change:Relations between incision and selection functions |
| Gabriele Kern-Isberner, Marcelo Falappa, Eduardo Ferme | |
