scientific article; zbMATH DE number 1497762

MaRDI QIDQ4499173zbMATH OpenFDO

Authors

Publication date 6 March 2001

zbMATH Keywords

reaction control system

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• On methodology of representing knowledge in dynamic domains
• GOLOG: A logic programming language for dynamic domains
• Representing actions in logic programs and default theories a situation calculus approach
• Representing action and change by logic programs

Cited in

(7)

• Dynamic worlds. From the frame problem to knowledge management
• The use of mathematical programming to verify rule-based knowledge
• Mechanical verification on strategies
• Position systems in dynamic domains
• scientific article; zbMATH DE number 1810082 (Why is no real title available?)
• Knowledge representation as domain
• On methodology of representing knowledge in dynamic domains

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