الصفحة 4
الصفحة 4
Journal on Data Semantics IX
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge.
Journal on Data Semantics IV
• Semantics in data visualization • Semantic services for mobile users • Supporting tools • Applications of semantic-driven approaches These topics are to be understood as specifically related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not within the topics in the list. While the physical appearance of the journal issues is like the books from the we- known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of the best papers from major conferences addressing data semantics issues. Special issues, focusing on a specific topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board. Finally, it is also possible that a journal issue be devoted to a single text.
Journal on Data Semantics III
– semantic caching – data warehousing and semantic data mining – spatial, temporal, multimedia and multimodal semantics – semantics in data visualization – semantic services for mobile users – supporting tools – applications of semantic-driven approaches These topics are to be understood as speci?cally related to semantic issues. Contributions submitted to the journal and dealing with semantics of data will be considered even if they are not within the topics in the list. While the physical appearance of the journal issues looks like the books from the well-known Springer LNCS series, the mode of operation is that of a journal. Contributions can be freely submitted by authors and are reviewed by the Editorial Board. Contributions may also be invited, and nevertheless carefully reviewed, as in the case for issues that contain extended versions of best papers from major conferences addressing data semantics issues. Special issues, focusing on a speci?c topic, are coordinated by guest editors once the proposal for a special issue is accepted by the Editorial Board. Finally, it is also possible that a journal issue be devoted to a single text.
Journal on Data Semantics II
The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics. Based on the highly visible publication platform Lecture Notes in Computer Science, this new journal is widely disseminated and available worldwide. The scope of the journal ranges from theories supporting the formal definition of semantic content to innovative domain-specific applications of semantic knowledge. The journal addresses researchers and advanced practitioners working on the semantic web, interoperability, mobile information services, data warehousing, knowledge representation and reasoning, conceptual database modeling, ontologies, and artificial intelligence.
Computable Models of the Law : Languages, Dialogues, Games, Ontologies
This book originate from a workshop held at the European University Institute of Florence, Italy, in December 2006. The workshop was devoted to the discussion of the different ways of understanding and explaining contemporary law, for the purpose of building computable models of it -- especially models enabling the development of computer applications for the legal domain.
Classic Works on the Dempster-Shafer Theory of Belief Functions
This book brings together a collection of classic research papers on the Dempster-Shafer theory of belief functions. By bridging fuzzy logic and probabilistic reasoning, the theory of belief functions has become a primary tool for knowledge representation and uncertainty reasoning in expert systems.
Artificial intelligence applications and innovations II; IFIP TC12 and WG12.5 ; 2nd IFIP conference on artificial intelligence applications and innovations (AIAI-2005), Sept. 7-9, 2005, Beijing, China
Artificial Intelligence is one of the oldest and most exciting subfields of computing, covnering such areas as intelligent robotics, intelligent planning and scheduling, model-based reasoning, fault diagnosis, natural language processing, maching translation, knowledge representation and reasoning, knowledge-based systems, knowledge engineering, intelligent agents, machine learning, neural nets, genetic algorithms and knowledge management. The papers in this volume comprise the refereed proceedings of the Second International Conference on Artificial Intelligence Applications and Innovations,held in Beijing, China in 2005.
Artificial intelligence : Theories, models and applications ; 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008.
Artificial intelligence : Methodology, systems, and applications ; 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008.
Argumentation in multi-agent systems ; Vol. 4049 ; 2nd International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, revised selected and invited papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Argumentation in Multi-Agent Systems held in Utrecht, Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 10 revised full papers presented together with an invited paper were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections on foundations, negotiation, protocols, deliberation and coalition formation, and consensus formation.
Argumentation in multi-agent systems ; Vol. 3366 ; 1st International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, revised selected and invited papers
The theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, linguistics, and psychology (at least). Its techniques and results have found a wide range of applications in both t- oretical and practical branches of arti'cial intelligence and computer science. Several theories of argumentation with various semantics have been proposed in the literature. Multi-agent systems theory has picked up argument-inspired approaches and speci'cally argumentation-theoretic results from many di'erent areas. The community of researchers in argumentation and multi-agent systems is currently presented with a unique opportunity to integrate the various und- standings of argument into a coherent and core part of the functioning of - tonomouscompu...
An Introduction to Knowledge Engineering
Knowledge Engineering refers to the development of systems that use knowledge, rather than data, to solve many novel computing problems. This is achieved by the application of computing techniques, closely associated with human cognitive processes, for transforming data into knowledge. An Introduction to Knowledge Engineering presents a simple but detailed exploration of current and established work in the field.
An introduction to description logics
Designed so that domain knowledge can be described and so that computers can reason about this knowledge. DLs have recently gained increased importance since they form the logical basis of widely used ontology languages, in particular the web ontology language OWL. Written by four renowned experts, this is the first textbook on description logics. It is suitable for self-study by graduates and as the basis for a university course. Starting from a basic DL, the book introduces the reader to their syntax, semantics, reasoning problems and model theory and discusses the computational complexity of these reasoning problems and algorithms to solve them.
AI*IA 2007 : Artificial intelligence and human-oriented computing ; 10th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 10-13, 2007, Proceedings
The book is organized in topical sections on knowledge representation and reasoning, multiagent systems, distributed AIai, knowledge engineering, ontologies and the semantic Web, machine learning, natural language processing, information retrieval and extraction, planning and scheduling, AI and applications. Three special tracks depicting progresses in significant application fields that represent increasingly relevant topics contain 18 additional papers on AI and robotics, AI and expressive media, and intelligent access to multimedia information
AI*IA 2005 : Advances in artificial intelligence ; 9th congress of the Italian Association for Artificial Intelligence Milan, Italy, September 21-23, 2005, Proceedings
This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence (AI*IA), 2005 On the one hand this congress continues the tradition of AI*IA in organizing its biannual s- enti?c meeting from 1989; on the other hand, this edition is a landmark in the involvement of the international community of arti?cial intelligence (AI), directly involving a broad number of experts from several countries in the P- gramCommittee. Moreover,the peculiar nature of scienti?c researchin arti?cial intelligence (which is intrinsically international) and several consolidated int- national collaborations in projects and mobility programs allowed the collection and selection of papers from many di?erent countries, all around the world, enlarging the visibility of the Italian contribution within this research ?eld. Arti?cial intelligence is today a growing complex set of conceptual, theor- ical, methodological, and technological frameworks, o?ering innovative com- tational solutions in the design and development of computer-based systems. Within this perspective, researchers working in this area must tackle a broad range of knowledge about methods, results, and solutions coming from di?erent classical areas of this discipline. The congress was designed as a forum allowing researchers to present and discuss specialized results as general contributions to AI growth.
AI 2008 : Advances in artificial intelligence ; 21st Australasian Joint Conference on Artificial Intelligence Auckland, New Zealand, December 1-5, 2008. Proceedings
This book constitutes the refereed proceedings of the 21th Australasian Joint Conference on Artificial Intelligence, AI 2008, held in Auckland, New Zealand, in December 2008.
AI 2007: Advances in artificial intelligence ; 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings
The book is organized in topical sections on machine learning, neural networks, evolutionary computing, constraint satisfaction, satisfiability, automated reasoning, knowledge discovery, robotics, social intelligence, ontologies and semanti.
AI 2006 : Advances in artificial intelligence ; 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings
This volume contains the proceedings of the 19th Australian Joint Conference on Artificial Intelligence (AI 2006) held at Hobart, Australia. AI 2006 received a record number of submissions, a total of 689 submissions from 35 countries. The papers in this volume give an indication of recent advances in artificial int- ligence. The topics covered include Machine Learning, Robotics, AI Applications, Planning, Agents, Data Mining and Knowledge Discovery, Cognition and User Interface, Vision and Image Processing, Information Retrieval and Search, AI in the Web, Knowledge Representation, Knowledge-Based Systems, and Neural Networks.
Agent-oriented software engineering VI ; 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005, held in Utrecht, The Netherlands, in July 2005 as part of AAMAS 2005. The 18 revised full papers were carefully selected from 35 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on modeling tools, analysis and validation tools, multiagent systems design, implementation tools, and experiences and comparative evaluations.
Agent-oriented software engineering V ; 5th International workshop, AOSE 2004, New York, NY, USA, July 2004, revised selected papers
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements. Software must also operate on di?- ent platforms, without recompilation, and with minimal assumptions about its operating environment and its users. Furthermore, software must be robust and ¨ autonomous, capable of serving a naive user with a minimum of overhead and interference. Agent concepts hold great promise for responding to the new realities of software systems. They o?er higher-level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, p- ception, commitments, goals, beliefs, and intentions, all of which need conceptual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities.
