scientific article; zbMATH DE number 1301748

MaRDI QIDQ4246962zbMATH OpenFDO

Authors Leendert van der Torre

Publication date 27 September 2000

zbMATH Keywords

automated reasoningconditional goalscontextlabeled logicplanning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1305704
• A logic of goal-directed knowing how
• AI*IA 2003: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 140366

Cited in

(2)

• Input/output logics
• Constraints for input/output logics

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