Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field.This book is an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence.* Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve yo

Knowledge representation (Information theory) --- Représentation des connaissances --- Representation of knowledge (Information theory) --- Artificial intelligence --- Information theory --- Knowledge representation (Information theory). --- Représentation des connaissances.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture. Operating systems --- Semantic Web. --- Web sémantique --- Semantic web --- Web sémantique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is open access under a CC BY-NC 4.0 license. This volume discusses the prospects and evolution of informatics (or computer science), which has become the operating system of our world, and is today seen as the science of the information society. Its artifacts change the world and its methods have an impact on how we think about and perceive the world. Classical computer science is built on the notion of an “abstract” machine, which can be instantiated by software to any concrete problem-solving machine, changing its behavior in response to external and internal states, allowing for self-reflective and “intelligent” behavior. However, current phenomena such as the Web, cyber physical systems or the Internet of Things show us that we might already have gone beyond this idea, exemplifying a metamorphosis from a stand-alone calculator to the global operating system of our society. Thus computer scientists will need to reconsider the foundations of their discipline to realize the full potential of our field. Taking often contradictory developments into consideration, researchers will not be able to tackle specific technological or methodological problems in the future without also a broader reflection on their field. The papers in this book take a first step forward and reflect on these issues from different perspectives. The broad spectrum of topics includes Informatics: a discipline with a (short) history and a high impact Interdisciplinarity: how to do research Ethics: what is our responsibility Diversity: why are there so few women in informatics Combining informatics, history and art: a special contribution. This book is intended for all informatics researchers, in academia as well as in industry. It is our responsibility – not only as scientists but also as citizens – to make the public aware of the dichotomies and dialectic relationships of computer science.

Computer science. --- Research --- Computers. --- Computers and civilization. --- Computer Science. --- Computers and Society. --- History of Computing. --- Diversity Management/Women in Business. --- Research Ethics. --- Moral and ethical aspects. --- Civilization and computers --- Civilization --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Research ethics --- Informatics --- Science --- Diversity in the workplace. --- Research-Moral and ethical aspec. --- Cultural diversity in the workplace --- Cultural diversity in workforce --- Diversity in the workforce --- Diversity in the work place --- Multicultural diversity in the workplace --- Multicultural workforce --- Workforce diversity --- Multiculturalism --- Personnel management --- Research—Moral and ethical aspects. --- Women in computing --- Big data --- Computing ethics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the lecture notes of the 9th Reasoning Web Summer School 2013, held in Mannheim, Germany, in July/August 2013. The 2013 summer school program covered diverse aspects of Web reasoning, ranging from scalable lightweight formalisms such as RDF to more expressive ontology languages based on description logics. It also featured foundational reasoning techniques used in answer set programming and ontology-based data access as well as emerging topics like geo-spatial information handling and reasoning-driven information extraction and integration.

Semantic Web --- Semantic computing --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- Computer science. --- Mathematical logic. --- Database management. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Database Management. --- Mathematical Logic and Formal Languages. --- Computer science --- Electronic data processing --- Semantics --- Artificial Intelligence. --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Reasoning web