16. ECAI 2004:
Valencia,
Spain
Ramon López de Mántaras, Lorenza Saitta (Eds.):
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004.
IOS Press 2004, ISBN 1-58603-452-9 BibTeX
Agents and Distritbuted AI
- Samir Aknine, Philippe Caillou:
Agreements Without Disagreements.
3-7 BibTeX
- Shlomit Bergman, Elan Pavlov, Jeffrey S. Rosenschein:
Negotiation in State-Oriented Domains with Incomplete Information over Goals.
8-12 BibTeX
- Guido Boella, Leendert W. N. van der Torre:
Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents.
13-17 BibTeX
- Trung Dong Huynh, Nicholas R. Jennings, Nigel R. Shadbolt:
FIRE: An Integrated Trust and Reputation Model for Open Multi-Agent Systems.
18-22 BibTeX
- Alberto Finzi, Thomas Lukasiewicz:
Game-Theoretic Agent Programming in Golog.
23-27 BibTeX
- Antonis C. Kakas, Paolo Torroni, Neophytos Demetriou:
Agent Planning, Negotiation and Control of Operation.
28-32 BibTeX
- Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni:
The KGP Model of Agency.
33-37 BibTeX
- Fernando Lopes, Nuno J. Mamede, Augusto Q. Novais, Helder Coelho:
Negotiation Strategies for Autonomous Computational Agents.
38-42 BibTeX
- Yannick Pencolé:
Diagnosability Analysis of Distributed Discrete Event Systems.
43-47 BibTeX
- Josep M. Pujol, Andreas Flache, Ramon Sangüesa, Jordi Delgado:
Emergence of Complex Networks through Local Optimization.
48-52 BibTeX
- Franco Raimondi, Alessio Lomuscio:
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's.
53-57 BibTeX
- Floris Roelofsen, Luciano Serafini, Alessandro Cimatti:
Many Hands Make Light Work: Localized Satisfiability for Multi-Context Systems.
58-62 BibTeX
- Valentina A. M. Tamma, Ian Blacoe, Ben Lithgow Smith, Michael Wooldridge:
SERSE: Searching for Semantic Web Content.
63-67 BibTeX
- Andréa I. Tavares, Mario Fernando Montenegro Campos:
Balancing Coordination and Synchronization Cost in Cooperative Situated Multi-Agent Systems with Imperfect Communication.
68-73 BibTeX
- Bình Vu Trân, James Harland, Margaret Hamilton:
Expectation Reasoning Using Regret and Disappointment.
74-78 BibTeX
- Perukrishnen Vytelingum, Rajdeep K. Dash, Esther David, Nicholas R. Jennings:
A Risk-Based Bidding Strategy for Continuous Double Auctions.
79-83 BibTeX
- Thomas Walker, Daniel Kudenko, Malcolm J. A. Strens:
Algorithms for Distributed Exploration.
84-88 BibTeX
- Yair B. Weinberger, Jeffrey S. Rosenschein:
Passive Threats among Agents in State Oriented Domains.
89-96 BibTeX
Case-Based Approaches
Cognitive Modelling
Constraint Satisfaction,
Search,
Games
- Andreas Auer, Hermann Kaindl:
A Case Study of Revisiting Best-First vs. Depth-First Search.
141-145 BibTeX
- Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais:
Boosting Systematic Search by Weighting Constraints.
146-150 BibTeX
- Kenneth N. Brown, James Little, Páidí J. Creed, Eugene C. Freuder:
Adversarial Constraint Satisfaction by Game-Tree Search.
151-155 BibTeX
- Tristan Cazenave:
Generalized Widening.
156-160 BibTeX
- Hubie Chen:
Quantified Constraint Satisfaction and Bounded Treewidth.
161-165 BibTeX
- Philippe Collard, Sébastien Vérel, Manuel Clergue:
How to Use the Scuba Diving Metaphor to Solve Problems with Neutrality?
166-170 BibTeX
- Alan M. Frisch, Christopher Jefferson, Ian Miguel:
Symmetry Breaking as a Prelude to Implied Constraints: A Constraint Modelling Pattern.
171-175 BibTeX
- Ian P. Gent, Peter Nightingale, Andrew G. D. Rowley:
Encoding Quantified CSPs as Quantified Boolean Formulae.
176-180 BibTeX
- Gianluigi Greco, Francesco Scarcello:
Constrained Pure Nash Equilibria in Graphical Games.
181-185 BibTeX
- Emmanuel Hebrard, Brahim Hnich, Toby Walsh:
Robust Solutions for Constraint Satisfaction and Optimization.
186-190 BibTeX
- Gaofeng Huang, Andrew Lim:
An Effective Branch-and-Bound Algorithm to Solve the k-Longest Common Subsequence Problem.
191-195 BibTeX
- Philippe Jégou, Cyril Terrioux:
Decomposition and Good Recording for Solving Max-CSPs.
196-200 BibTeX
- Carlos Linares López:
A Study of the Accuracy of Heuristic Functions.
201-205 BibTeX
- Arnold Maestre, Christian Bessière:
Improving Asynchronous Backtracking for Dealing with Complex Local Problems.
206-210 BibTeX
- Colva M. Roney-Dougal, Ian P. Gent, Tom Kelsey, Steve Linton:
Tractable Symmetry Breaking Using Restricted Search Trees.
211-215 BibTeX
- Martí Sánchez, Pedro Meseguer, Javier Larrosa:
Using Constraints with Memory to Implement Variable Elimination.
216-220 BibTeX
- John K. Slaney, Arnold Binas, David Price:
Guiding a Theorem Prover with Soft Constraints.
221-225 BibTeX
- Michel Vasquez, Djamal Habet:
Complete and Incomplete Algorithms for the Queen Graph Coloring Problem.
226-230 BibTeX
- Nic Wilson:
Uncertain Linear Constraints.
231-238 BibTeX
Genetic Algorithms,
Emergent Behaviours
Knowledge Engineering
Knowledge Representation
- Liviu Badea:
Determining the Direction of Causal Influence in Large Probabilistic Networks: A Constraint-Based Approach.
263-267 BibTeX
- Evelyn Balfe, Barry Smyth:
Improving Web Search through Collaborative Query Recommendation.
268-272 BibTeX
- Chitta Baral, Jicheng Zhao:
Goal Specification in Presence of Non-Deterministic Actions.
273-277 BibTeX
- Roberta Benassi, Sonia Bergamaschi, Alain Fergnani, Daniele Miselli:
Extending a Lexicon Ontology for Intelligent Information Integration.
278-282 BibTeX
- Thomas Bittner, Maureen Donnelly:
The Mereology of Stages and Persistent Entities.
283-287 BibTeX
- Piero A. Bonatti:
Abduction over Unbounded Domains via ASP.
288-292 BibTeX
- Tibor Bosse, Catholijn M. Jonker, Jan Treur:
Analysis of Design Process Dynamics.
293-297 BibTeX
- Sebastian Brandt:
Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and - What Else?
298-302 BibTeX
- Gerhard Brewka:
A Rank Based Description Language for Qualitative Preferences.
303-307 BibTeX
- Tiziana Catarci, Paolo Dongilli, Tania Di Mascio, Enrico Franconi, Giuseppe Santucci, Sergio Tessaris:
An Ontology Based Visual Tool for Query Formulation Support.
308-312 BibTeX
- Matteo Cristani, Francesco Bellomi:
Fundamental Issues of Aesthetic Knowledge Representation.
313-317 BibTeX
- Frédéric Fürst, Michel Leclère, Francky Trichet:
Operationalizing Domain Ontologies: A Method and a Tool.
318-322 BibTeX
- Jaime Shinsuke Ide, Fabio Gagliardi Cozman, Fabio Tozeto Ramos:
Generating Random Bayesian Networks with Constraints on Induced Width.
323-327 BibTeX
- Adnan Darwiche:
New Advances in Compiling CNF into Decomposable Negation Normal Form.
328-332 BibTeX
- Jérôme Euzenat, Petko Valtchev:
Similarity-Based Ontology Alignment in OWL-Lite.
333-337 BibTeX
- Maria Fox, Derek Long, Keith Halsey:
An Investigation into the Expressive Power of PDDL2.1.
328-342 BibTeX
- Chiara Ghidini, Fausto Giunchiglia:
A Semantics for Abstraction.
343-347 BibTeX
- Andreas Herzig, Ivan José Varzinczak:
Domain Descriptions Should Be Modular.
348-352 BibTeX
- Ullrich Hustadt, Boris Motik, Ulrike Sattler:
Reasoning in Description Logics with a Concrete Domain in the Framework of Resolution.
353-357 BibTeX
- Tomi Janhunen:
Representing Normal Programs with Clauses.
358-362 BibTeX
- Daniel Kayser, Farid Nouioua:
Representing Knowledge about Norms.
363-367 BibTeX
- Noël Laverny, Jérôme Lang:
From Knowledge-Based Programs to Graded Belief-Based Programs Part I: On-Line Reasoning.
368-372 BibTeX
- Tie-Fei Liu, Wing-Kin Sung, Ankush Mittal:
Gene Network Modeling through Semi-Fixed Bayesian Network.
373-377 BibTeX
- Carsten Lutz, Maja Milicic:
Description Logics with Concrete Domains and Functional Dependencies.
378-382 BibTeX
- Michael P. O'Mahony, Neil J. Hurley, Guenole C. M. Silvestre:
Efficient and Secure Collaborative Filtering through Intelligent Neighbour Selection.
383-387 BibTeX
- David Pearce, Agustín Valverde:
Synonymus Theories in Answer Set Programming and Equilibrium Logic.
388-392 BibTeX
- Helena Sofia Pinto, Steffen Staab, Christoph Tempich:
DILIGENT: Towards a fine-grained methodology for Distributed, Loosely-controlled and evolving Engineering of oNTologies.
393-397 BibTeX
- Stefan Schlobach, Marius Olsthoorn, Maarten de Rijke:
Type Checking in Open-Domain Question Answering.
398-402 BibTeX
- Stefan Schulz, Udo Hahn:
Representing Natural Kinds by Spatial Inclusion and Containment.
403-410 BibTeX
Machine Learning,
Data Mining
- Isabelle Alvarez:
Explaining the Result of a Decision Tree to the End-User.
411-415 BibTeX
- Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Luigi Palopoli:
Outlier Detection Using Disjunctive Logic Programming.
416-419 BibTeX
- Henri Binsztok, Thierry Artières, Patrick Gallinari:
A Model-Based Approach to Sequence Clustering.
420-424 BibTeX
- Marco Botta, Ugo Galassi, Attilio Giordana:
Learning Complex and Sparse Events in Long Sequences.
425-429 BibTeX
- Gemma Casas-Garriga:
Statistical Strategies for Pruning All the Uninteresting Association Rules.
430-434 BibTeX
- Philipp Cimiano, Andreas Hotho, Steffen Staab:
Comparing Conceptual, Divise and Agglomerative Clustering for Learning Taxonomies from Text.
435-439 BibTeX
- Guillaume Cleuziou, Lionel Martin, Christel Vrain:
PoBOC: An Overlapping Clustering Algorithm, Application to Rule-Based Classification and Textual Data.
440-444 BibTeX
- George Macleod Coghill, Simon M. Garrett, Ross D. King:
Learning Qualitative Metabolic Models.
445-449 BibTeX
- Josenildo Costa da Silva, Matthias Klusch, Stefano Lodi, Gianluca Moro:
Inference Attacks in Peer-to-Peer Homogeneous Distributed Data Mining.
450-454 BibTeX
- Guang Dai, Yuntao Qian:
Face Recognition Using Novel LDA-Based Algorithms.
455-459 BibTeX
- Nicola Di Mauro, Floriana Esposito, Stefano Ferilli, Teresa Maria Altomare Basile:
A Backtracking Strategy for Order-Independent Incremental Learning.
460-464 BibTeX
- Giorgio Maria Di Nunzio, Alessandro Micarelli:
Pushing "Underfitting" to the Limit: Learning in Bidimensional Text Categorization.
465-469 BibTeX
- Dragan Gamberger, Nada Lavrac:
Avoiding Data Overfitting in Scientific Discovery: Experiments in Functional Genomics.
470-474 BibTeX
- Alessio Guerri, Michela Milano:
Learning Techniques for Automatic Algorithm Portfolio Selection.
475-479 BibTeX
- Hanene Azzag, Christiane Guinot, Gilles Venturini:
AntTree: A Web Document Clustering Using Artificial Ants.
480-484 BibTeX
- Dietmar Janetzko, Hacène Cherfi, Roman Kennke, Amedeo Napoli, Yannick Toussaint:
Knowledge-Based Selection of Association Rules for Text Mining.
485-489 BibTeX
- Yoshitaka Kameya, Taisuke Sato, Neng-Fa Zhou:
Yet More Efficient EM Learning for Parameterized Logic Programs by Inter-Goal Sharing.
490-494 BibTeX
- Frédéric Koriche:
Bias Windowing for Relational Learning.
495-499 BibTeX
- Evelina Lamma, Fabrizio Riguzzi, Sergio Storari:
Exploiting Association and Correlation Rules - Parameters for Improving the K2 Algorithm.
500-504 BibTeX
- Ruei-Sung Lin, Ming-Hsuan Yang, Stephen E. Levinson:
Adaptive Discriminative Generative Model for Object Tracking.
505-509 BibTeX
- Yutaka Matsuo, Hironori Tomobe, Kôiti Hasida, Mitsuru Ishizuka:
Finding Social Network for Trust Calculation.
510-514 BibTeX
- Rada Mihalcea:
Voted Co-Training for Bootstrapping Sense Classifiers.
515-519 BibTeX
- Siegfried Nijssen, Joost N. Kok:
Ideal Refinement of Datalog Clauses Using Primary Keys.
520-524 BibTeX
- Hiroki Nomiya, Kuniaki Uehara:
Visual Learning by Set Covering Machine with Efficient Feature Selection.
525-529 BibTeX
- Laurent Péret, Frédérick Garcia:
On-Line Search for Solving Markov Decision Processes via Heuristic Sampling.
530-534 BibTeX
- David Riaño:
Time-Independent Rule-Based Guideline Induction.
535-538 BibTeX
- Josep Roure Alcobé:
Incremental Augmented Naive Bayes Classifiers.
539-543 BibTeX
- Paulo Santos, Derek R. Magee, Anthony G. Cohn, David Hogg:
Combining Multiple Answers for Learning Mathematical Structures from Visual Observation.
544-548 BibTeX
- Georgios Sigletos, Georgios Paliouras, Constantine D. Spyropoulos, Takis Stamapoulos:
Stacked Generalization for Information Extraction.
549-553 BibTeX
- Adam Szarowicz, Paolo Remagnino:
Avatars That Learn How to Behave.
554-558 BibTeX
- Ricardo Vilalta, Murali-Krishna Achari, Christoph F. Eick:
Piece-Wise Model Fitting Using Local Data Patterns.
559-563 BibTeX
- Farida Zehraoui, Younès Bennani:
M-SOM-ART: Growing Self Organizing Map for Sequences Clustering and Classification.
564-570 BibTeX
Natural Language Processing
- Sergio Barrachina, Juan Miguel Vilar:
Automatic Discovery of Translation Collocations from Bilingual Corpora.
571-575 BibTeX
- Gustavo A. Casañ, Maria Asunción Castaño:
Improvements on Automatic Word Codification for Connectionist Machine Translation.
576-580 BibTeX
- Carlos Iván Chesñevar, Ana Gabriela Maguitman:
An Argumentative Approach to Assessing Natural Language Usage based on the Web Corpus.
581-585 BibTeX
- Elsa Cubel, Jorge Civera, Juan Miguel Vilar, Antonio L. Lagarda, Francisco Casacuberta, Enrique Vidal, David Picó, Jorge González, Luis Rodríguez:
Finite-State Models for Computer Assisted Translation.
586-590 BibTeX
- Mathieu Estratat, Laurent Henocque:
Parsing Languages with a Configurator.
591-595 BibTeX
- Heshaam Feili, Gholamreza Ghassem-Sani:
An Application of Lexicalized Grammars in English-Persian Translation.
596-600 BibTeX
- Alessandro Mazzei, Vincenzo Lombardo:
A Comparative Analysis of Extracted Grammars.
601-605 BibTeX
- Tony Veale:
WordNet Sits the S.A.T. - A Knowledge-Based Approach to Lexical Analogy.
606-612 BibTeX
Neural Networks,
Support Vector Machines
Philisophical Foundations
Planning,
Scheduling
- Tsz-Chiu Au, Dana S. Nau, V. S. Subrahmanian:
Utilizing Volatile External Information During Planning.
647-651 BibTeX
- J. Christopher Beck, Nic Wilson:
Job Shop Scheduling with Probabilistic Durations.
652-656 BibTeX
- Piergiorgio Bertoli, Alessandro Cimatti, Paolo Traverso:
Interleaving Execution and Planning for Nondeterministic, Partially Observable Domains.
657-661 BibTeX
- Antonio Garrido, Derek Long:
Planning with Numeric Varibles in Multiobjective Planning.
662-666 BibTeX
- Alfonso Gerevini, Alessandro Saetti, Ivan Serina:
Planning with Numerical Expressions in LPG.
667-671 BibTeX
- Bernhard Nebel, Yuliya Babovich-Lierler:
When Are Behaviour Networks Well-Behaved?
672-676 BibTeX
- Federico Pecora, Riccardo Rasconi, Amedeo Cesta:
Assessing the Bias of Classical Planning Strategies on Makespan-Optimizing Scheduling.
677-681 BibTeX
- Jussi Rintanen:
Evaluation Strategies for Planning as Satisfiability.
682-687 BibTeX
- Vincent Tam, M. C. Kwan:
Improving the Initialization and Repair Heuristics to Effectively Solve the Pickup and Delivery Problems with Time Windows.
688-692 BibTeX
- Grigorios Tsoumakas, Dimitris Vrakas, Nick Bassiliades, Ioannis P. Vlahavas:
Lazy Adaptive Multicriteria Planning.
693-697 BibTeX
- Fan Wang, Andrew Lim, Hong Chen:
Flexible Demand Assignment Problem.
698-704 BibTeX
Prestigious Applications of Intelligent Systems (PAIS)
- Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker:
Querying the Semantic Web with Corese Search Engine.
705-709 BibTeX
- Guifre Cuni, Marc Esteva, Pere Garcia, Eloi Puertas, Carles Sierra, Teresa Solchaga:
MASFIT: Multi-Agent System for Flsh Trading.
710-714 BibTeX
- Eero Hyvönen, Samppa Saarela, Kim Viljanen, Eetu Mäkelä, Arttu Valo, Mirva Salminen, Suvi Kettula, Miikka Junnila:
A Portal for Publishing Museum Collections on the Semantic Web.
715-719 BibTeX
- Dietmar Jannach:
ADVISOR SUITE - A Knowledge-Based Sales Advisory-System.
720-724 BibTeX
- Vangelis Karkaletsis, Constantine D. Spyropoulos, Claire Grover, Maria Teresa Pazienza, José Coch, Dimitris Souflis:
A Platform for Cross-Lingual, Domain and User Adaptive Web Information Extraction.
725-729 BibTeX
- Ryan Lim, Venkata Praveen Guddeti, Berthe Y. Choueiry:
An Interactive System for Hiring and Managing Graduate Teaching Assistants.
730-734 BibTeX
- Peter J. F. Lucas, Ruud Kuipers, Frederick Feith:
A System for Pacemaker Treatment Advice.
735-739 BibTeX
- Lawrence Mandow, José-Luis Pérez-de-la-Cruz:
Model and Heuristics for the Shortest Road Layout Problem.
740-744 BibTeX
- Stefan Mersmann, Michel Dojat:
SmartCareTM-Automated Clinical Guidelines in Critical Care.
745-749 BibTeX
- Claudia Picardi, Luca Console, Frederic Berger, Jan Breeman, Tony Kanakis, Jeroen Moelands, Stephan Collas, Emmanuel Arbaretier, Nino De Domenico, Ermanno Girardelli, Oskar Dressler, Peter Struss, Benjamin Zilbermann:
AUTAS: A Tool for Supporting FMECA Generation in Aeronautic Systems.
750-754 BibTeX
- Martijn C. Schut, Michael Kentrop, Mark Leenaarts, Marco Melis, Ian Miller:
APPROACH: Decentralised Rotation Planning for Container Barges.
755-759 BibTeX
- Somayajulu Sripada, Ehud Reiter, Ian Davy, Kristian Nilssen:
Lessons from Deploying NLG Technology for Marine Weather Forecast Text Generation.
760-764 BibTeX
- Soledad Valero, Estefania Argente, Jose Manuel Serra, P. Serna, Vicente J. Botti, Avelino Corma:
A Soft Computing Technique Applied to Industrial Catalysis.
765-772 BibTeX
Reasoning
- Ofer Arieli:
Paraconsistent Preferential Reasoning by Signed Quantified Boolean Formulae.
773-777 BibTeX
- Juan Carlos Augusto, Chris D. Nugent:
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes.
778-782 BibTeX
- Pietro Baroni, Massimiliano Giacomin:
A General Recursive Schema for Argumentation Semantics.
783-787 BibTeX
- Guilherme Bittencourt, Laurent Perrussel, Jerusa Marchi:
A Syntactical Approach to Revision.
788-792 BibTeX
- Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
A Unifying Semantics for Belief Change.
793-797 BibTeX
- Pedro Cabalar, David Lorenzo:
New Insights on the Intuitionistic Interpretation of Default Logic.
798-802 BibTeX
- Sylvie Coste-Marquis, Pierre Marquis:
A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning.
803-807 BibTeX
- Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego:
A Tabulation Proof Procedure for Residuated Logic Programming.
808-812 BibTeX
- Gerhard Friedrich:
Elimination of Spurious Explanations.
813-817 BibTeX
- Luca Iocchi, Thomas Lukasiewicz, Daniele Nardi, Riccardo Rosati:
Reasoning about Actions with Sensing under Qualitative and Probabilistic Uncertainty.
818-822 BibTeX
- Yi Jin, Michael Thielscher:
Representing Beliefs in the Fluent Calculus.
823-827 BibTeX
- Mahat Khelfallah, Belaid Benhamou:
Geographic Information Revision Based on Constraints.
828-832 BibTeX
- Daniel Köb, Franz Wotawa:
Introducing Alias Information into Model-Based Debugging.
833-837 BibTeX
- Gianfranco Lamperti, Marina Zanella:
Diagnosis of Discrete-Event Systems by Separation of Concerns, Knowledge Compilation, and Reuse.
838-842 BibTeX
- Wolfgang Mayer, Markus Stumptner:
Debugging Program Loops Using Approximate Modeling.
843-847 BibTeX
- Roberto Micalizio, Pietro Torasso, Gianluca Torta:
On-Line Monitoring and Diagnosis of Multi-Agent Systems: A Model Based Approach.
848-852 BibTeX
- Yves Moinard:
Plausibility Structures for Default Reasoning.
853-857 BibTeX
- Lledó Museros Cabedo, M. Teresa Escrig:
A Qualitative Theory for Shape Representation and Matching for Design.
858-862 BibTeX
- Alexander Nittka:
An Algorithm for Knowledge Base Extraction.
863-867 BibTeX
- José Palma, José M. Juárez, Manuel Campos, Roque Marín:
A Fuzzy Approach to Temporal Model-Based Diagnosis for Intensive Care Units.
868-872 BibTeX
- Martin Sachenbacher, Brian C. Williams:
Diagnosis as Semiring-Based Constraint Optimization.
873-877 BibTeX
- Steven Shapiro, Maurice Pagnucco:
Iterated Belief Change and Exogeneous Actions in the Situation Calculus.
878-882 BibTeX
- Peter Struss:
Models of Behavior Deviations in Model-Based Systems.
883-887 BibTeX
- Nic Wilson:
Consistency and Constrained Optimisation for Conditional Preferences.
888-894 BibTeX
Robotics
Vision,
Perception
- Ilkka Autio, Jussi T. Lindgren:
Attention-Driven Parts-Based Object Detection.
917-921 BibTeX
- Brandon Bennett, Derek R. Magee, Anthony G. Cohn, David C. Hogg:
Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects.
922-926 BibTeX
- Niek Bergboer, Eric O. Postma, H. Jaap van den Herik:
A Context-Based Model of Attention.
927-931 BibTeX
- Gerald Fritz, Christin Seifert, Lucas Paletta, Horst Bischof:
Learning to Focus Attention on Discriminative Regions for Object Detection.
932-936 BibTeX
- Katerina Pastra, Yorick Wilks:
Vision-Language Integration in AI: A Reality Check.
937-944 BibTeX
Posters
- Philippe Adjiman, Philippe Chatalic, François Goasdoué, Marie-Christine Rousset, Laurent Simon:
Distributed Reasoning in a Peer-to-Peer Setting.
945-946 BibTeX
- Alejandro Agostini, Enric Celaya:
Learning Model Free Motor Control.
947-948 BibTeX
- Samir Aknine:
Iterated Algorithm for the Optimal Winner Determination in Combined Negotiations.
949-950 BibTeX
- João Alcântara, Carlos Viegas Damásio, Luís Moniz Pereira:
A Declarative Characterization of Disjunctive Paraconsistent Answer Sets.
951-952 BibTeX
- Zakariya M. Al-Hamouz, A. H. Mantawy, Hussain N. Al-Duwaish, Ibrahim El-Amin, Ali Al-Faraj:
Transmission Expansion Planning Based on Tabu Search Algorithm.
953-954 BibTeX
- Giuliano Armano, Giancarlo Cherchi, Eloisa Vargiu:
Automatic Generation of Macro-Operators from Static Domain Analysis.
955-956 BibTeX
- Mohammed Attik, Laurent Bougrain, Frédéric Alexandre:
Optimal Brain Surgeon Variants for Optimization.
957-958 BibTeX
- J. Christopher Beck, Patrick Prosser, Richard J. Wallace:
Failing First: An Update.
959-960 BibTeX
- Salem Benferhat, Rania El Baida:
Handling Conflicts in Access Control Models.
961-962 BibTeX
- Alain Bidault, Sarah Cohen Boulakia, Christine Froidevaux:
Preferences for Queries in a Mediator Approach.
963-964 BibTeX
- Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
An Abstraction from Power to Coalition Structures.
965-966 BibTeX
- Juan A. Botía, Alberto López-Acosta, Antonio F. Gómez-Skarmeta:
ACLAnalyser: A Tool for Debugging Multi-Agent Systems.
967-968 BibTeX
- Klaus Brinker:
On Multiclass Active Learning with Support Vector Machines.
969-970 BibTeX
- Emerson Cabrera Paraiso, Jean-Paul A. Barthès, Cesar Augusto Tacla:
A Speech Architecture for Personal Assistants in a Knowledge Management Context.
971-972 BibTeX
- Philippe Collard, Sébastien Vérel, Manuel Clergue:
Local Search Heuristics: Fitness Cloud versus Fitness Landscape.
973-974 BibTeX
- Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello:
A Uniform Tableaux-Based Method for Concept Abduction and Contraction in Description Logics.
975-976 BibTeX
- Simon Colton, Alison Pease:
Lakatos-Style Automated Theorem Modification.
977-978 BibTeX
- Fabio Gagliardi Cozman:
Axiomatizing Noisy-OR.
979-980 BibTeX
- Maurice Coyle, Barry Smyth:
Different Strokes for Different Folks: An Analysis of Similarity and Diversity in Web Search.
981-982 BibTeX
- Stephen Cresswell, Alexandra M. Coddington:
Adapting LPGP to Plan with Deadlines.
983-984 BibTeX
- Stephen Cresswell, Alexandra M. Coddington:
Compilation of LTL Goal Formulas into PDDL.
985-986 BibTeX
- Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb:
Towards a Connectionist Argumentation Framework.
987-988 BibTeX
- Michael Defoin-Platel, Manuel Clergue, Philippe Collard:
Dynamical Teams of Genetic Predictors.
989-990 BibTeX
- Robert Demolombe:
From Belief Change to Obligation Change in the Situation Calculus.
991-992 BibTeX
- Jorge Díez, Gustavo F. Bayón, José Ramón Quevedo, Juan José del Coz, Oscar Luaces, Jaime Alonso, Antonio Bahamonde:
Discovering Relevancies in Very Difficult Regression Problems: Applications to Sensory Data Analysis.
993-994 BibTeX
- Clare Dixon:
Miss Scarlett in the Ballroom with the Lead Piping.
995-996 BibTeX
- Patrick Doherty, Steve Kertes, Martin Magnusson, Andrzej Szalas:
Towards a Logical Analysis of Biochemical Reactions.
997-998 BibTeX
- Madalina M. Drugan, Linda C. van der Gaag:
A New MDL-Based Function for Feature Selection for Bayesian Network Classifiers.
999-1000 BibTeX
- Paul E. Dunne:
Context Dependence in Multiagent Resource Allocation.
1001-1002 BibTeX
- Paul E. Dunne, Michael Laurence, Michael Wooldridge:
Tractability Results for Automatic Contracting.
1003-1004 BibTeX
- Gilles Énée, Cathy Escazut, Michael Defoin-Platel:
Evolution of Communication Between Genetic Agents.
1005-1006 BibTeX
- Floriana Esposito, Nicola Fanizzi, Luigi Iannone, Ignazio Palmisano, Giovanni Semeraro:
Induction and Revision of Terminologies.
1007-1008 BibTeX
- Roberto Esposito:
Empirical Evaluation of the Effects of Concept Complexity on Generalization Error.
1009-1010 BibTeX
- Stefano Ferilli, Floriana Esposito, Teresa Maria Altomare Basile, Nicola Di Mauro:
Automatic Induction of Domain-Related Information: Learning Descriptors Type Domains.
1011-1012 BibTeX
- Ricardo Luís de Freitas, Gilberto Shigueo Nakamiti, Carlos Miguel Tobar, Dilermando Piva Jr.:
Appropriateness of the Case-Based Approach in an Application to Assistant Robotics.
1013-1014 BibTeX
- Cipriano Galindo, Javier Gonzalez, Juan-Antonio Fernandez-Madrigal:
Interactive Task Planning through Multiple Abstraction: Application to Assistant Robotics.
1015-1016 BibTeX
- Antony Galton, James Hood:
Qualitative Interpolation for Environmental Knowledge Representation.
1017-1018 BibTeX
- Fabio Gasparetti, Alessandro Micarelli:
Swarm Intelligence: Agents for Adaptive Web Search.
1019-1020 BibTeX
- Mehmet Giritli:
A Spatial Logic of Betweenness.
1021-1022 BibTeX
- Maarten Grachten, Josep Lluís Arcos:
Using the Implication/Realization Model for Measuring Melodic Similarity.
1023-1024 BibTeX
- Irène Grosclaude:
Model-Based Monitoring of Software Components.
1025-1026 BibTeX
- Hans W. Guesgen, Paul Shotbolt:
Dynamic Skeleton Based Wayfinding.
1027-1028 BibTeX
- Keith Halsey, Derek Long, Maria Fox:
Multiple Relaxations in Temporal Planning.
1029-1030 BibTeX
- Patrik Haslum:
Improving Heuristics Through Search.
1031-1032 BibTeX
- Nathanael Hyafil, Fahiem Bacchus:
Utilizing Structured Representations and CSP's in Conformant Probabilistic Planning.
1033-1034 BibTeX
- Richard Johansson, David Williams, Pierre Nugues:
Converting Texts of Road Accidents into 3D Scenes.
1035-1036 BibTeX
- Rasa Jurgelenaite, Peter J. F. Lucas:
Parameter Estimation in Large Causal Models.
1037-1038 BibTeX
- Katharina Kaiser, Silvia Miksch:
Temporal Plan Interdependencies.
1039-1040 BibTeX
- Christian Köhler, Artur Ottlik, Hans-Hellmut Nagel, Bernhard Nebel:
Qualitative Reasoning Feeding Back into Quantitative Model-Based Tracking.
1041-1042 BibTeX
- Eylem Koca, Taner Bilgiç:
A Troubleshooting Approach with Dependent Actions.
1043-1044 BibTeX
- Matjaz Kukar:
Estimating Confidence Values of Individual Predictions by their Typicalness and Reliability.
1045-1046 BibTeX
- Gérard Ligozat, Jochen Renz:
Problems with Local Consistency for Qualitative Calculi.
1047-1048 BibTeX
- Andrew Lim, Zhou Xu:
A Critical-Shaking Neighbourhood Search for the Yard Allocation Problem.
1049-1050 BibTeX
- Honghai Liu, George Macleod Coghill:
Qualitative Modelling of Planar Robots.
1051-1052 BibTeX
- Dermot Lynott, Mark T. Keane:
Modelling the Interpretation of Novel Compounds.
1053-1054 BibTeX
- Rónán Mac Ruairi, Mark T. Keane:
Role Swapping in Multi-Agent Sensor Webs.
1055-1056 BibTeX
- Vincent Maya, Myriam Lamolle, Catherine Pelachaud:
Embodied Conversational Agents and Influences.
1057-1058 BibTeX
- Wolfgang Mayer, Markus Stumptner:
High-Level Observations in Java Debugging.
1059-1060 BibTeX
- Djamel Merad, Narjes Khézami, Samir Otmane, Malik Mallem:
A 3D Free Form Object Localization Using Skeletons: Application to Teleoperation.
1061-1062 BibTeX
- Stefania Montani, Paolo Terenziani:
Mapping Clinical Guidelines Representation Primitives to Decision Theory Concepts.
1063-1064 BibTeX
- María Dolores Rodríguez-Moreno, Angelo Oddi, Daniel Borrajo, Amedeo Cesta, Daniel Meziat:
IPSS: A Hybrid Reasoner for Planning and Scheduling.
1065-1066 BibTeX
- Benoit Morisset, Guillaume Infantes, Malik Ghallab, Félix Ingrand:
Robel: Synthesizing and Conrolling Complex Robust Robot Behaviors.
1067-1068 BibTeX
- Alexander Nareyek, Stephen F. Smith, Christian M. Ohler:
Local Search for Heuristic Guidance in Tree Search.
1069-1070 BibTeX
- Maria Teresa Pazienza, Marco Pennacchiotti, Fabio Massimo Zanzotto:
Identifying Relational Concept Lexicalisations by Using General Linguistic Knowledge.
1071-1072 BibTeX
- Georgios Petasis, Vangelis Karkaletsis, Claire Grover, Ben Hachey, Maria Teresa Pazienza, Michele Vindigni, José Coch:
Adaptive, Multilingual Named Entity Recognition in Web Pages.
1073-1074 BibTeX
- Ahti-Veikko Pietarinen:
Extending Defeasible Logic and Defeasible Prolog.
1075-1076 BibTeX
- Edoardo Pignotti, Peter Edwards, Gunnar Aastrand Grimnes:
Context-Aware Personalised Service Delivery.
1077-1078 BibTeX
- Ralf Regele, Paul Levi:
Cooperation Based on Communication: An Approach for an Autonomous Driving System.
1079-1080 BibTeX
- Mónica Sánchez, Francesc Prats, Núria Agell, Joseph Aguilar-Martin:
A Characterization of Linearly Compensated Hybrid Connectives Used in Fuzzy Classifications.
1081-1082 BibTeX
- David Sarne, Meirav Hadad, Sarit Kraus:
Equilibrium Strategies for Task Allocation in Dynamic Multi-Agent Systems.
1083-1084 BibTeX
- Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
Symbolic Models for Diagnosing Discrete-Event Systems.
1085-1086 BibTeX
- Laura Sebastia, Eva Onaindia, Eliseo Marzal:
Concurrent Planning by Decomposition.
1087-1088 BibTeX
- Nuno Seco, Tony Veale, Jer Hayes:
An Intrinsic Information Content Metric for Semantic Similarity in WordNet.
1089-1090 BibTeX
- Csaba Szepesvári, András Kocsor, Kornél Kovács:
Kernel Machine Based Feature Extraction Algorithms for Regression Problems.
1091-1092 BibTeX
- Minh Tang, Amol Dattatraya Mali:
Variants of A* for Planning.
1093-1094 BibTeX
- Antoaneta Serguieva, Tariq M. Khan:
Domain Representation Assisting Cognitive Analysis.
1095-1096 BibTeX
- Annette ten Teije, Frank van Harmelen, Bob J. Wielinga:
Configuration of Web Services as Parametric Design.
1097-1098 BibTeX
- Jesús Tomás, Jaime Lloret, Francisco Casacuberta:
A Spanish-Catalan Translator Using Statistical Methods.
1099-1100 BibTeX
- Linda C. van der Gaag, Eveline M. Helsper:
Defining Classes of Influences for the Acquisition of Probability Constraints for Bayesian Networks.
1101-1102 BibTeX
- Nico Van de Weghe, Anthony G. Cohn, Philippe De Maeyer:
A Qualitative Representation of Trajectory Pairs.
1103-1104 BibTeX
- Willem Jan van Hoeve, Michela Milano:
Postponing Branching Decisions.
1105-1106 BibTeX
- Quoc Bao Vo:
Contextualized Abstraction for Assertion-Level Theorem Proving.
1107-1108 BibTeX
- Gerhard Widmer, Patrick Zanon:
Automatic Recognition of Famous Artists by Machine.
1109-1110 BibTeX
- Nic Wilson:
Soft Constraints with Partially Ordered Preferences.
1111-1112 BibTeX
- Shao Xiaowei, Shao Changsheng, Zhao Changan:
An Ant Colony Genetic Algorithm.
1113-1114 BibTeX
- Joseph Zalaket, Guy Camilleri:
NGP: Numerical Graph Planning.
1115-1116 BibTeX
- Emmanuel Zenou, Malik Ghallab, Manuel Samuelides:
Topological Visual Localization Using Decentralized Galois Lattices.
1117-1120 BibTeX
Invited Talks
Late Papers
Copyright © Sat May 16 23:07:49 2009
by Michael Ley (ley@uni-trier.de)