Stairs 2010 : Proceedings of the Fifth Starting AI Researchers' Symposium /
This book contains revised versions of most of the peer-reviewed papers presented at the Fifth Symposium for Artificial Intelligence Researchers (STAIRS), which took place in Lisbon, Portugal, in conjunction with the 19th European Conference on Artificial Intelligence (ECAI) and the Sixth Conference...
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | |
Formato: | Electrónico Congresos, conferencias eBook |
Idioma: | Inglés |
Publicado: |
Amsterdam :
IOS Press,
2011.
|
Colección: | Frontiers in artificial intelligence and applications ;
v. 222. |
Temas: | |
Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Machine generated contents note: First-Order Multi-Class Subgroup Discovery / Peter Flach
- Improving the Efficiency of Ontology Engineering by Introducing Prototypicality / Francky Trichet
- Towards Effective `Any-Time' Music Tracking / Gerhard Widmer
- Relaxing Regression for a Heuristic GOLOG / Adrian R. Pearce
- Pomdp Solving: What Rewards Do You Really Expect at Execution? / Guillaume Infantes
- Generative Structure Learning for Markov Logic Networks / Christel Vrain
- Learning Fuzzy Models of User Interests in a Semantic Information Retrieval System / Andrea G.B. Tettamanzi
- Ontology-Based Document and Query Representation May Improve the Effectiveness of Information Retrieval / Andrea G.B. Tettamanzi
- "Do You Trust Me or Not?"
- Trust Games in Agent Societies / Rui Prada
- Modal Access Control Logic: Axiomatization, Semantics and FOL Theorem Proving / Leendert van der Torre
- Probabilistic Logic with Conditional Independence Formulae / Martin Giese.
- Contents note continued: Difficulty Rating of Sokoban Puzzle / Radek Pelanek
- The Decidability of RPTL / Fahad Khan
- Confluent Term Rewriting for Only-Knowing Logics / Arild Waaler
- A Much Better Polynomial Time Approximation of Consistency in the LR Calculus / Till Mossakowski
- Fair Mechanisms for Recurrent Multi Unit Combinatorial Auctions / Beatriz Lopez
- Onto. PT: Automatic Construction of a Lexical Ontology for Portuguese / Paulo Gomes
- MEC
- Monitoring Clusters' Transitions / Joao Gama
- Dealing with the Dynamics of Proof-Standard in Argumentation-Based Decision Aiding / Alexis Tsoukias
- Domain Independent Goal Recognition / Derek Long
- Maintaining Arc Consistency in Non-Binary Dynamic CSPs Using Simple Tabular Reduction / Laurent Ricci
- User-Based Collaborative Filtering: Sparsity and Performance / Luke Chen
- Merging and Splitting for Power indexes in Weighted Voting Games and Network Flow Games on Hypergraphs / Jorg Rothe.
- Contents note continued: Cancer Classification Using SVM-Boosted Multiobjective Differential Fuzzy Clustering / Dariusz Plewczynski
- Performance Analysis of Class Noise Detection Algorithms / Nada Lavrac
- Relational Graph Mining for Learning Events from Video / David C. Hogg
- A Workbench for Anytime Reasoning by Ontology Approximation
- With a Case Study on Instance Retrieval / Giorgios Karafotias
- Obligationes as Formal Dialogue Systems / Sara L. Uckelman
- On-Line Adl Recognition with Prior Knowledge / Federico Pecora.