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)

"With more substantial funding from research organizations and industry, numerous large-scale applications, and recently developed technologies, the Semantic Web is quickly emerging as a well-recognized and important area of computer science. While Semantic Web technologies are still rapidly evolving, Foundations of Semantic Web Technologies focuses on the established foundations in this area that have become relatively stable over time. It thoroughly covers basic introductions and intuitions, technical details, and formal foundations. The book concentrates on Semantic Web technologies standardized by the World Wide Web Consortium: RDF and SPARQL enable data exchange and querying, RDFS and OWL provide expressive ontology modeling, and RIF supports rule-based modeling. The text also describes methods for specifying, querying, and reasoning with ontological information. In addition, it explores topics that are clearly beyond foundations, such as tools, applications, and engineering aspects. Written by highly respected researchers with a deep understanding of the material, this text centers on the formal specifications of the subject and supplies many pointers that are useful for employing Semantic Web technologies in practice. The book has an accompanying website with supplemental information. " [Publisher]

Information systems --- Semantic Web. --- Web sémantique --- semantic web --- Web sémantique --- Semantic Web --- Semantic integration (Computer systems) --- Semantic networks (Information theory) --- World Wide Web --- Microformats --- Web sémantique.

Choose an application

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

This book constitutes the refereed proceedings of the 38th Annual German Conference on Artificial Intelligence, KI 2015, held in Dresden, Germany, in September 2015. The 15 revised full technical papers presented together with 14 technical communications, 4 doctoral consortium contributions,  and 3 keynotes were carefully reviewed and selected from 58 submissions. The conference provides the opportunity to present a wider range of results and ideas that are of interest to the KI audience, including reports about recent own publications, position papers, and previews of ongoing work.

Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer science. --- Mathematical logic. --- Information storage and retrieval. --- User interfaces (Computer systems). --- Artificial intelligence. --- Computer simulation. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Storage and Retrieval. --- Simulation and Modeling. --- User Interfaces and Human Computer Interaction. --- Mathematical Logic and Formal Languages. --- Information Systems Applications (incl. Internet). --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Informatics --- Science --- Artificial intelligence

Choose an application

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

This book constitutes the refereed proceedings of the 7th International Conference on Formal Concept Analysis, ICFCA 2009, held in Darmstadt, Germany, in May 2009. The 15 revised full papers presented were carefully reviewed and selected from 29 submissions for inclusion in the book. The papers comprise state of the art research and present new results in Formal Concept Analysis and related fields. These results range from theoretical novelties to advances in FCA-related algorithmic issues, as well as application domains of FCA such as data visualization, information retrieval, machine learning, data analysis and knowledge management.

Mathematical logic --- Ordered algebraic structures --- Discrete mathematics --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- algebra --- discrete wiskunde --- informatica --- database management --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- logica --- robots

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.

Mathematical logic --- Complex analysis --- Mathematical statistics --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- patroonherkenning --- factoranalyse --- complexe analyse (wiskunde) --- bedrijfssoftware --- computers --- informatiesystemen --- wiskunde --- software engineering --- KI (kunstmatige intelligentie) --- logica --- computerkunde --- robots --- optica