scientific article; zbMATH DE number 3883646

zbMATH Open0554.68066MaRDI QIDQ3217641FDOQ3217641

Authors: Wolfgang Bibel 

Publication date: 1984

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (8)

• Mind the divide surrounding knowledge representation
• Title not available (Why is that?)
• Limited reasoning in first-order knowledge bases
• 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)