This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume we...
详细信息
ISBN:
(数字)9783642315701
ISBN:
(纸本)9783642315695
This volume presents the refereed proceedings of the 11th International Conference on Deontic Logic in computer Science, DEON 2012, held in Bergen, Norway, in July 2012. The 14 revised papers included in the volume were carefully reviewed and selected from 29 submissions. Topics covered include logical study of normative reasoning, formal analysis of normative concepts and normative systems, formal specification of aspects of norm-governed multi-agent systems and autonomous agents, normative aspects of protocols for communication, negotiation and multi-agent decision making, formal representation of legal knowledge, formal specification of normative systems for the management of bureaucratic processes in public or private administration, and appl.cations of normative logic to the specification of database integrity constraints.
This book constitutes the refereed proceedings of the 5th KES International Conference on Agent and Multi-Agent Systems, KES-AMSTA 2011, held in Manchester, UK, in June/July 2011.The 69 revised papers presented were c...
详细信息
ISBN:
(数字)9783642220005
ISBN:
(纸本)9783642219993
This book constitutes the refereed proceedings of the 5th KES International Conference on Agent and Multi-Agent Systems, KES-AMSTA 2011, held in Manchester, UK, in June/July 2011.
The 69 revised papers presented were carefully reviewed and selected for inclusion in the book. In addition the volume contains one abstract and one full paper length keynote speech. The papers are organized in topical sections on conversational agents, dialogue systems and text processing; agents and online social networks; robotics and manufacturing; agent optimisation; negotiation and security; multi-agent systems; mining and profiling; agent-based optimization; doctoral track; computer-supported social intelligence for human interaction; digital economy; and intelligent workflow, cloud computing and systems.
Combining papers by leading researchers in the field, this volume will equip the reader with the state-of-the-art background necessary for inventing the future of BI. It will also provide the reader with an excellent ...
详细信息
ISBN:
(数字)9783642273582
ISBN:
(纸本)9783642273575
Combining papers by leading researchers in the field, this volume will equip the reader with the state-of-the-art background necessary for inventing the future of BI. It will also provide the reader with an excellent basis and many pointers for further research in this growing field.
This book presents TraceME, a traceability-based method for conceptual model evolution whose general purpose is to support the evolution of information systems. By providing a set of four TraceME chunks, TraceME is si...
详细信息
ISBN:
(数字)9783319897165
ISBN:
(纸本)9783319897158
This book presents TraceME, a traceability-based method for conceptual model evolution whose general purpose is to support the evolution of information systems. By providing a set of four TraceME chunks, TraceME is situational-oriented. In this way, it can be adapted to support different evolution projects by just assembling the TraceME chunks. To facilitate its industrial adoption, open source tools were developed and described which support the implementation of the TraceME chunks.
This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The ...
详细信息
ISBN:
(数字)9783319586946
ISBN:
(纸本)9783319586939
This book contains the best selected papers of two Satellite Events held at the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, in November 2016 in Bologna, Italy: The Second International Workshop on Educational Knowledge Management, EKM 2016, and the First Workshop: Detection, Representation and Management of Concept Drift in Linked Open data, Drift-an-LOD 2016.;The 6 revised full papers included in this volume were carefully reviewed and selected from the 13 full papers that were accepted for presentation at the conference from the initial 82 submissions. This volume also contains the 37 accepted contributions for the EKAW 2016 tutorials, demo and poster sessions, and the doctoral consortium. The special focus of this year's EKAW was "evolving knowledge", which concerns all aspects of the management and acquisition of knowledge representations of evolving, contextual, and local models. This includes change management, trend detection, model evolution, streaming data and stream reasoning, event processing, time-and space dependent models, contextual and local knowledge representations with a special emphasis on the evolvability and localization of knowledge and the correct usage of these limits.
This book constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on e-Infrastructure and e-Services for Developing Countries, AFRICOMM 2011, held in Zanzibar, Tansan...
详细信息
ISBN:
(数字)9783642290930
ISBN:
(纸本)9783642290923
This book constitutes the thoroughly refereed post-conference proceedings of the Third International ICST Conference on e-Infrastructure and e-Services for Developing Countries, AFRICOMM 2011, held in Zanzibar, Tansania, in November 2011. The 24 revised full papers presented together with 2 poster papers were carefully reviewed and selected from numerous submissions. The papers cover a wide range of topics in the field of information and communication infrastructures. They are organized in two tracks: communication infrastructures for developing countries and electronic services, ICT policy, and regulatory issues for developing countries.
暂无评论