Artificial Intelligence: Methodology, Systems, and Applications
14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings
Editors: Dicheva, Darina, Dochev, Danail (Eds.)
Free Preview- Unique visibility
- State-of-the-art survey
- Fast-track conference proceedings
Buy this book
- About this book
-
The 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2010) was held in Varna, Bulgaria, during September 8–10, 2010. The AIMSA conference series has provided a biennial forum for the presen- tion of artificial intelligence research and development since 1984. The conference covers the full range of topics in artificial intelligence (AI) and related disciplines and provides an ideal forum for international scientific exchange between Central/Eastern Europe and the rest of the world. The 2010 AIMSA edition continued this tradition. For AIMSA 2010, we decided to place special emphasis on the application and leverage of AI technologies in the context of knowledge societies where knowledge creation, accessing, acquiring, and sharing empower individuals and communities. A number of AI techniques play a key role in responding to these challenges. AI is - tensively used in the development of systems for effective management and flexible and personalized access to large knowledge bases, in the Semantic Web technologies that enable sharing and reuse of and reasoning over semantically annotated resources, in the emerging social Semantic Web applications that aid humans to collaboratively build semantics, in the construction of intelligent environments for supporting (human and agent) learning, etc. In building such intelligent applications, AI techniques are typically combined with results from other disciplines such as the social sciences, distributed systems, databases, digital libraries, information retrieval, service-oriented applications, etc.
- Table of contents (38 chapters)
-
-
Deduction in Existential Conjunctive First-Order Logic: An Algorithm and Experiments
Pages 1-10
-
Use-Based Discovery of Pervasive Services
Pages 11-20
-
Expressive Approximations in DL-Lite Ontologies
Pages 21-31
-
Reasoning Mechanism for Cardinal Direction Relations
Pages 32-41
-
A Framework for Time-Series Analysis
Pages 42-51
-
Table of contents (38 chapters)
Recommended for you

Bibliographic Information
- Bibliographic Information
-
- Book Title
- Artificial Intelligence: Methodology, Systems, and Applications
- Book Subtitle
- 14th International Conference, AIMSA 2010, Varna, Bulgaria, September 8-10, 2010. Proceedings
- Editors
-
- Darina Dicheva
- Danail Dochev
- Series Title
- Lecture Notes in Artificial Intelligence
- Series Volume
- 6304
- Copyright
- 2010
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-15431-7
- DOI
- 10.1007/978-3-642-15431-7
- Softcover ISBN
- 978-3-642-15430-0
- Edition Number
- 1
- Number of Pages
- XIV, 286
- Number of Illustrations
- 100 b/w illustrations
- Topics