Fundamentals of artificial intelligence. An advanced course

zbMath0614.68058MaRDI QIDQ1819942

No author found.

Publication date: 1986

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

automated reasoningPROLOGlogic programmingfunctional programminginductive inferencemachine learningautomated deductionKnowledge representationKnowledge processingKnowledge programming

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Learning and adaptive systems in artificial intelligence (68T05) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68T99) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) General topics in the theory of software (68N01) Artificial intelligence (68Txx) Conference proceedings and collections of articles (00Bxx)

Related Items (4)

Finite failures and partial computations in concurrent logic languages ⋮ A rewrite-based type discipline for a subset of computer algebra ⋮ An algebraic semantics for structured transition systems and its application to logic programs ⋮ Weak logic theory

This page was built for publication: Fundamentals of artificial intelligence. An advanced course