default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID19th ECAI 2010: Lisbon, Portugal
- Helder Coelho, Rudi Studer, Michael J. Wooldridge:
ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Frontiers in Artificial Intelligence and Applications 215, IOS Press 2010, ISBN 978-1-60750-605-8
Session 1A. Propositional Logic
- Knot Pipatsrisawat, Adnan Darwiche:
Top-Down Algorithms for Constructing Structured DNNF: Theoretical and Practical Implications. 3-8 - Knot Pipatsrisawat, Adnan Darwiche:
On Decomposability and Interaction Functions. 9-14 - João Marques-Silva, Mikolás Janota, Inês Lynce:
On Computing Backbones of Propositional Theories. 15-20 - Tero Laitinen, Tommi A. Junttila, Ilkka Niemelä:
Extending Clause Learning DPLL with Parity Reasoning. 21-26
Session 1B. Description Logics & Ontologies
- Rafael Peñaloza, Baris Sertkaya:
Complexity of Axiom Pinpointing in the DL-Lite Family of Description Logics. 29-34 - Stijn Heymans, Thomas Eiter, Guohui Xiao:
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics. 35-40 - Carsten Lutz, Robert Piro, Frank Wolter:
Enriching [Escr ][Lscr ]-Concepts with Greatest Fixpoints. 41-46 - Zhe Wang, Kewen Wang, Rodney W. Topor, Xiaowang Zhang:
Tableau-based Forgetting in [Ascr ][Lscr ][Cscr ] Ontologies. 47-52 - Franz Baader, Hongkai Liu, Anees ul Mehdi:
Verifying Properties of Infinite Sequences of Description Logic Actions. 53-58
Session 1C. Cooperation
- Thomas Voice, Ruben Stranders, Alex Rogers, Nicholas R. Jennings:
A Hybrid Continuous Max-Sum Algorithm for Decentralised Coordination. 61-66 - Patricia Gutierrez, Pedro Meseguer:
BnB-ADOPT+ with Several Soft Arc Consistency Levels. 67-72 - Sebastian Stein, Enrico H. Gerding, Nicholas R. Jennings:
Optimal Task Migration in Service-Oriented Systems: Algorithms and Mechanisms. 73-78 - Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum:
Modeling the problem of many hands in organisations. 79-84 - Gauvain Bourgne, Henry Soldano, Amal El Fallah Seghrouchni:
Learning better together. 85-90
Session 1D. Diagnosis & Discovery
- Krishna Sandeep Reddy Dubba, Anthony G. Cohn, David C. Hogg:
Event Model Learning from Complex Videos using ILP. 93-98 - Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Decentralised Symbolic Diagnosis Approach. 99-104 - Lina Ye, Philippe Dague:
Diagnosability Analysis of Discrete Event Systems with Autonomous Components. 105-110 - Gerhard Friedrich, Wolfgang Mayer
, Markus Stumptner:
Diagnosing Process Trajectories Under Partially Known Behavior. 111-116
Session 1E. Argumentation & Dialogue
- Paul E. Dunne, Sanjay Modgil, Trevor J. M. Bench-Capon:
Computation in Extended Argumentation Frameworks. 119-124 - Emanuel Santos, João Pavão Martins, Helena Galhardas:
An Argumentation-based Approach to Database Repair. 125-130 - Stefano Bistarelli, Francesco Santini:
A Common Computational Framework for Semiring-based Argumentation Systems. 131-136 - Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
Behavior-Oriented Commitment-based Protocols. 137-142
Session 1F. Learning-Based Applications (PAIS)
- Anthony Brew, Derek Greene, Padraig Cunningham:
Using Crowdsourcing and Active Learning to Track Sentiment in Online Media. 145-150 - Rongxin Li, Peter Wang, Geoff James:
Multiscale Adaptive Agent-Based Management of Storage-Enabled Photovoltaic Facilities. 151-156 - Fabio Tango, Marco Botta, Luca Minin, Roberto Montanari:
Non-intrusive Detection of Driver Distraction using Machine Learning Algorithms. 157-162 - Predrag T. Tosic, Ricardo Vilalta:
Learning and Meta-Learning for Coordination of Autonomous Unmanned Vehicles - A Preliminary Analysis. 163-168 - Stan Matwin, Joseph De Koninck, Amir Hossein Razavi, Ray Reza Amini:
Classification of Dreams Using Machine Learning. 169-174
Session 2A. Robotics & Autonomous Systems
- Cui Jian, Desislava Zhekova, Hui Shi, John A. Bateman:
Deep Reasoning in Clarification Dialogues with Mobile Robots. 177-182 - Fredrik Heintz, Jonas Kvarnström, Patrick Doherty:
Stream-Based Reasoning Support for Autonomous Systems. 183-188 - Stefan Zickler, Manuela M. Veloso:
Variable Level-Of-Detail Motion Planning in Environments with Poorly Predictable Bodies. 189-194
Session 2B. Coalitions & Teams
- Tomasz P. Michalak, Talal Rahwan, Dorota Marciniak, Marcin Szamotulski, Nicholas R. Jennings:
Computational Aspects of Extending the Shapley Value to Coalitional Games with Externalities. 197-202 - Stéphane Airiau, Sandip Sen:
On the stability of an Optimal Coalition Structure. 203-208 - Adam M. Sykulski, Archie C. Chapman, Enrique Munoz de Cote, Nicholas R. Jennings:
EA2: The Winning Strategy for the Inaugural Lemonade Stand Game Tournament. 209-214
Session 2C. Planning
- Eric Beaudry, Froduald Kabanza, François Michaud:
Planning with Concurrency under Resources and Time Uncertainty. 217-222 - Jörg Hoffmann, Nazim Fatès, Héctor Palacios:
Brothers in Arms? On AI Planning and Cellular Automata. 223-228 - Mohamed Elkawkagy, Bernd Schattenberg, Susanne Biundo:
Landmarks in Hierarchical Planning. 229-234
Session 2D. Uncertainty - Bayesian Methods
- Johan Kwisthout, Hans L. Bodlaender, Linda C. van der Gaag:
The Necessity of Bounded Treewidth for Efficient Inference in Bayesian Networks. 237-242 - Daan Fierens:
Context-Specific Independence in Directed Relational Probabilistic Models and its Influence on the Efficiency of Gibbs Sampling. 243-248 - Perry Groot, Adriana Birlutiu, Tom Heskes:
Bayesian Monte Carlo for the Global Optimization of Expensive Functions. 249-254
Session 2E. Preference Modelling & Aggregation
- Toby Walsh:
An Empirical Study of the Manipulability of Single Transferable Voting. 257-262 - Sujit Gujar, David C. Parkes:
Dynamic Matching with a Fall-back Option. 263-268 - Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, Chattrakul Sombattheera:
Learning conditionally lexicographic preference relations. 269-274
Session 2F. Biology and Nature-Related Applications (PAIS)
- Takehide Soh, Katsumi Inoue:
Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation. 277-282 - Orlando Ohashi, Luís Torgo, Rita P. Ribeiro:
Interval Forecast of Water Quality Parameters. 283-288 - Barry O'Sullivan, Steven Keady, Enda Keane, Sandra Irwin, John O'Halloran:
Data Mining for Biodiversity Prediction in Forests. 289-294
Session 3A. Clustering & Classification
- Viet-Vu Vu, Nicolas Labroche, Bernadette Bouchon-Meunier:
Boosting Clustering by Active Constraint Selection. 297-302 - Frank Lin, William W. Cohen:
A Very Fast Method for Clustering Big Text Datasets. 303-308 - Rui Leite, Pavel Brazdil:
Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and Metalearning. 309-314 - Nam Nguyen:
Improving Hierarchical Classification with Partial Labels. 315-320
Session 3B. Planning
- Muhammad Abdul Hakim Newton, John Levine:
Implicit Learning of Compiled Macro-Actions for Planning. 323-328 - Blai Bonet, Malte Helmert:
Strengthening Landmark Heuristics via Hitting Sets. 329-334 - Emil Keyder, Silvia Richter, Malte Helmert:
Sound and Complete Landmarks for And/Or Graphs. 335-340 - Håkan Warnquist, Jonas Kvarnström, Patrick Doherty:
Iterative Bounding LAO. 341-346
Session 3C. Reinforcement Learning
- Francisco S. Melo, Manuel Lopes, Ricardo Ferreira:
Analysis of Inverse Reinforcement Learning with Perturbed Demonstrations. 349-354 - Reinaldo A. C. Bianchi, Ramón López de Mántaras:
Case-Based Multiagent Reinforcement Learning: Cases as Heuristics for Selection of Actions. 355-360 - Alexander Hans, Steffen Udluft:
Uncertainty Propagation for Efficient Exploration in Reinforcement Learning. 361-366 - Luke Dickens, Krysia Broda, Alessandra Russo:
The Dynamics of Multi-Agent Reinforcement Learning. 367-372
Session 3D. Negotiation & Allocation
- Minyi Li, Quoc Bao Vo, Ryszard Kowalczyk:
An Efficient Procedure for Collective Decision-making with CP-nets. 375-380 - Daniele Porello, Ulle Endriss:
Modelling Multilateral Negotiation in Linear Logic. 381-386 - Sylvain Bouveret, Ulle Endriss, Jérôme Lang:
Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods. 387-392 - Julien Lesca, Patrice Perny:
LP Solvable Models for Multiagent Fair Allocation Problems. 393-398
Session 3F. Adaptive Systems (PAIS)
- Arjen Hommersom, Peter J. F. Lucas:
Using Bayesian Networks in an Industrial Setting: Making Printing Systems Adaptive. 401-406 - Ichiro Satoh:
Context-aware Media Agent for Public Spaces. 407-412 - Charles Lesire:
An Iterative A* Algorithm for Planning of Airport Ground Movements. 413-418 - Peter Struss, Vikas Shivashankar, Mohamed Zahoor:
A Fault-model-based Debugging Aid for Data Warehouse Applications. 419-424
Session 4A. Machine Learning - Kernel Methods
- Antonino Freno, Edmondo Trentin, Marco Gori:
Kernel-Based Hybrid Random Fields for Nonparametric Density Estimation. 427-432 - Michelangelo Diligenti, Marco Gori, Marco Maggini, Leonardo Rigutini:
Multitask Kernel-based Learning with Logic Constraints. 433-438 - Sébastien Lahaie:
Kernel Methods for Revealed Preference Analysis. 439-444 - Kosta Ristovski, Debasish Das, Vladimir Ouzienko, Yuhong Guo, Zoran Obradovic:
Regression Learning with Multiple Noisy Oracles. 445-450
Session 4B. Planning
- Peter Gregory, Derek Long, Maria Fox:
Constraint Based Planning with Composable Substate Graphs. 453-458 - Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie:
Knowledge Compilation Using Interval Automata and Applications to Planning. 459-464 - Alexandre Albore, Héctor Palacios, Hector Geffner:
Compiling Uncertainty Away in Non-Deterministic Conformant Planning. 465-470 - Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci:
Analyzing Flexible Timeline-based Plans. 471-476
Session 4C. Description Logics & Ontologies
- Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
A Unified Framework for Non-standard Reasoning Services in Description Logics. 479-484 - Mina Aslani, Volker Haarslev:
Parallel TBox Classification in Description Logics - First Experimental Results. 485-490 - Tim vor der Brück, Holger Stenzhorn:
Logical Ontology Validation Using an Automatic Theorem Prover. 491-496 - Céline Hudelot, Jamal Atif, Isabelle Bloch:
Integrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning. 497-502 - Alexandros G. Valarakos, George A. Vouros:
Computing the Data Semantics of WSDL Specifications via Gradient Boosting. 503-508
Session 4D. Natural Language Processing & Information Retrieval
- Alexandra Balahur, Ester Boldrini, Andrés Montoyo, Patricio Martínez-Barco:
Opinion Question Answering: Towards a Unified Approach. 511-516 - Ilija Subasic, Bettina Berendt:
From bursty patterns to bursty facts: The effectiveness of temporal text mining for news. 517-522 - Yukino Baba, Fuyuki Ishikawa, Shinichi Honiden:
Extraction of Places Related to Flickr Tags. 523-528 - Richárd Farkas, Gábor Berend, István Hegedüs, András Kárpáti, Balázs Krich:
Automatic free-text-tagging of online news archives. 529-534 - Ronan Cummins, Mounia Lalmas, Colm O'Riordan:
Learning Aggregation Functions for Expert Search. 535-540
Session 4E. Logical Foundations of MAS
- Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Qu:
Parallel Model Checking for Temporal Epistemic Logic. 543-548 - Xiaowei Huang, Ron van der Meyden:
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time. 549-554 - Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre:
Higher-Order Coalition Logic. 555-560 - Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer:
Mental State Ascription Using Dynamic Logic. 561-566 - Nils Bulling, Berndt Farwer:
On the (Un-)Decidability of Model Checking Resource-Bounded Agents. 567-572
Session 4F. Auctions & Trading Systems
- Bing Shi, Enrico H. Gerding, Perukrishnen Vytelingum, Nicholas R. Jennings:
An Equilibrium Analysis of Competing Double Auction Marketplaces Using Fictitious Play. 575-580 - Valentin Robu, Ioannis A. Vetsikas, Enrico H. Gerding, Nicholas R. Jennings:
Addressing the Exposure Problem of Bidding Agents Using Flexibly Priced Options. 581-586 - Meng Chang, Minghua He, Xudong Luo:
Designing a Successful Adaptive Agent for TAC Ad Auction. 587-592
Session 5A. Trust & Recommendation
- Nardine Osman, Carles Sierra, Jordi Sabater-Mir:
Propagation of Opinions in Structural Graphs. 595-600 - Junming Huang, Xueqi Cheng, Jiafeng Guo, Huawei Shen, Kun Yang:
Social Recommendation with Interpersonal Influence. 601-606 - Makoto Nakatsuji, Yasuhiro Fujiwara, Akimichi Tanaka, Tadasu Uchiyama, Toru Ishida:
Recommendations Over Domain Specific User Graphs. 607-612
Session 5B. Belief Revision, Update & Merging
- Yan Zhang, Michael Kelly, Yi Zhou:
Foundations of Tree-like Local Model Updates. 615-620 - Patricia Everaere, Sébastien Konieczny, Pierre Marquis:
The Epistemic View of Belief Merging: Can We Track the Truth?. 621-626 - Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind:
Majority Merging: from Boolean Spaces to Affine Spaces. 627-632
Session 5C. Belief-Desire-Intention Architectures
- Rafael H. Bordini, Jomi Fred Hübner:
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions). 635-640 - Célia da Costa Pereira, Andrea Tettamanzi:
Belief-Goal Relationships in Possibilistic Goal Generation. 641-646 - Huiliang Zhang, Zhiqi Shen, Shell-Ying Huang, Chunyan Miao:
Predicting Responsiveness of BDI Agent. 647-652
Session 5D. Applications
- Neil Burch, Robert C. Holte, Martin Müller, David O'Connell, Jonathan Schaeffer:
Automating Layouts of Sewers in Subdivisions. 655-660 - Xiaoqian Jiang, Bing Dong, Le Xie, Latanya Sweeney:
Adaptive Gaussian Process for Short-Term Wind Speed Forecasting. 661-666 - Rui Prada, João Camilo, Maria Augusta Silveira Netto Nunes:
Introducing Personality into Team Dynamics. 667-672
Session 5E. Processes & Stochastic Models
- Thomas Mensink, Jakob Verbeek, Bert Kappen:
EP for Efficient Stochastic Control with Obstacles. 675-680 - Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes:
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains. 681-686 - Nathalie Peyrard, Régis Sabbadin, U. Farrokh Niaz:
Decision-theoretic Optimal Sampling in Hidden Markov Random Fields. 687-692
Session 6A. Logical Foundations of KR
- Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco:
Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. 695-700 - Adam Trybus:
An Axiom System for a Spatial Logic with Convexity. 701-706 - Lutz Schröder, Dirk Pattinson, Daniel Hausmann:
Optimal Tableaux for Conditional Logics with Cautious Monotonicity. 707-712 - Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat:
Linear Logic for Non-Linear Storytelling. 713-718 - Maurice Bruynooghe, Theofrastos Mantadelis, Angelika Kimmig, Bernd Gutmann, Joost Vennekens, Gerda Janssens, Luc De Raedt:
ProbLog Technology for Inference in a Probabilistic First Order Logic. 719-724
Session 6B. Search & Heuristics
- Lawrence Mandow, José-Luis Pérez-de-la-Cruz:
A note on the complexity of some multiobjective A* search algorithms. 727-731 - Sandip Aine, P. P. Chakrabarti, Rajeev Kumar:
Contract Search: Heuristic Search under Node Expansion Constraints. 733-738 - Jorge Puente, Camino R. Vela, Inés González Rodríguez:
Fast Local Search for Fuzzy Job Shop Scheduling. 739-744 - Malte Helmert, Gabriele Röger:
Relative-Order Abstractions for the Pancake Problem. 745-750 - Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, Kevin Tierney:
ISAC - Instance-Specific Algorithm Configuration. 751-756
Session 6C. Natural Language Processing
- Volha Bryl, Claudio Giuliano, Luciano Serafini, Kateryna Tymoshenko:
Using Background Knowledge to Support Coreference Resolution. 759-764 - Tony Veale, Yanfen Hao:
Detecting Ironic Intent in Creative Comparisons. 765-770 - Stefan Gindl, Albert Weichselbraun, Arno Scharl:
Cross-Domain Contextualization of Sentiment Lexicons. 771-776 - Ibrahim Adeyanju, Nirmalie Wiratunga, Juan A. Recio-García, Robert Lothian:
Learning to Author Text with textual CBR. 777-782 - Asif Ekbal, Sriparna Saha:
Classifier Ensemble using Multiobjective Optimization for Named Entity Recognition. 783-788
Session 6D. Machine Learning & Data Mining
- Chi-Cheong Szeto, Edward Hung:
Mining Outliers with Adaptive Cutoff Update and Space Utilization (RACAS). 791-796 - Qiang Lou, Zoran Obradovic:
Feature Selection by Approximating the Markov Blanket in a Kernel-Induced Space. 797-802 - Rolf Baxter, David M. Lane, Yvan R. Petillot:
Recognising Agent Behaviour During Variable Length Activities. 803-808