TY - BOOK ID - 5452795 TI - Web reasoning and rule systems : first international conference, RR 2007, Innsbruck, Austria, June 7-8, 2007 : proceedings AU - Pan, Jeff Z. AU - Marchiori, M. AU - Sainte Marie, Christian de AU - RR 2007 AU - RR (Conference) PY - 2007 SN - 9783540729815 354072981X 9786610943890 1280943890 3540729828 PB - Berlin : Springer, DB - UniCat KW - Logic programming KW - Rule-based programming KW - Semantic Web KW - Expert systems (Computer science) KW - Programmation logique KW - Programmation à base de règles KW - Web sémantique KW - Systèmes experts (Informatique) KW - Congresses. KW - Congrès KW - Expert systems (Computer science) -- Congresses. KW - Logic programming -- Congresses. KW - Rule-based programming -- Congresses. KW - Semantic Web -- Congresses. KW - Computer Science KW - Telecommunications KW - Engineering & Applied Sciences KW - Electrical & Computer Engineering KW - Rule-based methods (Computer science) KW - Computer science. KW - Software engineering. KW - Computer logic. KW - Information storage and retrieval. KW - Multimedia information systems. KW - Artificial intelligence. KW - Computer Science. KW - Information Systems Applications (incl. Internet). KW - Information Storage and Retrieval. KW - Artificial Intelligence (incl. Robotics). KW - Logics and Meanings of Programs. KW - Multimedia Information Systems. KW - Software Engineering. KW - Computer programming KW - Information storage and retrieva. KW - Logic design. KW - Multimedia systems. KW - Artificial Intelligence. KW - Computer software engineering KW - Engineering KW - Computer-based multimedia information systems KW - Multimedia computing KW - Multimedia information systems KW - Multimedia knowledge systems KW - Information storage and retrieval systems KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Information storage and retrieval systems. KW - Automatic data storage KW - Automatic information retrieval KW - Automation in documentation KW - Computer-based information systems KW - Data processing systems KW - Data storage and retrieval systems KW - Discovery systems, Information KW - Information discovery systems KW - Information processing systems KW - Information retrieval systems KW - Machine data storage and retrieval KW - Mechanized information storage and retrieval systems KW - Computer systems KW - Electronic information resources KW - Data libraries KW - Digital libraries KW - Information organization KW - Information retrieval KW - Application software. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Application computer programs KW - Application computer software KW - Applications software KW - Apps (Computer software) KW - Computer software KW - Artificial intelligence KW - Data centers UR - https://www.unicat.be/uniCat?func=search&query=sysid:5452795 AB - ER -