scientific article; zbMATH DE number 51274

MaRDI QIDQ4001666zbMATH OpenFDO

Authors Allan Ramsay

Publication date 18 September 1992

zbMATH Keywords

knowledge representationtheorem proving

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27)

Cited in

(19)

• Logical structures for representation of knowledge and uncertainty
• Concepts of logical AI
• scientific article; zbMATH DE number 4201690 (Why is no real title available?)
• scientific article; zbMATH DE number 3922020 (Why is no real title available?)
• scientific article; zbMATH DE number 4053069 (Why is no real title available?)
• scientific article; zbMATH DE number 4057055 (Why is no real title available?)
• scientific article; zbMATH DE number 43591 (Why is no real title available?)
• scientific article; zbMATH DE number 44484 (Why is no real title available?)
• scientific article; zbMATH DE number 46019 (Why is no real title available?)
• scientific article; zbMATH DE number 46986 (Why is no real title available?)
• scientific article; zbMATH DE number 48491 (Why is no real title available?)
• scientific article; zbMATH DE number 193735 (Why is no real title available?)
• scientific article; zbMATH DE number 754675 (Why is no real title available?)
• scientific article; zbMATH DE number 781332 (Why is no real title available?)
• scientific article; zbMATH DE number 784355 (Why is no real title available?)
• Representation theorems in computer science. A treatment in logic engineering
• Logical formalizations of commonsense reasoning: a survey
• scientific article; zbMATH DE number 4189231 (Why is no real title available?)
• A Guided Tour of Artificial Intelligence Research

Describes a project that uses

Uses Software

• SATCHMO

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4001666)