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