Cargando…
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 principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam :
IOS Press,
2010.
|
| Colección: | Frontiers in artificial intelligence and applications.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Title page; Preface; Contents; First-Order Multi-Class Subgroup Discovery; Improving the Efficiency of Ontology Engineering by Introducing Prototypicality; Towards Effective 'Any-Time' Music Tracking; Relaxing Regression for a Heuristic GOLOG; POMDP Solving: What Rewards Do You Really Expect at Execution?; Generative Structure Learning for Markov Logic Networks; Learning Fuzzy Models of User Interests in a Semantic Information Retrieval System; Ontology-Based Document and Query Representation May Improve the Effectiveness of Information Retrieval.
- "Do You Trust Me or Not?"
- Trust Games in Agent SocietiesModal Access Control Logic: Axiomatization, Semantics and FOL Theorem Proving; Probabilistic Logic with Conditional Independence Formulae; Difficulty Rating of Sokoban Puzzle; The Decidability of RPTL; Confluent Term Rewriting for Only-Knowing Logics; A Much Better Polynomial Time Approximation of Consistency in the LR Calculus; Fair Mechanisms for Recurrent Multi Unit Combinatorial Auctions; Onto. PT: Automatic Construction of a Lexical Ontology for Portuguese; MEC
- Monitoring Clusters' Transitions.
- Dealing with the Dynamics of Proof-Standard in Argumentation-Based Decision AidingDomain Independent Goal Recognition; Maintaining Arc Consistency in Non-Binary Dynamic CSPs Using Simple Tabular Reduction; User-Based Collaborative Filtering: Sparsity and Performance; Merging and Splitting for Power Indices in Weighted Voting Games and Network Flow Games on Hypergraphs; Cancer Classification Using SVM-Boosted Multiobjective Differential Fuzzy Clustering; Performance Analysis of Class Noise Detection Algorithms; Relational Graph Mining for Learning Events from Video.
- A Workbench for Anytime Reasoning by Ontology Approximation
- With a Case Study on Instance RetrievalObligationes as Formal Dialogue Systems; On-Line ADL Recognition with Prior Knowledge; Subject Index; Author Index.