Choose an application

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

This book constitutes the refereed proceedings of the 5th International Conference on Web Reasoning and Rule Systems, RR 2011, held in Galway, Ireland in August 2011. The 13 revised full papers, 12 revised short papers presented together with 2 invited talks were carefully reviewed and selected from 36 submissions. The papers address all current topics in Semantic Web, interplay between classical reasoning approach with welll established web languages such as RDF and OWL, reasoning languages, querying and optimization and  rules and ontologies.

Electrical & Computer Engineering --- Engineering & Applied Sciences --- Computer Science --- Telecommunications --- Computer science. --- Software engineering. --- Computers. --- Data mining. --- Information storage and retrieval. --- Multimedia information systems. --- Computer Science. --- Information Systems Applications (incl. Internet). --- Information Systems and Communication Service. --- Information Storage and Retrieval. --- Data Mining and Knowledge Discovery. --- Software Engineering. --- Multimedia Information Systems. --- Computer-based multimedia information systems --- Multimedia computing --- Multimedia information systems --- Multimedia knowledge systems --- Information storage and retrieval systems --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- 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 --- Computer software engineering --- Engineering --- Informatics --- Science --- Information systems. --- Information storage and retrieva. --- Multimedia systems. --- Information storage and retrieval systems. --- 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 --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Semantic Web --- Rule-based programming --- Logic programming --- Rule-based methods (Computer science) --- Computer programming --- 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 refereed proceedings of the 6th International Conference on Artificial General Intelligence, AGI 2013, held in Beijing, China, in July/August 2013. The 23 papers (17 full papers, 3 technical communications, and 3 special session papers) were carefully reviewed and selected from various submissions. The volume collects the current research endeavors devoted to develop formalisms, algorithms, and models, as well as systems that are targeted at general intelligence. Similar to the predecessor AGI conferences, researchers proposed different methodologies and techniques in order to bridge the gap between forms of specialized intelligence and general intelligence.

Computer science. --- Software engineering. --- Computer software. --- Artificial intelligence. --- Optical pattern recognition. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Pattern Recognition. --- Algorithm Analysis and Problem Complexity. --- Information Systems Applications (incl. Internet). --- Software Engineering. --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer Science --- Mechanical Engineering - General --- Information Technology --- Artificial Intelligence --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Software, Computer --- Computer software engineering --- Informatics --- Algorithms. --- Mathematical logic. --- Pattern recognition. --- Artificial intelligence --- Artificial Intelligence. --- Engineering --- Computer systems --- Optical data processing --- Pattern perception --- Perceptrons --- Visual discrimination --- Science --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Algorism --- Algebra --- Arithmetic --- Design perception --- Pattern recognition --- Form perception --- Perception --- Figure-ground perception --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Foundations --- Logic, Symbolic and mathematical. --- Pattern perception.

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