5. STAIRS 2010: Lisbon, Portugal

• Tarek Abudawood, Peter A. Flach:
  First-Order Multi-class Subgroup Discovery. 1-12
  
• Xavier Aimé, Frédéric Fürst, Pascale Kuntz, Francky Trichet:
  Improving the efficiency of ontology engineering by introducing prototypicality. 13-23
  
• Andreas Arzt, Gerhard Widmer:
  Towards Effective 'Any-Time' Music Tracking. 24-36
  
• Michelle L. Blom, Adrian R. Pearce:
  Relaxing Regression for a Heuristic GOLOG. 37-49
  
• Caroline Ponzoni Carvalho Chanel, Jean-Loup Farges, Florent Teichteil-Königsbuch, Guillaume Infantes:
  POMDP solving: what rewards do you really expect at execution? 50-62
  
• Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain:
  Generative Structure Learning for Markov Logic Networks. 63-75
  
• Mauro Dragoni, Célia da Costa Pereira, Andrea Tettamanzi:
  Learning Fuzzy Models of User Interests in a Semantic Information Retrieval System. 76-88
  
• Mauro Dragoni, Célia da Costa Pereira, Andrea Tettamanzi:
  Ontology-Based Document and Query Representation May Improve the Effectiveness of Information Retrieval. 89-100
  
• Rui Figueiredo, João Carmo, Rui Prada:
  "Do you trust me or not?" - Trust games in agent societies. 101-113
  
• Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre:
  Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. 114-126
  
• Magdalena Ivanovska, Martin Giese:
  Probabilistic Logic with Conditional Independence Formulae. 127-139
  
• Petr Jarusek, Radek Pelánek:
  Difficulty Rating of Sokoban Puzzle. 140-150
  
• Fahad Khan:
  The Decidability of RPTL. 151-161
  
• Espen H. Lian, Einar Broch Johnsen, Arild Waaler:
  Confluent Term Rewriting for Only-knowing Logics. 162-174
  
• Dominik Lücke, Till Mossakowski:
  A much better polynomial time approximation of consistency in the LR calculus. 175-185
  
• Javier Murillo, Beatriz López:
  Fair Mechanisms for Recurrent Multi Unit Combinatorial Auctions. 186-198
  
• Hugo Gonçalo Oliveira, Paulo Gomes:
  Onto.PT: Automatic Construction of a Lexical Ontology for Portuguese. 199-211
  
• Márcia D. B. Oliveira, João Gama:
  MEC - Monitoring Clusters' Transitions. 212-224
  
• Wassila Ouerdane, Nicolas Maudet, Alexis Tsoukiàs:
  Dealing with the dynamics of proof-standard in argumentation-based decision aiding. 225-237
  
• David Pattison, Derek Long:
  Domain Independent Goal Recognition. 238-250
  
• Matthieu Quéva, Christian W. Probst, Laurent Ricci:
  Maintaining Arc Consistency in Non-Binary Dynamic CSPs using Simple Tabular Reduction. 251-263
  
• Jennifer Redpath, David H. Glass, Sally I. McClean, Luke Chen:
  User-based Collaborative Filtering: Sparsity and Performance. 264-276
  
• Anja Rey, Jörg Rothe:
  Merging and Splitting for Power Indices in Weighted Voting Games and Network Flow Games on Hypergraphs. 277-289
  
• Indrajit Saha, Ujjwal Maulik, Sanghamitra Bandyopadhyay, Dariusz Plewczynski:
  Cancer Classification using SVM-boosted Multiobjective Differential Fuzzy Clustering. 290-302
  
• Borut Sluban, Dragan Gamberger, Nada Lavrac:
  Performance Analysis of Class Noise Detection Algorithms. 303-314
  
• Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg:
  Relational Graph Mining for Learning Events from Video. 315-327
  
• Gaston Tagni, Stefan Schlobach, Annette ten Teije, Frank van Harmelen, Giorgios Karafotias:
  A Workbench for Anytime Reasoning by Ontology Approximation - With a case study on instance retrieval. 328-340
  
• Sara L. Uckelman:
  Obligationes as Formal Dialogue Systems. 341-353
  
• Jonas Ullberg, Silvia Coradeschi, Federico Pecora:
  On-line ADL Recognition with Prior Knowledge. 354-366
  

Last update Tue May 21 18:06:13 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page