scientific article; zbMATH DE number 4201690

MaRDI QIDQ3350831zbMATH OpenFDO

Authors Bernard Hodgson

Publication date 1991

Full work available at URL http://www.labmath.uqam.ca/~annales/volumes/15-1.html

zbMATH Keywords

automated reasoningfirst order logicimperfect knowledgeknowledge representationnonclassical logicssurvey paper

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Probability and inductive logic (03B48) Fuzzy logic; logic of vagueness (03B52) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 41270
• Publication:4207612
• Non-classical logics and intelligent systems
• scientific article; zbMATH DE number 51274
• Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example

Cited in

(5)

• Informational logic as a tool for automated reasoning
• Non-classical logics and intelligent systems
• scientific article; zbMATH DE number 4174905 (Why is no real title available?)
• scientific article; zbMATH DE number 41270 (Why is no real title available?)
• scientific article; zbMATH DE number 194130 (Why is no real title available?)

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 Q3350831)