scientific article; zbMATH DE number 3883646

MaRDI QIDQ3217641zbMATH OpenFDO

Authors Wolfgang Bibel

Publication date 1984

Mathematics Subject Classification ID

Classical first-order logic (03B10) Abstract data types; algebraic specification (68Q65)

Recommendations

• Limited reasoning in first-order knowledge bases
• scientific article; zbMATH DE number 549986
• scientific article; zbMATH DE number 847979
• scientific article; zbMATH DE number 795590
• scientific article; zbMATH DE number 549975

Cited in

(8)

• Mind the divide surrounding knowledge representation
• Limited reasoning in first-order knowledge bases
• scientific article; zbMATH DE number 67507 (Why is no real title available?)
• Operational concepts of nonmonotonic logics. I: Default logic
• A Pragmatistic Approach to Propositional Knowledge Based on the Successful Behavior of Belief
• Reasoning about fiction
• Modeling the beliefs of other agents. Achieving mutuality
• Automated inferencing

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