Two approaches to efficient open-world reasoning

MaRDI QIDQ2734931zbMATH OpenFDO

Authors Giuseppe De Giacomo, Hector J. Levesque

Publication date 19 February 2002

zbMATH Keywords

closed-word reasoningclosed-world knowledge basesopen-word reasoning

Mathematics Subject Classification ID

Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 1670573
• Sound and efficient closed-world reasoning for planning
• Efficient Open World Reasoning for Planning
• Practical reasoning about knowledge states for open world planning with sensing
• scientific article; zbMATH DE number 1890618

Cited in

(7)

• Sound and efficient closed-world reasoning for planning
• Off-line reasoning for on-line efficiency: knowledge bases
• scientific article; zbMATH DE number 1670573 (Why is no real title available?)
• A logical theory of localization
• Applying the closed world assumption to SUMO-based FOL ontologies for effective commonsense reasoning
• Logic Programming
• Knowledge is power: open-world knowledge representation learning for knowledge-based visual reasoning

Describes a project that uses

Uses Software

• GOLOG

This page was built for publication: Two approaches to efficient open-world reasoning

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