Page 1
Page 1
Ontologies for Agents : Theory and Experiences
On the other hand, ontologies have established themselves as a powerful tool to enable kno- edge sharing, and a growing number of applications have bene?ted from the use of ontologies as a means to achieve semantic interoperability among heterogeneous, distributed systems. In principle ontologies and agents are a match made in heaven, that has failed to happen. What makes a simple piece of software an agent is its ability to communicate in a ”social” environment, to make autonomous decisions, and to be proactive on behalf of its user. Communication ultimately depends on und- standing the goals, preferences, and constraints posed by the user. Autonomy is theabilitytoperformataskwithlittleornouserintervention,whileproactiveness involves acting autonomously with no need for user prompting. Communication, but also autonomy and proactiveness, depend on knowledge. The ability to c- municate depends on understanding the syntax (terms and structure) and the semantics of a language. Ontologies provide the terms used to describe a domain and the semantics associated with them. In addition, ontologies are often comp- mented by some logical rules that constrain the meaning assigned to the terms. These constraints are represented by inference rules that can be used by agents to perform the reasoning on which autonomy and proactiveness are based.
Online Communities and Social Computing ; 2nd International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings
The 12th International Conference on Human-Computer Interaction, HCI Inter- tional 2007, was held in Beijing, P.R. China, 22-27 July 2007. This volume, edited by Douglas Schuler, contains papers in the thematic area of Online Communities and Social Computing, addressing the following major topics: • Designing and Developing On-line Communities • Knowledge, Collaboration, Learning and Local On-line Communities
Multi-Agent Systems and Applications V ; 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings
The technical research paper section of the proceedingscontains pure - search papers as well as research results in application settings. The goal is to demonstrate the real-life value and commercial reality of multi-agent systems as well as to foster the communication between academia and industry in this eld.
Modelling and Reasoning with Vague Concepts
This volume outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence. The new calculus has many applications, especially in automated reasoning, learning, data analysis and information fusion. This book gives a rigorous introduction to label semantics theory, illustrated with many examples, and suggests clear operational interpretations of the proposed measures. It also provides a detailed description of how the theory can be applied in data analysis and information fusion based on a range of benchmark problems.
Modeling and using context ; 6th International and interdisciplinary Conference, CONTEXT 2007, Roskilde, Denmark, August 20-24, 2007, Proceedings
This volume contains the papers presented at CONTEXT 2007, the Sixth International and Interdisciplinary Conference on Modeling and Using Context. We believe that the papers of this volume represent a snapshot of current work and contribute to both theoretical and applied aspects of research.
Modeling and Retrieval of Context ; 2nd International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers
Computing in context has become a necessity in modern and intelligent IT - plications. With the use of mobile devices and current research on ubiquitous computing, context-awareness has become a major issue. However, context and context-awareness are crucial not only for mobile and ubiquitous computing. They are also vital for spanning various application areas, such as collaborative softwareand Web engineering,personaldigital assistantsand peer-to-peer inf- mation sharing, health care work?ow and patient control, and adaptive games and e-learning solutions. In these areas, context serves as a major source for reasoning, decision making, and adaptation, as it covers not only application knowledge but also environmental knowledge.Likewise, modeling and retrieving context is an important part of modern knowledge management processes.
Mobility, data mining and privacy : Geographic knowledge discovery
This book assesses this research frontier from a computer science perspective, investigating the various scientific and technological issues, open problems, and roadmap. The editors manage a research project called GeoPKDD, Geographic Privacy-Aware Knowledge Discovery and Delivery, funded by the EU Commission and involving 40 researchers from 7 countries, and this book tightly integrates and relates their findings in 13 chapters covering all related subjects, including the concepts of movement data and knowledge discovery from movement data; privacy-aware geographic knowledge discovery; wireless network and next-generation mobile technologies; trajectory data models, systems and warehouses; privacy and security aspects of technologies and related regulations; querying, mining and reasoning on spatiotemporal data; and visual analytics methods for movement data.
MICAI 2008 : Advances in Artificial Intelligence ;7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008 Proceedings
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. The papers are organized in topical sections on logic and reasoning, knowledge-based systems, knowledge representation and acquisition, ontologies, natural language processing, machine learning, pattern recognition, data mining, neural networks, genetic algorithms, hybrid intelligent systems, computer vision and image processing, robotics, planning and scheduling, uncertainty and probabilistic reasoning, fuzzy logic, intelligent tutoring systems, multi-agent systems and distributed ai, intelligent organizations, bioinformatics and medical applications, as well as applications.
MICAI 2005 : Advances in Artificial Intelligence ; 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings
Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held Mexico, in November 2005. This book is organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, and others.
Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.
MDATA : A New Knowledge Representation Model: Theory, Methods and Applications
This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent Analysis). By modifying the representation of entities and relations in knowledge graphs, dynamic knowledge can be efficiently described with temporal and spatial characteristics. The MDATA model can be regarded as a high-level temporal and spatial knowledge graph model, which has strong capabilities for knowledge representation. This book introduces some key technologies in the MDATA model, such as entity recognition, relation extraction, entity alignment, and knowledge reasoning with spatiotemporal factors. The MDATA model can be applied in many critical applications and this book introduces some typical examples, such as network attack detection, social network analysis, and epidemic assessment.
Interactive TV : A shared experience ; 5th European Conference, EuroITV 2007, Amsterdam, the Netherlands, May 24-25, 2007, Proceedings
This book constitutes the refereed proceedings of the 5th European Conference on Interactive Television, EuroITV 2007, held in Amsterdam, The Netherlands, May 2007. The papers are organized in topical sections on social TV systems, user studies, the future of TV, social TV evaluation, personalization, and mobile TV.
Intelligent Tutoring Systems ; 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006 Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Intelligent Tutoring Systems, ITS 2006, held in Jhongli, Taiwan in June 2006. The 67 revised full papers and 40 poster papers presented together with abstracts of 6 keynote talks were carefully reviewed and selected from over 200 submissions. The papers are organized in topical sections on assessment, authoring tools, bayesian reasoning and decision-theoretic approaches, case-based and analogical reasoning, cognitive models, collaborative learning, elearning and web-based intelligent tutoring systems, error detection and handling, feedback, gaming behavior, learner models, motivation, natural language techniques for intelligent tutoring systems, scaffolding, simulation, as well as tutorial dialogue and narrative.
Intelligent Multimedia Processing with Soft Computing
This edited monograph presents novel applications of soft computing in multimedia processing. It includes contributions by leading experts in their fields addressing important and timely problems in multimedia computing.
Intelligent information processingg II ; IFIP TC12/WG12.3 International Conference on Intelligent Information Processing (IIP2004) October 21-23, 2004, Beijing, China
This book is based on IIP2004, which provides a forum for engineers and scientists in academia, university and industry to present their latest research findings in any aspect of intelligent information processing. Papers on intelligence science, intelligent agents, machine learning, and autonomic computing, as well as papers that highlight bioinformatics, e-commerce, and business intelligence were presented. IIP2004 meets the needs of a large and diverse community.
Intelligent information processing III ; IFIP TC12 International Conference on Intelligent Information Processing (IIP 2006), September 20-23, Adelaide, Australia
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Intelligent Computing ; International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006, Proceedings, Part I
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum with dedication to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring together researchers and practitioners from both the academia and industry to share ideas, problems and solutions related to the multifaceted aspects of intelligent computing. The ICIC 2006 to be held in Kunming, Yunnan, China, 16-19 August 2006 is the second International Conference on Intelligent Computing, which is built upon the success of ICIC 2005 held in Hefei, China, 2005. This year, the conference mainly concentrates on the theories & methodologies as well as the emerging applications of intelligent computing. It intends to unify the contemporary intelligent computing techniques within an integral framework that highlights the trends in advanced computational intelligence and bridges the theoretical research with the applications. In particular, the bio-inspired computing emerges as a key role in pursuing for novel technology in recently years. The resulting techniques vitalize the life science engineering and daily life applications. In light of this trend, the theme for this conference is the Emerging Intelligent Computing Technology and Applications. Papers related to this theme were especially solicited, including theories, methodologies, and applications in science and technology.
Intelligent Computer Mathematics ; 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics.
Intelligence and security informatics ; IEEE ISI 2008 International Workshops : PAISI, PACCF, and SOCO 2008, Taipei, Taiwan, June 17, 2008. Proceedings
This book constitutes the refereed proceedings of the three international workshops PAISI 2008, PACCF 2008, and SOCO 2008, held as satellite events of the IEEE International Conference on Intelligence and Security Informatics, ISI 2008, in Taipei, Taiwan, in June 2008.The 55 revised full papers presented were carefully reviewed and selected from the presentations at the workshops. The 21 papers of the Pacific Asia Workshop on Intelligence and Security Informatics (PAISI 2008) cover topics such as information retrieval and event detection, internet security and cybercrime, currency and data protection, cryptography, image and video analysis, privacy issues, social networks, modeling and visualization, and network intrusion detection.
Integrated formal methods ; 3rd International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
IFM 2002 explored the relations between formal methods and graphical notations, especially the industrial standard language for software design, the Unified Modeling Language (UML). The themes of IFM 2002 reflect what we believe is a growing trend in the Formal Methods and Software Engineering research communities. Over the last threedecades,computer scientists have developed a range of formalisms focusing on particular aspects of behavior or analysis, such as sequential program structures, concurrent program structures, data and information structures, temporal reasoning, deductive proof, and model checking. Much effort is now being devoted to integrating these methods in order to combine their advantages and ensure they scale up to industrial needs. Graphical notations are now widely used in software engineering and there is growing recognition of the importance of providing these with the for mal underpinnings and form alanalysis capabilities found in formal methods.
