scientific article; zbMATH DE number 140389

MaRDI QIDQ4028796zbMATH OpenFDO

Authors Michael Genesereth, Jane Yung-jen Hsu

Publication date 28 March 1993

zbMATH Keywords

semanticssyntaxlogical specification of procedurespartial program interpreterpartial programming languageprocedural hints

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Probabilistic agent programs
• Heterogeneous active agents, I: Semantics
• Publication:4934644
• Computational Logic in Multi-Agent Systems
• scientific article; zbMATH DE number 1098496

Cited in

(5)

• scientific article; zbMATH DE number 549080 (Why is no real title available?)
• One-Time Programs
• Heuristic planning: A declarative approach based on strategies for action selection
• Program models and semi-public environments
• scientific article; zbMATH DE number 2214423 (Why is no real title available?)

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