In the early days of artificial intelligence it was widely believed that powerful computers would, in the future, enable mankind to solve many real-world problems through the use of very general inference procedures and very little domain-specific knowledge. With the benefit of hindsight, this view can now be called quite naive. The field of expert systems, which developed during the early 1970s, embraced the paradigm that Knowledge is Power - even very fast computers require very large amounts of very specific knowledge to solve non-trivial problems. Thus, the field of large knowledge bases has emerged.

Chapter one presents the Cyc "philosophy" or paradigm. Chapter 2 presents a global overview of Cyc, including its representation language, the ontology f its knowledge base, and teh environment which it functions. Chapter 3 goes into much more detail on the representation language, including the structure and function of Cyc's metalevel agenda mechanism. Chapter 4 presents heuristics for ontological engineering, the pricnples upon whcihc Cyc's ontology is based. Chapter 5 the provides a glimpse into the global ontology of knowledge. Chapter 6 explains how we "solve" (i.e., adequately handle) the various tough representation thorns (substances, time, space, structures, composite mental/physical objects, beliefs, uncertainty, etc. ). Chapter 7 surveys the mistakes that new knowledge tnereres most often commit. Chapter 8, the concluding chapter, includes a brief status report on the project, and a statement of goals and a timetable for the coming five years.

The 12th International Symposium on Distributed Computing and Artificial Intelligence 2015 (DCAI 2015) is a forum to present applications of innovative techniques for studying and solving complex problems. The exchange of ideas between scientists and technicians from both the academic and industrial sector is essential to facilitate the development of systems that can meet the ever-increasing demands of today’s society. The present edition brings together past experience, current work and promising future trends associated with distributed computing, artificial intelligence and their application in order to provide efficient solutions to real problems. This symposium is organized by the Osaka Institute of Technology, Qatar University and the University of Salamanca.

This edited book presents scientific results of the 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2016) which was held on May 30 - June 1, 2016 in Shanghai, China. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them.

Provides relevant theoretical frameworks, latest empirical research findings, and practitioners' best practices in the area of organizational memory.

This two-volume set LNCS 5870/5871 constitutes the refereed proceedings of the four confederated international conferences on Cooperative Information Systems (CoopIS 2009), Distributed Objects and Applications (DOA 2009), Information Security (IS 2009), and Ontologies, Databases and Applications of Semantics (ODBASE 2009), held as OTM 2009 in Vilamoura, Portugal, in November 2009. The 83 revised full papers presented together with 4 keynote talks were carefully reviewed and selected from a total of 234 submissions. Corresponding to the four OTM 2009 main conferences CoopIS, DOA, IS, and ODBASE the papers are organized in topical sections on workflow; process models; ontology challenges; network complexity; modeling cooperation; information complexity; infrastructure; information; aspect-oriented approaches for distributed middleware; distributed algorithms and communication protocols; distributed infrastructures for cluster and Grid computing; object-based, component-based, resource-oriented, event-oriented, and service-oriented middleware; peer-to-peer and centralized infrastructures; performance analysis of distributed computing systems; reliability, fault tolerance, quality of service, and real time support; self* properties in distributed middleware; software engineering for distributed middleware systems; security and privacy in a connected world; ubiquitous and pervasive computing; information systems security; privacy and authentication; security policies and verification; managing ontologies; using ontologies; event processing; dealing with heterogeneity; building knowledge bases; and XML and XML schema.