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 proceedings of the 47th German Conference on AI, KI 2024, which was held in Würzburg, Germany, during September 25–27, 2024. The 19 full papers, 7 short papers and 5 other papers presented in this book were carefully reviewed and selected from 63 submissions. KI is one of the major European AI conferences and traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results on theory and applications. The papers have been categorized into the following sections: full technical papers; technical communications; extended abstracts of papers from other AI conferences.

Artificial intelligence. --- Computer engineering. --- Computer networks. --- Application software. --- Education --- Computer science --- Artificial Intelligence. --- Computer Engineering and Networks. --- Computer and Information Systems Applications. --- Computers and Education. --- Mathematics of Computing. --- Data processing. --- Mathematics.

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 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.

Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- IR (information retrieval) --- multimedia --- informatiesystemen --- database management --- software engineering

Choose an application

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

Mathematical logic --- Complex analysis --- Discrete mathematics --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- ICT (informatie- en communicatietechnieken) --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- informatiesystemen --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots --- AI (artificiële intelligentie)