Header

STAIRS


The available PDFs correspond to preliminary versions of the papers. Post-proceedings with final versions will be published after the conference.


STAIRS SESSION 1: LEARNING AND CLASSIFICATION I
PDF file

Cancer Classification using SVM-boosted Multiobjective Differential Fuzzy Clustering

Indrajit Saha, Ujjwal Maulik, Sanghamitra Bandyopadhyay and Dariusz Plewczynski

PDF file

On-line ADL Recognition with Prior Knowledge

Jonas Ullberg and Silvia Coradeschi and Federico Pecora

PDF file

Generative Structure Learning for Markov Logic Networks

Quang-Thang DINH, Matthieu EXBRAYAT and Christel VRAIN

PDF file

MEC - Monitoring Clusters' Transitions

Marcia Oliveira and Joao Gama

STAIRS SESSION 2: ONTOLOGIES
PDF file

Onto.PT: Automatic Construction of a Lexical Ontology for Portuguese

Hugo Gonçalo Oliveira and Paulo Gomes

PDF file

Improving the efficiency of ontology engineering by introducing prototypicality

Xavier Aimé and Frédéric Fürst and Pascale Kuntz and Francky Trichet

PDF file

Ontology-Based Document and Query Representation May Improve the Effectiveness of Information Retrieval

Mauro Dragoni and Célia da Costa Pereira and Andrea G.B. Tettamanzi

PDF file

AWorkbench for Anytime Reasoning by Ontology Approximation
With a case study on instance retrieval

Gaston Tagni, Stefan Schlobach, Annette ten Teije, Frank van Harmelena and Giorgios Karafotias

STAIRS SESSION 3: AGENT PROGRAMMING AND PLANNING
PDF file

Relaxing Regression for a Heuristic GOLOG

Michelle L. Blom and Adrian R. Pearce

PDF file

Domain Independent Goal Recognition

David Pattison and Derek Long

PDF file

Maintaining Arc Consistency in Non-Binary Dynamic CSPs using Simple Tabular Reduction

Matthieu Quéva and Christian W. Probst and Laurent Ricci

PDF file

POMDP solving: what rewards do you really expect at execution?

Caroline P. Carvalho Chanel and Jean-Loup Farges and Florent Teichteil-Königsbuch and Guillaume Infantes

STAIRS SESSION 4: LOGIC AND REASONING
PDF file

Probabilistic Logic with Conditional Independence Formulae

Magdalena Ivanovska and Martin Giese

PDF file

Modal Access Control Logic
Axiomatization, Semantics and FOL Theorem Proving

Valerio Genovese and Daniele Rispoli and Dov M. Gabbay and Leendert van der Torre

PDF file

A much better polynomial time approximation of consistency in the LR calculus

Dominik Lücke and Till Mossakowski

PDF file

Confluent Term Rewriting for Only-knowing Logics

Espen H. Lian and Einar Broch Johnsen and Arild Waaler

PDF file

The Decidability of RPTL

Fahad Khan

PDF file

The Advantages of Seed Examples in First-Order Multi-class Subgroup Discovery

Tarek Abudawood and Peter Flach

STAIRS SESSION 5: ECONOMIC APPROACHES
PDF file

Fair Mechanisms for Recurrent Multi Unit Combinatorial Auctions

Javier Murillo and Beatriz López

PDF file

"Do you trust me or not?" - Trust games in agent societies

Rui Figueiredo and João Carmo and Rui Prada

PDF file

Merging and Splitting for Power Indices in Weighted Voting Games and Network Flow Games on Hypergraphs

Anja Rey and Jörg Rothe

PDF file

Bidding Heuristics for Ad Auctions with Applications to TAC AA

Jordan Berg, Amy Greenwald, Victor Naroditskiy and Eric Sodomka

STAIRS SESSION 6: LEARNING AND CLASSIFICATION II
PDF file

Detection of Health Problems through Gait Patterns of Elderly

Bogdan Pogorelc

PDF file

Towards Effective 'Any-Time' Music Tracking

Andreas Arzt and Gerhard Widmer

PDF file

Ensemble Based Filtering Approaches to Class Noise Detection

Borut Sluban and Dragan Gamberger and Nada Lavrač

PDF file

Relational Graph Mining for Learning Events from Video

Muralikrishna Sridhar and Anthony G Cohn and David C Hogg

STAIRS SESSION 7: GAMES AND DIALOGOUE SYSTEMS
PDF file

A Comparison of Computer Game Behaviour Control Systems for Background Characters in a Simulated Hospital Environment

Colm Sloan, Brian Mac Namee and John Kelleher

PDF file

Difficulty Rating of Sokoban Puzzle

Petr Jarušek and Radek Pelánek

PDF file

Strategic planning through topological inference in the game of Go. A non-linear oscillator network model

Nicholas Wilkinson, Terry Bossomaier, Mike Harre and Allan Snyder

PDF file

Obligationes as Formal Dialogue Systems

Sara L. Uckelman

PDF file

Dealing with the dynamics of proof-standard in argumentation-based decision aiding

Ouerdane Wassila, Maudet Nicolas and Tsoukias Alexis

STAIRS SESSION 8: USER PREFERENCES AND INTERESTS
PDF file

Learning Fuzzy Models of User Interests in a Semantic Information Retrieval System

Mauro Dragoni and Célia da Costa Pereira and Andrea G.B. Tettamanzi

PDF file

User-based Collaborative Filtering: Sparsity and Performance

Jennifer Redpath, David H. Glass, Sally McClean and Luke Chen



© 2010 Faculdade de Ciências da Universidade de Lisboa.