Invited Talks

• 
  Cynthia Breazeal: Socially Intelligent Robots. 3
• 
  Fausto Giunchiglia: Managing Diversity in Knowledge. 4
• 
  Hector J. Levesque: The Truth About Defaults. 5
• 
  Wolfgang Wahlster: SmartWeb: Getting Answers on the Go. 6

Cognitive Modelling

• 
  Jean-François Bonnefon, Rui Da Silva Neves, Didier Dubois, Henri Prade: Background Default Knowledge and Causality Ascriptions. 11-15
• 
  Jean-François Bonnefon, Hélène Fargier: Comparing Sets of Positive and Negative Arguments: Empirical Assessment of Seven Qualitative Rules. 16-20
• 
  Julien Erny, Josette Pastor, Henri Prade: A Similarity and Fuzzy Logic-Based Approach to Cerebral Categorisation. 21-25
• 
  Bart Jansen: Imitation of Intentional Behaviour. 26-30
• 
  Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo, Fabrizio Nunnari: Dramatization Meets Narrative Presentations. 31-35
• 
  David Murray-Rust, Alan Smaill, Michael Edwards: MAMA: An Architecture for Interactive Musical Agents. 36-40
• 
  Eleftherios Papachristos, Nikolaos K. Tselios, Nikolaos M. Avouris: Bayesian Modelling of Colour's Usage Impact to Web Credibility. 41-45
• 
  Christopher Peters: Evaluating Perception of Interaction Initiation in Virtual Environments Using Humanoid Agents. 46-50
• 
  Julien Poudade, Lionel Landwerlin, Patrick Paroubek: Cognitive Situated Agents Learn to Name Actions. 51-55
• 
  Tony Veale: Tracking the Lexical Zeitgeist with WordNet and Wikipedia. 56-

Constraints and Search

• 
  Stefano Bistarelli, Fabio Gadducci: Enhancing Constraints Manipulation in Semiring-Based Formalisms. 63-67
• 
  Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi: Evaluating ASP and Commercial Solvers on the CSPLib. 68-72
• 
  John Charnley, Simon Colton, Ian Miguel: Automatic Generation of Implied Constraints. 73-77
• 
  Kenil C. K. Cheng, Roland H. C. Yap: Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints. 78-82
• 
  Luca Di Gaspero, Marco Chiarandini, Andrea Schaerf: A Study on the Short-Term Prohibition Mechanisms in Tabu Search. 83-87
• 
  Boi Faltings, Quang Huy Nguyen: Random Subset Optimization. 88-92
• 
  Lucie Galand, Patrice Perny: Search for Compromise Solutions in Multiobjective State Space Graphs. 93-97
• 
  Ian P. Gent, Christopher Jefferson, Ian Miguel: Minion: A Fast Scalable Constraint Solver. 98-102
• 
  Amir Gershman, Amnon Meisels, Roie Zivan: Asynchronous Forward-Bounding for Distributed Constraints Optimization. 103-107
• 
  Yek Loong Chong, Youssef Hamadi: Distributed Log-Based Reconciliation. 108-112
• 
  Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart: Extracting MUCs from Constraint Networks. 113-117
• 
  Ulrich Junker: Preference-Based Inconsistency Proving: When the Failure of the Best Is Sufficient. 118-122
• 
  Ulrich Junker, Olivier Lhomme: Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis. 123-127
• 
  Emma Rollon, Javier Larrosa: Multi-Objective Propagation in Constraint Programming. 128-132
• 
  Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal: Last Conflict Based Reasoning. 133-137
• 
  Radu Marinescu, Rina Dechter: Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models. 138-142
• 
  Jussi Rintanen: Compact Representation of Sets of Binary Constraints. 143-147
• 
  Aleksander Sadikov, Ivan Bratko: Pessimistic Heuristics Beat Optimistic Ones in Real-Time Search. 148-152
• 
  Kostas Stergiou, Toby Walsh: Inverse Consistencies for Non-Binary Constraints. 153-157
• 
  Radoslaw Szymanek, Barry O'Sullivan: Guiding Search Using Constraint-Level Advice. 158-162
• 
  Marc R. C. van Dongen: Beyond Singleton Arc Consistency. 163-167
• 
  Toby Walsh: Symmetry Breaking Using Value Precedence. 168-

Distributed AI/Agents

• 
  Alessandro Agostini: Coordination Through Inductive Meaning Negotiation. 175-179
• 
  Samir Aknine, Onn Shehory: Reaching Agreements for Coalition Formation Through Derivation of Agents' Intentions. 180-184
• 
  Bruno Beaufils, Philippe Mathieu: Cheating Is Not Playing: Methodological Issues of Computational Game Theory. 185-189
• 
  Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui: Mediation in the Framework of Morpho-Logic. 190-194
• 
  Guido Boella, Luigi Sauro, Leendert W. N. van der Torre: Strengthening Admissible Coalitions. 195-199
• 
  Piero A. Bonatti, Daniel Olmedilla, Joachim Peer: Advanced Policy Explanations on the Web. 200-204
• 
  Caroline Chopinaud, Amal El Fallah-Seghrouchni, Patrick Taillibert: Prevention of Harmful Behaviors Within Cognitive and Autonomous Agents. 205-209
• 
  Viet Dung Dang, Nicholas R. Jennings: Coalition Structure Generation in Task-Based Settings. 210-214
• 
  Mehdi Dastani, John-Jules Ch. Meyer: Programming Agents with Emotions. 215-219
• 
  Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Goal Types in Agent Programming. 220-224
• 
  Francesco Di Giunta, Nicola Gatti: Alternating-Offers Bargaining Under One-Sided Uncertainty on Deadlines. 225-229
• 
  Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation. 230-234
• 
  Leila Amgoud, Florence Dupin de Saint-Cyr: Towards ACL Semantics Based on Commitments and Penalties. 235-239
• 
  Felix A. Fischer, Matthias Nickles: Computational Opinions. 240-244
• 
  Benoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles: A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes. 245-249
• 
  Anthony Hunter: Contouring of Knowledge for Intelligent Searching for Arguments. 250-254
• 
  Branislav Katreniak, Jana Katreniaková: On the Inability of Gathering by Asynchronous Mobile Robots with Initial Movements. 255-259
• 
  Jordan Kidney, Jörg Denzinger: Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior. 260-264
• 
  Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang, Bruno Zanuttini: Boolean Games Revisited. 265-269
• 
  Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James Barry: An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information. 270-274
• 
  Sana Moujahed, Olivier Simonin, Abderrafiaa Koukam, Khaled Ghédira: Self-Organizing Multiagent Approach to Optimization in Positioning Problems. 275-279
• 
  Nir Oren, Timothy J. Norman, Alun D. Preece: Arguing with Confidential Information. 280-284
• 
  Terry R. Payne, Esther David, Nicholas R. Jennings, Matthew Sharifi: Auction Mechanisms for Efficient Advertisement Selection on Public Displays. 285-289
• 
  Alexei Sharpanskykh, Jan Treur: Verifying Interlevel Relations Within Multi-Agent Systems. 290-294
• 
  Sebastian Stein, Nicholas R. Jennings, Terry R. Payne: Flexible Provisioning of Service Workflows. 295-299
• 
  David C. K. Yuen, Andrew Byde, Nicholas R. Jennings: Heuristic Bidding Strategies for Multiple Heterogeneous Auctions. 300-304
• 
  Huiliang Zhang, Shell-Ying Huang: Are Parallel BDI Agents Really Better? 305-309
• 
  Huiliang Zhang, Shell-Ying Huang: Dynamic Control of Intention Priorities of Human-Like Agents. 310-

Knowledge Representation and Reasoning

• 
  Thomas Ågotnes, Natasha Alechina: Knowing Minimum/Maximum n Formulae. 317-321
• 
  Natasha Alechina, Mark Jago, Brian Logan: Modal Logics for Communicating Rule-Based Agents. 322-326
• 
  John Bell: Causation as Production. 327-331
• 
  Salem Benferhat: Merging Possibilistic Networks. 332-336
• 
  Salem Benferhat, Henri Prade: Compiling Possibilistic Knowledge Bases. 337-341
• 
  Bozhena Bidyuk, Rina Dechter: Improving Bound Propagation. 342-346
• 
  Francesco Buccafurri, Gianluca Caminiti, Domenico Rosaci: Logic Programs with Multiple Chances. 347-351
• 
  Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset: Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems. 352-356
• 
  Jérôme David, Fabrice Guillet, Régis Gras, Henri Briand: Conceptual Hierarchies Matching: An Approach Based on Discovery of Implication Rules Between Concepts. 357-361
• 
  Yulin Ding, Yan Zhang: CTL Model Update: Semantics, Computations and Implementation. 362-366
• 
  Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko: Resolving Conflicts in Action Descriptions. 367-371
• 
  Laurent Garcia, Régis Sabbadin: Possibilistic Influence Diagrams. 372-376
• 
  Enrico Giunchiglia, Marco Maratea: Solving Optimization Problems with DLL. 377-381
• 
  Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich: Discovering Missing Background Knowledge in Ontology Matching. 382-386
• 
  Éric Grégoire, Bertrand Mazure, Cédric Piette: Extracting MUSes. 387-391
• 
  Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy: On Probing and Multi-Threading in Platypus. 392-396
• 
  Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak: Elaborating Domain Descriptions. 397-401
• 
  Marcelo A. Falappa, Eduardo L. Fermé, Gabriele Kern-Isberner: On the Logic of Theory Change: Relations Between Incision and Selection Functions. 402-406
• 
  Reinhard Moratz: Representing Relative Direction as a Binary Relation of Oriented Points. 407-411
• 
  Emilia Oikarinen, Tomi Janhunen: Modular Equivalence for Normal Logic Programs. 412-416
• 
  Meltem Öztürk, Alexis Tsoukiàs: Preference Representation with 3-Points Intervals. 417-421
• 
  Patrice Perny, Antoine Rolland: Reference-Dependent Qualitative Models for Decision Making Under Uncertainty. 422-426
• 
  Cédric Pralet, Gérard Verfaillie, Thomas Schiex: Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. 427-431
• 
  David A. Randell, Mark Witkowski: Using Occlusion Calculi to Interpret Digital Images. 432-436
• 
  Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades: Abductive Logic Programming in the Clinical Management of HIV/AIDS. 437-441
• 
  Fariba Sadri, Francesca Toni: Interleaving Belief Updating and Reasoning in Abductive Logic Programming. 442-446
• 
  Andreas Seyfang, Silvia Miksch, Mar Marcos, Jolanda Wittenberg, Cristina Polo-Conde, Kitty Rosenbrand: Bridging the Gap Between Informal and Formal Guideline Representations. 447-451
• 
  Igor Stéphan: Boolean Propagation Based on Literals for Quantified Boolean Formulae. 452-456
• 
  Giorgos Stoilos, Umberto Straccia, Giorgos B. Stamou, Jeff Z. Pan: General Concept Inclusions inFluzzy Description Logics. 457-461
• 
  Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir: Approximating Extended Answer Sets. 462-466
• 
  Paul Weng: An Axiomatic Approach in Qualitative Decision Theory with Binary Possibilistic Utility. 467-471
• 
  Nic Wilson: An Efficient Upper Approximation for Conditional Preference. 472-476
• 
  Uwe Egly, Martina Seidl, Stefan Woltran: A Solver for QBFs in Nonprenex Form. 477-481
• 
  Adam Zagorecki, Marek J. Druzdzel: Knowledge Engineering for Bayesian Networks: How Common Are Noisy-MAX Distributions in Practice? 482-

Machine Learning

• 
  Klaus Brinker, Johannes Fürnkranz, Eyke Hüllermeier: A Unified Model for Multilabel Classification and Ranking. 489-493
• 
  Sertan Girgin, Faruk Polat, Reda Alhajj: Learning by Automatic Option Discovery from Conditionally Terminating Sequences. 494-498
• 
  Tobias Jung, Daniel Polani: Least Squares SVM for Least Squares TD Learning. 499-503
• 
  Martin Mozina, Jure Zabkar, Ivan Bratko: Argument Based Rule Learning. 504-508
• 
  Richard Nock, Frank Nielsen: A Real Generalization of Discrete AdaBoost. 509-515
• 
  Viktor Pekar: Discovery of Entailment Relations from Event Co-Occurrences. 516-520
• 
  Son Bao Pham, Achim G. Hoffmann: Efficient Knowledge Acquisition for Extracting Temporal Relations. 521-525
• 
  Yilian Qin, Zoran Obradovic: Efficient Learning from Massive Spatial-Temporal Data Through Selective Support Vector Propagation. 526-530
• 
  Leonardo Rigutini, Ernesto Di Iorio, Marco Ernandes, Marco Maggini: Automatic Term Categorization by Extracting Knowledge from the Web. 531-535
• 
  Pieter Jan't Hoen, Sander M. Bohte, Han La Poutré: Strategic Foresighted Learning in Competitive Multi-Agent Games. 536-

Natural Language Processing

• 
  Abdulrahman Almuhareb, Massimo Poesio: MSDA: Wordsense Discrimination Using Context Vectors and Attributes. 543-547
• 
  Roberto Basili, Marco Cammisa, Alfio Massimiliano Gliozzo: Imegrating Domain and Paradigmatic Similarity for unsupervised Sense Tagging. 548-552
• 
  Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka: Disambiguating Personal Names on the Web Using Automatically Extracted Key Phrases. 553-557
• 
  Heshaam Feili, Gholamreza Ghassem-Sani: Hisory-Based Inside-Outside Algorithm. 558-562
• 
  Ana-Maria Giuglea, Alessandro Moschitti: Shallow Semantic Parsing Based on FrameNet, VerbNet and PropBank. 563-567
• 
  Alessandro Moschitti, Bonaventura Coppola, Daniele Pighin, Roberto Basili: Semantic Tree Kernels to Classify Predicate Argument Structures. 568-

Planning and Scheduling

• 
  Marco Baioletti, Alfredo Milani, Valentina Poggioni, Silvia Suriani: A Multivalued Logic Model of Planning. 575-579
• 
  Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore: Stong Cyclic Planning Under Partial Observability. 580-584
• 
  Malte Helmert, Robert Mattmüller, Gabriele Röger: Aproximation Properties of Planning Benchmarks. 585-589
• 
  Nicklas Forsell, Régis Sabbadin: Approximate Linear-Programming Algorithms for Graph-Based Markov Decision Processes. 590-599
• 
  Nathalie Peyrard, Régis Sabbadin: Mean Field Approximation of the Policy Iteration Algorithm for Graph-Based Markov Decision Processes. 595-599
• 
  Jussi Rintanen: Unified Definition of Heuristics for Classical Planning. 600-

PAIS

• 
  Adriano Venturini, Francesco Ricci: Aplying Trip@dvice Recommendation Technology to www.visiteurope.com. 607-611
• 
  Tilman Becker, Nate Blaylock, Ciprian Gerstenberger, Ivana Kruijff-Korbayová, Andreas Korthauer, Manfred Pinkal, Michael Pitz, Peter Poller, Jan Schehl: Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System. 612-616
• 
  Sylvain Castagnos, Anne Boyer: A Client/Server User-Based Collaborative Filtering Algorithm: Model and Implementation. 617-621
• 
  Amedeo Cesta, Gabriella Cortellessa, Simone Fratini, Angelo Oddi, Nicola Policella: Software Companion: The Mexar2 Support to Space Mission Planners. 622-626
• 
  Sarah Jane Delany, Padraig Cunningham, Barry Smyth: ECUE: A Spam Filter that Uses Machine Leaming to Track Concept Drift. 627-
• 
  Alexander Felfernig, Klaus Isak, Christian Russ: Knowledge-Based Recommendation: Technologies and Experiences from Projects. 632-636
• 
  Andreas Junghanns, Mugur M. Tatar: Diagnosing Highly Configurable Products: Troubleshooting Support for Airbus Final Assembly Line. 637-641
• 
  Thorsten Kurz, Kilian Stoffel: Web-Based Tools for Codification with Medical Ontologies in Switzerland. 642-646
• 
  Karin Lunde, Rüdiger Lunde, Burkhard Münker: Model-Based Failure Analysis with RODON. 647-

Perception

• 
  Kees Joost Batenburg: A Learning Classifier Approach to Tomography. 655-659
• 
  Marcus Hund, Bärbel Mertsching: Depth Ordering and Figure-Grounil Segregation in Monocular Images Derived from Illusory Contour Perception. 660-664
• 
  Gabriele Monfardini, Vincenzo Di Massa, Franco Scarselli, Marco Gori: Graph Neural Networks for Object Localization. 665-

Robotics

• 
  Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saffiotti: Situation Assessment for Sensor-Based Recovery Planning. 673-677
• 
  Guillaume Infantes, Félix Ingrand, Malik Ghallab: Learning Behaviors Models for Robot Execution Control. 678-682
• 
  Robert Lundh, Lars Karlsson, Alessandro Saffiotti: Plan-Based Configuration of a Group of Robots. 683-

Posters: Cognitive Modeling

• 
  Cristiano Castelfranchi, Rino Falcone, Michele Piunti: Agents with Anticipatory Behaviors: To Be Cautious in a Risky Environment. 693-694
• 
  Oliver Kramer, Benno Stein, Jürgen Wall: AI and Music: Toward a Taxonomy of Problem Classes. 695-696
• 
  Maria Malfaz, Miguel Angel Salichs: Using Emotions for Behaviour-Selection Learning. 697-698

Posters: Constraints and Search

• 
  David A. Burke, Kenneth N. Brown: Efficient Handling of Complex Local Problems in Distributed Constraint Optimization. 701-702
• 
  Steven Halim, Roland H. C. Yap, Hoong Chuin Lau: Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms. 703-704
• 
  Stefano Bistarelli, Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable: Bipolar Preference Problems. 705-706
• 
  Patrick Prosser, Chris Unsworth: A Connectivity Constraint Using Bridges. 707-708

Posters: Distributed Al/Agents

• 
  Samir Aknine: Search Better and Gain More: Investigating New Graph Structures for Multi-Agent Negotiations. 711-712
• 
  Leila Amgoud, Nabil Hameurlain: An Argumentation-Based Framework for Designing Dialogue Strategies. 713-714
• 
  Francesco Amigoni, Simone Farè, Michèle Lavagna, Guido Sangiovanni: A Multiagent System for Scheduling Activities Onboard a Space System. 715-716
• 
  Andrea Giovannucci, Jesús Cerquides, Juan A. Rodríguez-Aguilar: Benefits of Combinatorial Auctions with Transformability Relationships. 717-718
• 
  Guido Boella, Leendert W. N. van der Torre: Count-As Conditionals, Classification and Context. 719-720
• 
  Guido Boella, Leendert W. N. van der Torre: Fair Distribution of Collective Obligations. 721-722
• 
  Loes M. M. Braun, Floris Wiesman, H. Jaap van den Herik, Arie Hasman: Proactive Identification of a Physician's Information Needs. 723-724
• 
  Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert: Acyclic Argumentation: Attack = Conflict + Preference. 725-726
• 
  Michal Laclavik, Marian Babik, Zoltan Balogh, Emil Gatial, Ladislav Hluchý: Semantic Knowledge Model and Architecture for Agents in Discrete Environments. 727-728
• 
  Julien Laumonier, Brahim Chaib-draa: Partial Local FriendQ Multiagent Learning: Application to Team Automobile Coordination Problem. 729-730
• 
  Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer: Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach. 731-732
• 
  Victor Palmer: Multi-Agent Least-Squares Policy Iteration. 733-734

Posters: Knowledge Representation and Reasoning

• 
  Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti: Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts. 737-738
• 
  Mikael Asker, Jacek Malec: A Semantics for Active Logic. 739-740
• 
  Salem Benferhat, Daniel Le Berre, Karima Sedki: An Alternative Inference for Qualitative Choice Logic. 741-742
• 
  Martin Caminada, Chiaki Sakama: On the Existence of Answer Sets in Normal Extended Logic Programs. 743-744
• 
  Theodore Charitos: Smoothed Particle Filtering for Dynamic Bayesian Networks. 745-746
• 
  Célia da Costa Pereira, Andrea Tettamanzi, Leila Amgoud: Goal Revision for a Rational Agent. 747-748
• 
  Viktor de Boer, Maarten van Someren, Bob J. Wielinga: A Redundancy-Based Method for Relation Instantiation from the Web. 749-750
• 
  Robert Demolombe, Philippe Bretier, Vincent Louis: Norms with Deadlines in Dynamic Deontic Logic. 751-752
• 
  Alberto Finzi, Thomas Lukasiewicz: Adaptive Multi-Agent Programming in GTGolog. 753-754
• 
  Alfredo Gabaldon: Formalizing Complex Task Libraries in Golog. 755-756
• 
  Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Automated Deduction for Logics of Default Reasoning. 757-758
• 
  Björn Gottfried: Reasoning About Motion Patterns. 759-760
• 
  Catherine Howard, Markus Stumptner: Applying OPRMs to Recursive Probability Models. 761-762
• 
  Philippe Besnard, Jérôme Lang, Pierre Marquis: Variable Forgetting in Preference Relations over Propositional Domains. 763-764
• 
  Francesca A. Lisi, Floriana Esposito: Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement. 765-766
• 
  Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh: Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences. 767-768
• 
  Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub: What's a Head Without a Body? 769-770
• 
  Ján Sefránek, Jozef Siika: Irrelevant Updates of Nonmonotonic Knowledge Bases. 771-772
• 
  Mikhail Soutchanski, Huy Pham, John Mylopoulos: Decision Making in Large-Scale Domains: A Case Study. 773-774
• 
  Nicolas Troquard, Laure Vieu: Towards a Logic of Agency and Actions with Duration. 775-776

Posters: Model Based Reasoning

• 
  Wolfgang Mayer, Markus Stumptner: Better Debugging Through More Abstract Observations. 779-780
• 
  Alessandra Mileo: Logic Profiling for Multicriteria Rating on Web Pages. 781-782
• 
  Gregory M. Provan: An Empirical Analysis of the Complexity of Model-Based Diagnosis. 783-784

Posters: Machine Learning

• 
  Liviu Badea, Doina Tilivea: Meta-Clustering Gene Expression Data with Positive Tensor Factorizations. 787-788
• 
  Shlomo Berkovsky, Dan Goldwasser, Tsvi Kuflik, Francesco Ricci: Identifying Inter-Domain Similarities Through Content-Based Analysis of Hierarchical Web-Directories. 789-790
• 
  Michael Carney, Padraig Cunningham: Calibrating Probability Density Forecasts with Multi-Objective Search. 791-792
• 
  Ronan Cummins, Colm O'Riordan: Weighting in Information Retrieval Using Genetic Programming: A Three Stage Process. 793-794
• 
  Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary: Knowledge Discovery from a Case Base. 795-796
• 
  Trinh Minh Tri Do, Thierry Artières: Polynomial Conditional Random Fields for Signal Processing. 797-798
• 
  Stefano Lodi, Gianluca Moro, Claudio Sartori: Stream Clustering Based on Kernel Density Estimation. 799-800
• 
  Henri Prade, Mathieu Serrurier: Version Space Learning for Possibilistic Hypotheses. 801-802
• 
  Juan José Rodríguez, Jesús Maudes: Ensembles of Grafted Trees. 803-804
• 
  Teemu Roos, Tuomas Heikkilä, Petri Myllymäki: A Compression-Based Method for Stemmatic Analysis. 805-806
• 
  Rudy Sicard, Thierry Artières, Eric Petit: Patch Learning for Incremental Classifier Design. 807-808
• 
  Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, Georgi I. Nalbantov, Stijn Vanderlooy: Version Space Support Vector Machines. 809-810
• 
  Evgueni N. Smirnov, Stijn Vanderlooy, Ida G. Sprinkhuizen-Kuyper: Meta-Typicalness Approach to Reliable Classification. 811-812
• 
  Efstathios Stamatatos: Text Sampling and Re-Sampling for Imbalanced Authorship Identification Cases. 813-814
• 
  Benno Stein, Sven Meyer zu Eissen: Is Web Genre Identification Feasible? 815-816

Posters: Natural Language Processing

• 
  Marco Ernandes, Giovanni Angelini, Marco Gori, Leonardo Rigutini, Franco Scarselli: Adaptive Context-Based Term (Re)Weighting: An Experiment on Single-Word Question Answering. 819-820
• 
  Bernd Ludwig, Stefan Mandl: How to Analyze Free Text Descriptions for Recommending TV Programmes? 821-822
• 
  Richard Nock, Pascal Vaillant, Frank Nielsen, Claudia Henry: Soft Uncoupling of Markov Chains for Permeable Language Distinction: A New Algorithm. 823-824
• 
  Fabio Rinaldi, Gerold Schneider, Kaarel Kaljurand, Michael Hess: Tools for Text Mining over Biomedical Literature. 825-826
• 
  Manfred Stede, Heike Bieler, Stefanie Dipper, Arthit Suriyawongkul: SUMMaR: Combining Linguistics and Statistics for Text Summarization. 827-828
• 
  Benno Stein, Daniel Curatolo: Phonetic Spelling and Heuristic Search. 829-830

Posters: PAIS

• 
  Juan Ángel García-Pardo, Stella Heras Barberá, Rafael Ramos-Garijo, Alberto Palomares, Vicente Julián, Miguel Rebollo, Vicente J. Botti: CBR-TM: A New Case-Based Reasoning System for Help-Desk Environments. 833-834
• 
  Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt: Verification of Medical Guidelines Using Task Execution with Background Knowledge. 835-836

Posters: Planning and Scheduling

• 
  Tsz-Chiu Au, Dana S. Nau: The Incompleteness of Planning with Volatile External Information. 839-840
• 
  Stefan Edelkamp: Cost-Optimal Symbolic Planning with State Trajectory and Preference Constraints. 841-842
• 
  Abdel-Illah Mouaddib, Simon Le Gloannec: A Cooperative Distributed Problem Solving Technique for Large Markov Decision Processes. 843-844
• 
  Riccardo Rasconi, Nicola Policella, Amedeo Cesta: Integrating Off-Line and On-Line Schedulers. 845-846
• 
  Peter Votruba, Andreas Seyfang, Michael Paesold, Silvia Miksch: Environment-Driven Skeletal Plan Execution for the Medical Domain. 847-848
• 
  Mahdi Zargayouna: Time Constrained VRP: An Agent Environment-Perception Model. 849-850

Posters: Robotics/Perception

• 
  Alexandros Bouganis, Murray Shanahan: On Packing 2D Irregular Shapes. 853-854
• 
  Emanuele Frontoni, Primo Zingaretti: Aliasing Maps for Robot Global Localization. 855-856
• 
  Donatella Guarino, Alessandro Saffiotti: On Interfacing with an Ubiquitous Robotic System. 857-858
• 
  Georgios Sakellariou, Murray Shanahan: Leaf Classification Using Navigation-Based Skeletons. 859-860

last updated on Sat May 25 04:55:02 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page