Narrow your search

Library

KU Leuven (2)

UCLouvain (2)

UHasselt (2)

ULiège (2)

UNamur (2)

UAntwerpen (1)

UGent (1)

ULB (1)

VUB (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

1979 (2)

Listing 1 - 2 of 2
Sort by
Associative networks : representation and use of knowledge by computers
Author:
ISBN: 0122563808 1322558817 1483263010 9780122563805 Year: 1979 Publisher: New York, NY : Academic Press,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Artificial intelligence. Robotics. Simulation. Graphics --- Knowledge representation (Information theory) --- Artificial intelligence. --- Computational linguistics. --- Semantics. --- Représentation des connaissances --- Intelligence artificielle --- Linguistique informatique --- Sémantique --- Artificial intelligence --- Computational linguistics --- Semantics --- 681.3*F11 --- 681.3*F32 --- 681.3*I24 --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Representation of knowledge (Information theory) --- Automatic language processing --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual 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 --- Simulation methods --- Fifth generation computers --- Neural computers --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Data processing --- 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) --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Représentation des connaissances --- Sémantique --- Knowledge Representation --- Knowledge --- Semantic Network

Logic for problem solving
Author:
ISBN: 0444003657 0444003681 9780444003652 9780444003683 Year: 1979 Volume: 7 Publisher: New York, NY : Elsevier North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Electronic digital computers --- -681.3*D32 --- 681.3*I23 --- 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) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*D32 language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Programming --- Wetenschappelijk onderzoek: methodologie; onderzoeksmethoden --- Applications of mathematical logic --- Applications of mathematical logic. --- 167 Wetenschappelijk onderzoek: methodologie; onderzoeksmethoden --- Computer programming --- Logic, Symbolic and mathematical --- Problem solving --- 164 --- 519.7 --- 681.3 --- 167 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Problem Solving --- Logic, symbolic and mathematical --- Problem solving. --- Computer programming. --- Logic, Symbolic and mathematical. --- Résolution de problème --- Informatique --- Artificial intelligence. --- Computer science. --- Résolution de problème --- Résolution de problemes

Listing 1 - 2 of 2
Sort by