Choose an application

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

This book constitutes the refereed proceedings of the 8th International RuleML Symposium, RuleML 2014, co-located with the 21st European Conference on Artificial Intelligence, ECAI 2014, held in Prague, Czech Republic, in August 2014. The 17 full and 6 short papers presented together with 3 keynote talks were carefully reviewed and selected from 48 submissions. The papers cover the following topics: semantic web rule languages and standards, rule engines, formal and operational semantics and rule-based systems, the relation between natural language and rules, automation of business rules generation from existing data, and aspects related to legal rules and norms for web and corporate environments.

Computer science. --- Computer logic. --- Artificial intelligence. --- Application software. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Logics and Meanings of Programs. --- Computer Applications. --- Logic design. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- 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 --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Rule-based programming. --- Semantic Web --- Rule-based programming --- Rule-based methods (Computer science) --- Computer programming --- Computer science logic --- Logic, Symbolic and mathematical --- 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 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015. The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.

Computer Science. --- Artificial Intelligence (incl. Robotics). --- Information Systems Applications (incl. Internet). --- Logics and Meanings of Programs. --- Computer Applications. --- Information Storage and Retrieval. --- Computer science. --- Logic design. --- Information storage and retrieval systems. --- Artificial intelligence. --- Informatique --- Structure logique --- Systèmes d'information --- Intelligence artificielle --- Computer Science --- Mechanical Engineering - General --- Engineering & Applied Sciences --- Mechanical Engineering --- Computer logic. --- Information storage and retrieval. --- Application software. --- 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 --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer science logic --- Logic, Symbolic and mathematical --- Informatics --- Science --- Information storage and retrieva. --- Artificial Intelligence. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- 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 --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Rule-based programming --- Rule-based methods (Computer science) --- Computer programming

Choose an application

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

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2019, held in Bolzano, Italy, during September 2019. This is the third conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems). The 10 full research papers presented together with 5 short technical communications papers were carefully reviewed and selected from 26 submissions.

Computer science. --- Artificial intelligence. --- Logic design. --- Information systems. --- Software engineering. --- Mathematical Logic and Formal Languages. --- Artificial Intelligence. --- Logics and Meanings of Programs. --- Computer Appl. in Administrative Data Processing. --- Software Engineering/Programming and Operating Systems. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- 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 --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Computer logic --- Computer programming --- Mathematical logic. --- Computer logic. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer science logic --- Logic, Symbolic and mathematical --- 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 book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015. The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, 1 invited abstracts presented were carefully reviewed and selected from 63 submissions. The papers cover the following topics: general RuleML track; complex event processing track, existential rules and datalog+/- track; legal rules and reasoning track; rule learning track; industry track.

Information retrieval --- Logic --- Computer science --- Programming --- Computer architecture. Operating systems --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- applicatiebeheer --- apps --- computers --- informatica --- programmeren (informatica) --- informatiesystemen --- KI (kunstmatige intelligentie) --- architectuur (informatica)

Choose an application

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

Service-oriented computing has become one of the predominant factors in current IT research and development. Web services seem to be the middleware solution of the future for highly interoperable distributed software solutions. In parallel, research on the Semantic Web provides the results required to exploit distributed machine-processable data. To combine these two research lines into industrial-strength applications, a number of research projects have been set up by organizations like W3C and the EU. Dieter Fensel and his coauthors deliver a profound introduction into one of the most promising approaches – the Web Service Modeling Ontology (WSMO). After a brief presentation of the underlying basic technologies and standards of the World Wide Web, the Semantic Web, and Web Services, they detail all the elements of WSMO from basic concepts to possible applications in e-commerce, e-government and e-banking, and they also describe its relation to other approaches like OWL-S or WSDL-S. While many of the related technologies and standards are still under development, this book already offers both a broad conceptual introduction and lots of pointers to future application scenarios for researchers in academia and industry as well as for developers of distributed Web applications.

Semantic Web --- Ontology --- Web sémantique --- Ontologie --- Semantic web --- Multimedia systems. --- Semantic Web. --- Web personalization. --- Web services. --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Telecommunications --- Computer Science --- Semantic integration (Computer systems) --- Web sémantique --- EPUB-LIV-FT LIVINFOR SPRINGER-B --- Integration, Semantic (Computer systems) --- Computer science. --- Information technology. --- Business --- Software engineering. --- Information storage and retrieval. --- Artificial intelligence. --- E-commerce. --- Computer Science. --- Information Systems Applications (incl. Internet). --- IT in Business. --- e-Commerce/e-business. --- Information Storage and Retrieval. --- Software Engineering. --- Artificial Intelligence (incl. Robotics). --- Data processing. --- Integrated software --- Semantic computing --- Semantic networks (Information theory) --- World Wide Web --- Microformats --- Information storage and retrieva. --- Artificial Intelligence. --- Information retrieval. --- 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 --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering --- IT (Information technology) --- Technology --- Telematics --- Information superhighway --- Knowledge management --- Data retrieval --- Data storage --- Discovery, Information --- Information discovery --- Information storage and retrieval --- Retrieval of information --- Documentation --- Information science --- Information storage and retrieval 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 --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Application software. --- Business—Data processing. --- Cybercommerce --- E-business --- E-commerce --- E-tailing --- eBusiness --- eCommerce --- Electronic business --- Internet commerce --- Internet retailing --- Online commerce --- Web retailing --- Commerce --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software