Choose an application

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

Computer logic --- Rule-based programming --- Rule-based methods (Computer science) --- Computer programming

Choose an application

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

Expert systems (Computer science) --- Rule-based programming. --- OPS5 (Computer program language) --- Systèmes experts (Informatique) --- Rule-based programming --- Rule-based methods (Computer science) --- Computer programming --- Official Production System Version 5 (Computer program language) --- OPS5 (Computer system) --- Programming languages (Electronic computers) --- Knowledge-based systems (Computer science) --- Systems, Expert (Computer science) --- Artificial intelligence --- Computer systems --- Soft computing --- Expert systems (Computer science). --- OPS5 (Computer program language). --- Systèmes experts (Informatique) --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Expertsystemen [Elektronische informatieverwerking]. --- Elektronische rekenmachines (Digitale). Programmatie. --- OPS5 [Système d'ordinateur]. --- Calculatrices numériques. Programmation. --- Systèmes experts [Traitement automatique de l'information]. --- OPS5 [Computersysteem].

Choose an application

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

681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Alphabetical cataloguing --- Subject indexing --- Information systems --- Semantic Web. --- Libraries and the Internet. --- Web sémantique --- Bibliothèques et Internet

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)

Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a l

Knowledge representation (Information theory) --- Reasoning --- Knowledge representation (Information theory). --- Reasoning. --- 681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Représentation des connaissances --- Raisonnement --- Argumentation --- Ratiocination --- Reason --- Thought and thinking --- Judgment (Logic) --- Logic --- Representation of knowledge (Information theory) --- Artificial intelligence --- Information theory --- informatiemanagement