18. ECAI 2008: Patras, Greece
Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris (Eds.): ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings. IOS Press 2008 Frontiers in Artificial Intelligence and Applications ISBN 978-1-58603-891-5
I. Invited Talks
- Monique Thonnat: Semantic Activity Recognition. 3-7
- Zoubin Ghahramani: Bayesian Methods for Artificial Intelligence and Machine Learning. 8
- Pascal Van Hentenryck: The Impact of Constraint Programming. 9
- George Metakides: Web Science. 10
II. Papers
1. Knowledge Representation and Reasoning
- Martin Gebser, Benjamin Kaufmann, André Neumann, Torsten Schaub: Advanced Preprocessing for Answer Set Solving. 15-19
- Emmanuel Blanchard, Mounira Harzallah, Pascale Kuntz: A generic framework for comparing semantic similarities on a subsumption hierarchy. 20-24
- Christoph Haase, Carsten Lutz: Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes. 25-29
- Bernardo Cuenca Grau, Ian Horrocks: Privacy-Preserving Query Answering in Logic-based Information Systems. 40-44
- Freddy Lécué, Alexandre Delteil, Alain Léger: Optimizing Causal Link Based Web Service Composition. 45-49
- Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Semantic Modularity and Module Extraction in Description Logics. 55-59
- Thomas Leopold, Gabriele Kern-Isberner, Gabriele Peters: Belief revision with reinforcement learning for interactive object recognition. 65-69
- George Konstantinidis, Giorgos Flouris, Grigoris Antoniou, Vassilis Christophides: A Formal Approach for RDF/S Ontology Evolution. 70-74
- Tomi Janhunen: Modular Equivalence in General. 75-79
- Pavlos Peppas, Anastasios Michael Fotinopoulos, Stella Seremetaki: Conflicts between Relevance-Sensitive and Iterated Belief Revision. 85-88
- Matthias Knorr, José Júlio Alferes, Pascal Hitzler: A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. 99-103
2. Machine Learning
- Fabrizio Angiulli: Prototype-based Domain Description. 107-111
- Frédéric Koriche: Online Rule Learning via Weighted Model Counting. 112-116
- Ioannis Partalas, Grigorios Tsoumakas, Ioannis P. Vlahavas: Focused Ensemble Selection: A Diversity-Based Method for Greedy Ensemble Selection. 117-121
- Qing Wang, Liang Zhang, Mingmin Chi, Jiankui Guo: MTForest: Ensemble Decision Trees based on Multi-Task Learning. 122-126
- Nizar Messai, Marie-Dominique Devignes, Amedeo Napoli, Malika Smaïl-Tabbone: Many-Valued Concept Lattices for Conceptual Clustering and Information Retrieval. 127-131
- Christoforos Anagnostopoulos, Dimitris K. Tasoulis, David J. Hand, Niall M. Adams: Online optimization for variable selection in data streams. 132-136
- Daniel Rivero, Julian Dorado, Juan R. Rabuñal, Alejandro Pazos: Automatic Recurrent ANN development for signal classification: detection of seizures in EEGs. 142-146
- Frédéric Pennerath, Géraldine Polaillon, Amedeo Napoli: A Method for Classifying Vertices of Labeled Graphs Applied to Knowledge Discovery from Molecules. 147-151
- Liviu Badea, Doina Tilivea: Nonnegative Decompositions with Resampling for Improving Gene Expression Data Biclustering Stability. 152-156
- Francisco S. Melo: Exploiting locality of interactions using a policy-gradient approach in multiagent learning. 157-161
- Susanne Hoche, Peter A. Flach, David Hardcastle: A Fast Method for Property Prediction in Graph-Structured Data from Positive and Unlabelled Examples. 162-166
- José Luis Montaña: VCD Bounds for some GP Genotypes. 167-171
3. Model-Based Diagnosis and Reasoning
- Emmanuel Benazera, Louise Travé-Massuyès: Generating Diagnoses from Conflict Sets with Continuous Attributes. 179-183
- Peter Struss, Axel Kather, Dominik Schneider, Tobias Voigt: A Compositional Mathematical Model of Machines Transporting Rigid Objects. 184-188
- Xiangfu Zhao, Dantong Ouyang: Model-Based Diagnosis of Discrete Event Systems with an Incomplete System Model. 189-193
- Xavier Le Guillou, Marie-Odile Cordier, Sophie Robin, Laurence Rozé: Chronicles for On-line Diagnosis of Distributed Systems. 194-198
- Gregory M. Provan: Test Generation for Model-Based Diagnosis. 199-203
- Gianfranco Lamperti, Marina Zanella: Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems. 204-208
- Priscilla Kan John, Alban Grastien: Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems. 209-213
- Peter Sutovskú, Gregory F. Cooper: Hierarchical explanation of inference in Bayesian networks that represent a population of independent agents. 214-218
- Mehdi Bayoudh, Louise Travé-Massuyès, Xavier Olive: Coupling Continuous and Discrete Event System Techniques for Hybrid System Diagnosability Analysis. 219-223
- Farid Nouioua, Philippe Dague: A probabilistic analysis of diagnosability in discrete event systems. 224-228
- Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong: Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. 229-233
- Martin Mozina, Matej Guid, Jana Krivec, Aleksander Sadikov, Ivan Bratko: Fighting Knowledge Acquisition Bottleneck with Argument Based Machine Learning. 234-238
4. Cognitive Modeling and Interaction
- Andreas Arzt, Gerhard Widmer, Simon Dixon: Automatic Page Turning for Musicians via Real-Time Machine Listening. 241-245
- Fulvio Mastrogiovanni, Antonello Scalmato, Antonio Sgorbissa, Renato Zaccaria: CDL: an Integrated Framework for Context Specification and Recognition. 246-250
- Yong Zhen Guo, Kotagiri Ramamohanarao, Laurence A. F. Park: Web Page Prediction Based on Conditional Random Fields. 251-255
- Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. 256-260
- Jérôme Kunegis, Stephan Schmidt, Sahin Albayrak, Christian Bauckhage, Martin Mehlitz: Modeling Collaborative Similarity with the Signed Resistance Distance Kernel. 261-265
- Fiemke Both, Mark Hoogendoorn, Michel C. A. Klein, Jan Treur: Modeling the Dynamics of Mood and Depression. 266-270
- Arndt Faulhaber, Erica Melis: An Efficient Student Model Based on Student Performance and Metadata. 276-280
5. Natural Language Processing
- Evita Linardaki: Reducing Bias Effects in DOP Parameter Estimation. 283-287
- Hans Hjelm, Paul Buitelaar: Multilingual Evidence Improves Clustering-based Taxonomy Extraction. 288-292
- Seyed Abolghasem Mirroshandel, Gholamreza Ghassem-Sani: Unsupervised Grammar Induction Using a Parent Based Constituent Context Model. 293-297
- Georgios Petasis, Vangelis Karkaletsis, Georgios Paliouras, Constantine D. Spyropoulos: Learning context-free grammars to extract relations from text. 303-307
- Tony Veale, Yanfen Hao: Talking Points in Metaphor: A Concise Usage-based Representation for Figurative Processing. 308-312
- Sven Hartrumpf: Semantic Decomposition for Question Answering. 313-317
- Wouter Weerkamp, Krisztian Balog, Maarten de Rijke: Finding Key Bloggers, One Post At A Time. 318-322
- Bernd Ludwig, Martin Hacker: Why is this Wrong? - Diagnosing Erroneous Speech Recognizer Output with a Two Phase Parser. 323-327
- Feiyu Xu, Hans Uszkoreit, Hong Li: Task Driven Coreference Resolution for Relation Extraction. 328-332
- Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka: WWW sits the SAT: Measuring Relational Similarity on the Web. 333-337
- Preslav Nakov: Improved Statistical Machine Translation Using Monolingual Paraphrases. 338-342
- Lars Yencken, Timothy Baldwin: Orthographic similarity search for dictionary lookup of Japanese words. 343-347
6. Uncertainty and AI
- Jianbing Ma, Weiru Liu: A General Model for Epistemic State Revision using Plausibility Measures. 356-360
- Marenglen Biba, Stefano Ferilli, Floriana Esposito: Structure Learning of Markov Logic Networks through Iterated Local Search. 361-365
- Souhila Kaci, Henri Prade: Mastering the Processing of Preferences by Using Symbolic Priorities in Possibilistic Logic. 376-380
7. Distributed and Multi-Agents Systems
- Yoann Kubera, Philippe Mathieu, Sébastien Picault: Interaction-Oriented Agent Simulations: From Theory to Implementation. 383-387
- Tomasz P. Michalak, Andrew Dowell, Peter McBurney, Michael Wooldridge: Optimal Coalition Structure Generation In Partition Function Games. 388-392
- Edith Elkind, Georgios Chalkiadakis, Nicholas R. Jennings: Coalition Structures in Weighted Voting Games. 393-397
- Nicola Gatti: Game Theoretical Insights in Strategic Patrolling: Model and Algorithm in Normal-Form. 403-407
- Roberto Micalizio, Pietro Torasso: Monitoring the Execution of a Multi-Agent Plan: Dealing with Partial Observability. 408-412
- Roman van der Krogt, Mathijs de Weerdt, Yingqian Zhang: Of Mechanism Design Multiagent Planning. 423-427
- Perukrishnen Vytelingum, Ioannis A. Vetsikas, Bing Shi, Nicholas R. Jennings: IAMwildCAT: The Winning Strategy for the TAC Market Design Competition. 428-432
- Natalia Akchurina: Multi-Agent Reinforcement Learning Algorithm with Variable Optimistic-Pessimistic Criterion. 433-437
- Danny Kuminov, Moshe Tennenholtz: As Safe As It Gets: Near-Optimal Learning in Multi-Stage Games with Imperfect Monitoring. 438-442
- Patricia Anthony, Edwin Law: A Heuristic Based Seller Agent for Simultaneous English Auctions. 443-447
- Athanasios Papakonstantinou, Alex Rogers, Enrico H. Gerding, Nicholas R. Jennings: A Truthful Two-Stage Mechanism for Eliciting Probabilistic Estimates with Unknown Costs. 448-452
- Célia da Costa Pereira, Andrea Tettamanzi: Goal Generation and Adoption from Partially Trusted Beliefs. 453-457
- Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud: Theoretical and Computational Properties of Preference-based Argumentation. 463-467
- Henrique Lopes Cardoso, Eugénio C. Oliveira: Norm Defeasibility in an Institutional Normative Framework. 468-472
8. Constraints and Search
- Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Zeynep Kiziltan, Toby Walsh: SLIDE: A Useful Special Case of the CARDPATH Constraint. 475-479
- Lawrence Mandow, José-Luis Pérez-de-la-Cruz: Frontier Search for Bicriterion Shortest Path Problems. 480-484
- Kostas Stergiou: Heuristics for Dynamically Adapting Propagation. 485-489
- Mehdi Samadi, Maryam Siabani, Ariel Felner, Robert Holte: Compressing Pattern Databases with Learning. 495-499
- Hachemi Bennaceur, Christophe Lecoutre, Olivier Roussel: A Decomposition Technique for Max-CSP. 500-504
- Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea: A new Approach for Solving Satisfiability Problems with Qualitative Preferences. 510-514
- Jason Jingshi Li, Tomasz Kowalski, Jochen Renz, Sanjiang Li: Combining binary constraint networks in qualitative reasoning. 515-519
- Martin C. Cooper, Peter G. Jeavons, András Z. Salamon: Hybrid tractable CSPs which generalize tree structure. 530-534
- Matti Järvisalo, Tommi A. Junttila, Ilkka Niemelä: Justification-Based Non-Clausal Local Search for SAT. 535-539
- Carlos Linares López: Multi-valued Pattern Databases. 540-544
- Mehdi Samadi, Jonathan Schaeffer, Fatemeh Torabi Asr, Majid Samar, Zohreh Azimifar: Using abstraction in Two-Player Games. 545-549
9. Planning and Scheduling
- Luke Hunsberger: A Practical Temporal Constraint Management System for Real-Time Applications. 553-557
- Jörg Hoffmann: Towards Efficient Belief Update for Planning-Based Web Service Composition. 558-562
- Nabil Belgasmi, Lamjed Ben Said, Khaled Ghédira: Genetic Optimization of the Multi-Location Transshipment Problem with Limited Storage Capacity. 563-567
- Jussi Rintanen: Regression for Classical and Nondeterministic Planning. 568-572
- Alfonso Gerevini, Ugur Kuter, Dana S. Nau, Alessandro Saetti, Nathaniel Waisbrot: Combining Domain-Independent Planning and HTN Planning: The Duet Planner. 573-577
- André A. Ciré, Adi Botea: Learning in Planning with Temporally Extended Goals and Uncontrollable Events. 578-582
- Emmanuel Rachelson, Gauthier Quesnel, Frédérick Garcia, Patrick Fabiani: A Simulation-based Approach for Solving Generalized Semi-Markov Decision Processes. 583-587
10. Perception, Sensing and Cognitive Robotics
- Katrin Amlacher, Lucas Paletta: An Attentive Machine Interface Using Geo-Contextual Awareness for Mobile Vision Tasks. 601-605
- Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg: Learning Functional Object-Categories from a Relational Spatio-Temporal Representation. 606-610
- Geoffroy Fouquier, Jamal Atif, Isabelle Bloch: Sequential spatial reasoning in images based on pre-attention mechanisms and fuzzy attribute graphs. 611-615
- Robert Lundh, Lars Karlsson, Alessandro Saffiotti: Automatic Configuration of Multi-Robot Systems: Planning for Multiple Steps. 616-620
- Olivier Nempont, Jamal Atif, Elsa D. Angelini, Isabelle Bloch: Structure segmentation and recognition in images guided by structural constraint propagation. 621-625
- Arnaud Glad, Olivier Simonin, Olivier Buffet, François Charpillet: Theoretical Study of Ant-based Algorithms for Multi-Agent Patrolling. 626-630
- Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis: Incremental Component-Based Construction and Verification of a Robotic System. 631-635
- Pierre Lison, Geert-Jan M. Kruijff: Salience-driven Contextual Priming of Speech Recognition for Human-Robot Interaction. 636-640
III. Prestigious Applications of Intelligent Systems (PAIS)
- Juan M. Corchado, Aitor Mata, Juan Francisco de Paz, David Del Pozo: A new CBR approach to the oil spill problem. 643-647
- Ian Blacoe, Ignazio Palmisano, Valentina A. M. Tamma, Luigi Iannone: QuestSemantics - Intelligent Search and Retrieval of Business Knowledge. 648-652
- Lucie Callens, Guy Carrault, Marie-Odile Cordier, Élisa Fromont, François Portet, Rene Quiniou: Intelligent adaptive monitoring for cardiac surveillance. 653-657
- Marina Velikova, Peter J. F. Lucas, Nivea de Carvalho Ferreira, Maurice Samulski, Nico Karssemeijer: A decision support system for breast cancer detection in screening programs. 658-662
- Paul R. Cohen, Carole R. Beal, Niall M. Adams: The Design, Deployment and Evaluation of the AnimalWatch Intelligent Tutoring System. 663-667
- Adolfo Bulfoni, Paolo Coppola, Vincenzo Della Mea, Luca Di Gaspero, Danny Mischis, Stefano Mizzaro, Ivan Scagnetto, Luca Vassena: AI on the Move: Exploiting AI Techniques for Context Inference on Mobile Devices. 668-672
- Matthias Haringer, Lothar Hotz, Vera Kamp: Two Stage Knowledge Discovery for Spatio-temporal Radio-emission Data. 673-677
- Jim Hunter, Albert Gatt, François Portet, Ehud Reiter, Somayajulu Sripada: Using Natural Language Generation Technology to Improve Information Flows in Intensive Care Units. 678-682
- Frank Puppe, Martin Atzmüller, Georg Buscher, Matthias Hüttig, Hardi Luehrs, Hans-Peter Buscher: Application and Evaluation of a Medical Knowledge System in Sonography (SONOCONSULT). 683-687
- Vangelis Karkaletsis, Pythagoras Karampiperis, Konstantinos Stamatakis, Martin Labský, Marek Ruzicka, Vojtech Svátek, Enrique Amigó, Matti Pöllä, Miquel Angel Mayer, Angela Leis, Dagmar Villarroel Gonzales: Automating Accreditation of Medical Web Content. 688-692
- Rossella Blatt, Andrea Bonarini, Elisa Calabró, Matteo Matteucci, Matteo Della Torre, Ugo Pastorino: Pattern Classification Techniques for Early Lung Cancer Diagnosis using an Electronic Nose. 693-697
- Tarik Hadzic, David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson: A BDD Approach to the Feature Subscription Problem. 698-702
- Amedeo Cesta, Gabriella Cortellessa, Michel Denis, Alessandro Donati, Simone Fratini, Angelo Oddi, Nicola Policella, Erhard Rabenau, Jonathan Schulster: Continuous Plan Management Support for Space Missions: the RAXEM Case. 703-707
- Roberta Annicchiarico, Cristian Barrué, T. Benedico, Fabio Campana, Ulises Cortés, Antonio Martínez-Velasco: The i-Walker: an intelligent pedestrian mobility aid. 708-712
- Dymitr Ruta: Mixture of Gaussians Model for Robust Pedestrian Images Detection. 713-717
IV. Short Papers
1. Knowledge Representation and Reasoning
- Philippe Besnard, Marie-Odile Cordier, Yves Moinard: Deriving explanations from causal information. 723-724
- Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for [Ascr ][Lscr ][Cscr ][Qscr ]. 725-726
- Georgios Meditskos, Nick Bassiliades: HOOPO: A Hybrid Object-Oriented Integration of Production Rules OWL Ontologies. 729-730
- Georgios Meditskos, Nick Bassiliades: Rule-based OWL Ontology Reasoning Using Dynamic ABOX Entailments. 731-732
- Anastasia Analyti, Grigoris Antoniou, Carlos Viegas Damásio, Gerd Wagner: Computability and Complexity Issues of Extended RDF. 733-734
- Mohamad El Falou, Maroua Bouzid, Abdel-Illah Mouaddib, Thierry Vidal: Automated Web Services Composition Using Extended Representation of Planning Domain. 735-736
- Patricia Everaere, Sébastien Konieczny, Pierre Marquis: Propositional merging operators based on set-theoretic closeness. 737-738
- Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini, Eufemia Tinelli: Partial and Informative Common Subsumers in Description Logics. 739-740
- Meghyn Bienvenu, Andreas Herzig, Guilin Qi: Prime Implicate-based Belief Revision Operators. 741-742
- Fausto Giunchiglia, Mikalai Yatskevich, Fiona McNeill, Pavel Shvaiko, Juan Pane, Paolo Besana: Approximate structure preserving semantic matching. 743-744
- Nabil Benayadi, Marc Le Goc: Discovering Temporal Knowledge from a Crisscross of Timed Observations. 745-746
- Pavel Cejnar: Computing e-Optimal Strategies in Bridge and Other Games of Sequential Outcome. 753-754
2. Machine Learning
- Yaxin Bi, Shengli Wu, Pan Xiong, Xuhui Shen: Classifier Combination Using a Class-indifferent Method. 757-758
- Ioannis Partalas, Georgios Paliouras, Ioannis P. Vlahavas: Reinforcement Learning with Classifier Selection for Focused Crawling. 759-760
- L. Simões, Martijn C. Schut, Evert Haasdijk: Intuitive Action Set Formation in Learning Classifier Systems with Memory Registers. 761-762
- Ioannis Katakis, Grigorios Tsoumakas, Ioannis P. Vlahavas: An Ensemble of Classifiers for coping with Recurring Contexts in Data Streams. 763-764
- Paola Velardi, Roberto Navigli, Alessandro Cucchiarelli, Mirco Curzi: Content-Based Social Network Analysis. 765-766
- Marc-Ismaël Akodjènou-Jeannin, Patrick Gallinari: Efficient Data Clustering by Local Density Approximation. 767-768
- Manolis Maragoudakis, Euripidis Loukis, Panayotis-Prodromos Pantelides: Gas Turbine Fault Diagnosis using Random Forests. 769-770
- Satoshi Oyama, Katsumi Tanaka: How Many Objects?: Determining the Number of Clusters with a Skewed Distribution. 771-772
- Elias Zavitsanos, Sergios Petridis, Georgios Paliouras, George A. Vouros: Determining Automatically the Size of Learned Ontologies. 775-776
- Nicos G. Pavlidis, Dimitris K. Tasoulis, Niall M. Adams, David J. Hand: Dynamic Multi-Armed Bandit with Covariates. 777-778
- Robby Goetschalckx, Scott Sanner, Kurt Driessens: Reinforcement Learning with the Use of Costly Features. 779-780
- Emanuel Kitzelmann: Data-driven Induction of Functional Programs. 781-782
- Ivanoe De Falco, Antonio Della Cioppa, Francesco Donnarumma, Domenico Maisto, Roberto Prevete, Ernesto Tarantino: CTRNN Parameter Learning using Differential Evolution. 783-784
3. Model-Based Diagnosis and Reasoning
- Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal: Characterizing and checking self-healability. 789-790
- Belarmino Pulido Junquera, Aníbal Bregón, Carlos Alonso González: Improving robustness in consistency-based diagnosis using possible conflicts. 791-792
- Gianfranco Lamperti, Marina Zanella: Dependable Monitoring of Discrete-Event Systems with Uncertain Temporal Observations. 793-794
- Mihai Nica, Franz Wotawa: From constraint representations of sequential code and program annotations to their use in debugging. 797-798
- Gianluca Torta, Daniele Theseider Dupré, Luca Anselma: Cost-sensitive Iterative Abductive Reasoning with abstractions. 803-804
- Gianluca Torta, Pietro Torasso: Computation of Minimal Sensor Sets for Conditional Testability Requirements. 805-806
4. Cognitive Modeling and Interaction
- Bruno Bouchard, Patrice Roy, Abdenour Bouzouane, Sylvain Giroux, A. Mihailidis: An Activity Recognition Model for Alzheimer's Patients: Extension of the COACH Task Guidance System. 811-812
- Dylan Evans: Not so new: overblown claims for 'new' approaches to emotion. 813-814
- Roman V. Belavkin, Christian R. Huyck: Emergence of Rules in Cell Assemblies of fLIF Neurons. 815-816
- Keita Sato, Yoko Nishihara, Wataru Sunayama: Personal Experience Acquisition Support from Blogs using Event-Depicting Images. 819-820
- H. Joe Steinhauer: Object Configuration Reconstruction from Descriptions using Relative and Intrinsic Reference Frames. 821-822
- Sylvain Castagnos, Armelle Brun, Anne Boyer: Probabilistic Reinforcement Rules for Item-Based Recommender Systems. 823-824
- José Antonio Iglesias, Agapito Ledezma, Araceli Sanchís, Gal A. Kaminka: An Efficient Behavior Classifier based on Distributions of Relevant Events. 825-826
- Robert Lokaiczyk, Manuel Görtz: ContextAggregator: A heuristic-based approach for automated feature construction and selection. 827-828
5. Natural Language Processing
- Spyridon Plakias, Efstathios Stamatatos: Author Identification Using a Tensor Space Representation. 833-834
- Tim vor der Brück, Holger Stenzhorn: A Dynamic Approach for Automatic Error Detection in Generation Grammars. 837-838
- Chao Shen, Xipeng Qiu, Xuanjing Huang, Lide Wu: Answering Definition Question: Ranking for Top-k. 839-840
- Thierry Declerck, Hans-Ulrich Krieger, Horacio Saggion, Marcus Spies: Ontology-Driven Human Language Technology for Semantic-Based Business Intelligence. 841-842
- David M. W. Powers: Evaluation Evaluation. 843-844
6. Uncertainty and AI
- Laura-Andreea Antanas, Kurt Driessens, Jan Ramon, Tom Croonenborghs: Using Decision Trees as the Answer Networks in Temporal Difference-Networks. 847-848
- Nic Wilson: An Efficient Deduction Mechanism for Expressive Comparative Preferences Languages. 849-850
- Adamo Santana, Gregory M. Provan: An Analysis of Bayesian Network Model-Approximation Techniques. 851-852
7. Distributed and Multi-Agents Systems
- Laura Giordano, Alberto Martelli: Verifying the Conformance of Agents with Multiparty Protocols. 855-856
- Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschein: An Empirical Investigation of the Adversarial Activity Model. 861-862
- Jean-Michel Contet, Franck Gechter, Pablo Gruer, Abder Koukam: Evaluation of global system state thanks to local phenomenona. 865-866
- Eugen Staab, Volker Fusenig, Thomas Engel: Trust-Aided Acquisition Of Unverifiable Information. 869-870
- Madalina Croitoru, Cornelius Croitoru, Paul H. Lewis: BIDFLOW: a New Graph-Based Bidding Language for Combinatorial Auctions. 871-872
- Arturo Servin, Daniel Kudenko: Multi-Agent Reinforcement Learning for Intrusion Detection: A case study and evaluation. 873-874
- Javier Bajo, Juan M. Corchado, Sara Rodríguez: GR-MAS: Multi-Agent System for Geriatric Residences. 875-876
- Tibor Bosse, Charlotte Gerritsen, Mark Hoogendoorn, S. Waqar Jaffry, Jan Treur: Agent-Based and Population-Based Simulation of Displacement of Crime (extended abstract). 877-878
- Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Organizing Coherent Coalitions. 879-880
- Gia Hien Nguyen, Philippe Chatalic, Marie-Christine Rousset: A probabilistic trust model for semantic peer-to-peer systems. 881-882
- Nicolás Hormazábal, Josep Lluís de la Rosa, Silvana Aciar: Trust Aware Negotiation Dissolution. 885-886
- Ricardo M. Araujo, Luís C. Lamb: On the Role of Structured Information Exchange in Supervised Learning. 887-888
- Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer: Magic Agents: Using Information Relevance to Control Autonomy. 889-890
- Norman Salazar, Juan A. Rodríguez-Aguilar, Josep Lluís Arcos: Infection-Based Norm Emergence in Multi-Agent Complex Networks. 891-892
- Dinis Félix, Luís Paulo Reis: Opponent Modelling in Texas Hold'em Poker as the Key for Success. 893-894
8. Constraints and Search
- Redouane Ezzahir, Christian Bessiere, Imade Benelallam, Houssine Bouyakhf, Mustapha Belaïssaoui: Dynamic Backtracking for Distributed Constraint Optimization. 901-902
- Marco Gavanelli, Marco Alberti, Evelina Lamma: Integrating Abduction and Constraint Optimization in Constraint Handling Rules. 903-904
- Roberto Battiti, Paolo Campigotto: Reinforcement Learning and Reactive Search: an adaptive MAX-SAT solver. 909-910
- Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva: A MAX-SAT Algorithm Portfolio. 911-912
- Rina Dechter, Lars Otten, Radu Marinescu: On the Practical Significance of Hypertree vs. TreeWidth. 913-914
9. Planning and Scheduling
- Jussi Rintanen: A New Approach to Planning in Networks. 917-918
- Eliseo Marzal, Laura Sebastia, Eva Onaindia: Detection of unsolvable temporal planning problems through the use of landmarks. 919-920
- Pascal Bercher, Robert Mattmüller: A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. 921-922
10. Perception, Sensing and Cognitive Robotics
- Matthieu Boussard, Maroua Bouzid, Abdel-Illah Mouaddib: Vector Valued Markov Decision Process for robot platooning. 925-926
- Reinaldo A. C. Bianchi, Arnau Ramisa, Ramon López de Mántaras: Learning to Select Object Recognition Methods for Autonomous Mobile Robots. 927-928
- Adriaan ter Mors, Xiaoyu Mao, Jonne Zutt, Cees Witteveen, Nico Roos: Robust Reservation-Based Multi-Agent Routing. 929-930
- Khaled Belghith, Benjamin Auder, Froduald Kabanza, Philipe Bellefeuille, Leo Hartman: Automatic Animation Generation of a Teleoperated Robot Arm. 931-932
- Martin Magnusson, David Landén, Patrick Doherty: Planning, Executing, and Monitoring Communication in a Logic-based Multi-agent System. 933-934
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team