default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th ECAI 2006: Riva del Garda, Trentino, Italy
- Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso:
ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings. Frontiers in Artificial Intelligence and Applications 141, IOS Press 2006, ISBN 1-58603-642-4
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 William 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-172
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. ECAI 2006: 337-341 - Bozhena Bidyuk, Rina Dechter:
Improving Bound Propagation. ECAI 2006: 342-346 - Francesco Buccafurri, Gianluca Caminiti, Domenico Rosaci:
Logic Programs with Multiple Chances. ECAI 2006: 347-351 - Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset:
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems. ECAI 2006: 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. ECAI 2006: 357-361 - Yulin Ding, Yan Zhang:
CTL Model Update: Semantics, Computations and Implementation. ECAI 2006: 362-366 - Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Resolving Conflicts in Action Descriptions. ECAI 2006: 367-371 - Laurent Garcia, Régis Sabbadin:
Possibilistic Influence Diagrams. ECAI 2006: 372-376 - Enrico Giunchiglia, Marco Maratea:
Solving Optimization Problems with DLL. ECAI 2006: 377-381 - Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich:
Discovering Missing Background Knowledge in Ontology Matching. ECAI 2006: 382-386 - Éric Grégoire, Bertrand Mazure, Cédric Piette:
Extracting MUSes. ECAI 2006: 387-391 - Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy:
On Probing and Multi-Threading in Platypus. ECAI 2006: 392-396 - Andreas Herzig, Laurent Perrussel, Ivan Varzinczak:
Elaborating Domain Descriptions. ECAI 2006: 397-401 - Marcelo A. Falappa, Eduardo L. Fermé, Gabriele Kern-Isberner:
On the Logic of Theory Change: Relations Between Incision and Selection Functions. ECAI 2006: 402-406 - Reinhard Moratz:
Representing Relative Direction as a Binary Relation of Oriented Points. ECAI 2006: 407-411 - Emilia Oikarinen, Tomi Janhunen:
Modular Equivalence for Normal Logic Programs. ECAI 2006: 412-416 - Meltem Öztürk, Alexis Tsoukiàs:
Preference Representation with 3-Points Intervals. ECAI 2006: 417-421 - Patrice Perny, Antoine Rolland:
Reference-Dependent Qualitative Models for Decision Making Under Uncertainty. ECAI 2006: 422-426 - Cédric Pralet, Gérard Verfaillie, Thomas Schiex:
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework. ECAI 2006: 427-431 - David A. Randell, Mark Witkowski:
Using Occlusion Calculi to Interpret Digital Images. ECAI 2006: 432-436 - Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades:
Abductive Logic Programming in the Clinical Management of HIV/AIDS. ECAI 2006: 437-441 - Fariba Sadri, Francesca Toni:
Interleaving Belief Updating and Reasoning in Abductive Logic Programming. ECAI 2006: 442-446 - Andreas Seyfang, Silvia Miksch, Mar Marcos, Jolanda Wittenberg, Cristina Polo-Conde, Kitty Rosenbrand:
Bridging the Gap Between Informal and Formal Guideline Representations. ECAI 2006: 447-451 - Igor Stéphan:
Boolean Propagation Based on Literals for Quantified Boolean Formulae. ECAI 2006: 452-456 - Giorgos Stoilos, Umberto Straccia, Giorgos B. Stamou, Jeff Z. Pan:
General Concept Inclusions inFluzzy Description Logics. ECAI 2006: 457-461 - Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Approximating Extended Answer Sets. ECAI 2006: 462-466 - Paul Weng:
An Axiomatic Approach in Qualitative Decision Theory with Binary Possibilistic Utility. ECAI 2006: 467-471 - Nic Wilson:
An Efficient Upper Approximation for Conditional Preference. ECAI 2006: 472-476 - Uwe Egly, Martina Seidl, Stefan Woltran:
A Solver for QBFs in Nonprenex Form. ECAI 2006: 477-481 - Adam Zagorecki, Marek J. Druzdzel:
Knowledge Engineering for Bayesian Networks: How Common Are Noisy-MAX Distributions in Practice? ECAI 2006: 482-
Machine Learning
- Klaus Brinker, Johannes Fürnkranz, Eyke Hüllermeier:
A Unified Model for Multilabel Classification and Ranking. ECAI 2006: 489-493 - Sertan Girgin, Faruk Polat, Reda Alhajj:
Learning by Automatic Option Discovery from Conditionally Terminating Sequences. ECAI 2006: 494-498 - Tobias Jung, Daniel Polani:
Least Squares SVM for Least Squares TD Learning. ECAI 2006: 499-503 - Martin Mozina, Jure Zabkar, Ivan Bratko:
Argument Based Rule Learning. ECAI 2006: 504-508 - Richard Nock, Frank Nielsen:
A Real Generalization of Discrete AdaBoost. ECAI 2006: 509-515 - Viktor Pekar:
Discovery of Entailment Relations from Event Co-Occurrences. ECAI 2006: 516-520 - Son Bao Pham, Achim G. Hoffmann:
Efficient Knowledge Acquisition for Extracting Temporal Relations. ECAI 2006: 521-525 - Yilian Qin, Zoran Obradovic:
Efficient Learning from Massive Spatial-Temporal Data Through Selective Support Vector Propagation. ECAI 2006: 526-530 - Leonardo Rigutini, Ernesto Di Iorio, Marco Ernandes, Marco Maggini:
Automatic Term Categorization by Extracting Knowledge from the Web. ECAI 2006: 531-535 - Pieter Jan't Hoen, Sander M. Bohté, Han La Poutré:
Strategic Foresighted Learning in Competitive Multi-Agent Games. ECAI 2006: 536-
Natural Language Processing
- Abdulrahman Almuhareb, Massimo Poesio:
MSDA: Wordsense Discrimination Using Context Vectors and Attributes. ECAI 2006: 543-547 - Roberto Basili, Marco Cammisa, Alfio Massimiliano Gliozzo:
Imegrating Domain and Paradigmatic Similarity for unsupervised Sense Tagging. ECAI 2006: 548-552 - Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka:
Disambiguating Personal Names on the Web Using Automatically Extracted Key Phrases. ECAI 2006: 553-557 - Heshaam Feili, Gholamreza Ghassem-Sani:
Hisory-Based Inside-Outside Algorithm. ECAI 2006: 558-562 - Ana-Maria Giuglea, Alessandro Moschitti:
Shallow Semantic Parsing Based on FrameNet, VerbNet and PropBank. ECAI 2006: 563-567 - Alessandro Moschitti, Bonaventura Coppola, Daniele Pighin, Roberto Basili:
Semantic Tree Kernels to Classify Predicate Argument Structures. ECAI 2006: 568-
Planning and Scheduling
- Marco Baioletti, Alfredo Milani, Valentina Poggioni, Silvia Suriani:
A Multivalued Logic Model of Planning. ECAI 2006: 575-579 - Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore:
Stong Cyclic Planning Under Partial Observability. ECAI 2006: 580-584 - Malte Helmert, Robert Mattmüller, Gabriele Röger:
Aproximation Properties of Planning Benchmarks. ECAI 2006: 585-589 - Nicklas Forsell, Régis Sabbadin:
Approximate Linear-Programming Algorithms for Graph-Based Markov Decision Processes. ECAI 2006: 590-599 - Nathalie Peyrard, Régis Sabbadin:
Mean Field Approximation of the Policy Iteration Algorithm for Graph-Based Markov Decision Processes. ECAI 2006: 595-599 - Jussi Rintanen:
Unified Definition of Heuristics for Classical Planning. ECAI 2006: 600-
PAIS
- Adriano Venturini, Francesco Ricci:
Aplying Trip@dvice Recommendation Technology to www.visiteurope.com. ECAI 2006: 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. ECAI 2006: 612-616 - Sylvain Castagnos, Anne Boyer:
A Client/Server User-Based Collaborative Filtering Algorithm: Model and Implementation. ECAI 2006: 617-621 - Amedeo Cesta, Gabriella Cortellessa, Simone Fratini, Angelo Oddi, Nicola Policella:
Software Companion: The Mexar2 Support to Space Mission Planners. ECAI 2006: 622-626 - Sarah Jane Delany, Padraig Cunningham, Barry Smyth:
ECUE: A Spam Filter that Uses Machine Leaming to Track Concept Drift. ECAI 2006: 627- - Alexander Felfernig, Klaus Isak, Christian Russ:
Knowledge-Based Recommendation: Technologies and Experiences from Projects. ECAI 2006: 632-636 - Andreas Junghanns, Mugur M. Tatar:
Diagnosing Highly Configurable Products: Troubleshooting Support for Airbus Final Assembly Line. ECAI 2006: 637-641 - Thorsten Kurz, Kilian Stoffel:
Web-Based Tools for Codification with Medical Ontologies in Switzerland. ECAI 2006: 642-646 - Karin Lunde, Rüdiger Lunde, Burkhard Münker:
Model-Based Failure Analysis with RODON. ECAI 2006: 647-
Perception
- Kees Joost Batenburg:
A Learning Classifier Approach to Tomography. ECAI 2006: 655-659 - Marcus Hund, Bärbel Mertsching:
Depth Ordering and Figure-Grounil Segregation in Monocular Images Derived from Illusory Contour Perception. ECAI 2006: 660-664 - Gabriele Monfardini, Vincenzo Di Massa, Franco Scarselli, Marco Gori:
Graph Neural Networks for Object Localization. ECAI 2006: 665-
Robotics
- Abdelbaki Bouguerra, Lars Karlsson, Alessandro Saffiotti:
Situation Assessment for Sensor-Based Recovery Planning. ECAI 2006: 673-677 - Guillaume Infantes, Félix Ingrand, Malik Ghallab:
Learning Behaviors Models for Robot Execution Control. ECAI 2006: 678-682