STAIRS 2010 [electronic resource] : proceedings of the fifth Starting AI Researchers' Symposium / edited by Thomas Ågotnes.

Format:

Book

Conference/Event

Author/Creator:

Starting Artificial Intelligence Researchers Symposium, Corporate Author.

Contributor:

Ågotnes, Thomas.

Conference Name:

Starting Artificial Intelligence Researchers Symposium (5th : 2010 : Lisbon, Portugal)

Starting Artificial Intelligence Researchers Symposium

Series:

Frontiers in artificial intelligence and applications ; v. 222.

Frontiers in artificial intelligence and applications, 0922-6389 ; v. 222

Language:

English

Subjects (All):

Artificial intelligence--Congresses.

Artificial intelligence.

Physical Description:

1 online resource (380 p.)

Place of Publication:

Washington, D.C. : IOS Press, 2011.

Language Note:

English

Summary:

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 on Prestigious Applications of Intelligent Systems (PAIS) in August 2010. STAIRS is an international meeting which aims to support AI researchers from all countries at the beginning of their career, and PhD students or those who have held a PhD for less than one year. It offers doctoral students an

Contents:

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

Notes:

Description based upon print version of record.

Includes bibliographical references and indexes.

ISBN:

661295633X

1-282-95633-7

9786612956331

1-60750-676-9

OCLC:

700706547