Choose an application

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

This book constitutes the refereed proceedings of the 10th Extended Semantic Web Conference, ESWC 2013, held in Montpellier, France, in May 2013. The 42 revised full papers presented together with three invited talks were carefully reviewed and selected from 162 submissions. They are organized in tracks on ontologies; linked open data; semantic data management; mobile Web, sensors and semantic streams; reasoning; natural language processing and information retrieval; machine learning; social Web and Web science; cognition and semantic Web; and in-use and industrial tracks. The book also includes 17 PhD papers presented at the PhD Symposium.

Computer science. --- Database management. --- Information storage and retrieval systems. --- Artificial intelligence. --- Computer Science. --- Information Storage and Retrieval. --- Artificial Intelligence (incl. Robotics). --- Database Management. --- Information Systems Applications (incl. Internet). --- Computer Science, general. --- Engineering & Applied Sciences --- Computer Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- 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 --- Information storage and retrieval. --- Semantic Web --- Semantic networks (Information theory) --- Ontologies (Information retrieval) --- Data structures (Computer science) --- Semantic net (Information theory) --- Semantic nets (Information theory) --- Artificial intelligence --- Information theory --- Semantic computing --- Information storage and retrieva. --- Artificial Intelligence. --- Science --- Electronic data processing --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software

Choose an application

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

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2013, held in Beijing, China, in August 2013, associated with IJCAI 2013, the 23rd International Joint Conference on Artificial Intelligence. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book. The papers feature current research involved in the development and application of graph-based knowledge representation formalisms and reasoning techniques. They address the following topics: representations of constraint satisfaction problems; formal concept analysis; conceptual graphs; and argumentation frameworks.

Computer science. --- Computational complexity. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Discrete Mathematics in Computer Science. --- Knowledge representation (Information theory) --- Data structures (Computer science) --- Mechanical Engineering --- Engineering & Applied Sciences --- Computer Science --- Mechanical Engineering - General --- Informatics --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Complexity, Computational --- Mathematical logic. --- Computer science --- Mathematics. --- Graphentheorie. --- Inferenz (Künstliche Intelligenz) --- Wissensrepräsentation. --- Representation of knowledge (Information theory) --- Artificial intelligence --- Information theory --- Interne Repräsentation --- Repräsentation von Wissen --- Kognitive Repräsentation --- Repräsentation --- Mentale Repräsentation --- Wissensorganisation --- Semantisches Netz --- Graph --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- Electronic data processing --- File organization (Computer science) --- Abstract data types (Computer science) --- Artificial Intelligence. --- Machine theory --- Science --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Interne Repräsentation --- Repräsentation von Wissen --- Kognitive Repräsentation --- Repräsentation --- Mentale Repräsentation --- Computer science—Mathematics. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism

Choose an application

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

This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.

Artificial intelligence. --- Application software. --- Computer communication systems. --- Mathematical logic. --- Artificial Intelligence. --- Information Systems Applications (incl. Internet). --- Computer Communication Networks. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- 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 --- Distributed processing --- Artificial Intelligence --- Information Systems Applications (incl. Internet) --- Computer Communication Networks --- Mathematical Logic and Formal Languages --- Computer and Information Systems Applications --- Formal Languages and Automata Theory --- open access --- concept lattices --- data mining --- databases --- fca --- formal concept analysis --- formal languages --- formal logic --- information analysis --- information systems --- knowledge-based system --- model-based reasoning --- network protocols --- ontologies --- Information retrieval --- Internet searching --- Network hardware --- Mathematical theory of computation

Choose an application

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

Mathematical logic --- Logic --- Complex analysis --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- complexe analyse (wiskunde) --- informatica --- ontwerpen --- programmeren (informatica) --- wiskunde --- KI (kunstmatige intelligentie) --- robots --- AI (artificiële intelligentie)

Choose an application

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

This book constitutes the refereed proceedings of the 10th Extended Semantic Web Conference, ESWC 2013, held in Montpellier, France, in May 2013. The 42 revised full papers presented together with three invited talks were carefully reviewed and selected from 162 submissions. They are organized in tracks on ontologies; linked open data; semantic data management; mobile Web, sensors and semantic streams; reasoning; natural language processing and information retrieval; machine learning; social Web and Web science; cognition and semantic Web; and in-use and industrial tracks. The book also includes 17 PhD papers presented at the PhD Symposium.

Information retrieval --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- IR (information retrieval) --- big data --- machine learning --- computers --- informatica --- informatiesystemen --- database management --- KI (kunstmatige intelligentie) --- computerkunde --- robots --- AI (artificiële intelligentie)