scientific article; zbMATH DE number 3332896

MaRDI QIDQ5609735zbMATH OpenFDO

Authors Saul Amarel

Publication date 1970

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• An automata view to goal-directed methods
• Goal-directed decision procedures for input/output logics
• Publication:3495341
• scientific article; zbMATH DE number 7455706
• scientific article; zbMATH DE number 3943573
• Computing programs for generalized planning using a classical planner
• Knowledge Representation, Reasoning and Declarative Problem Solving

Cited in

(4)

• Finding resolution proofs and using duplicate goals in AND/OR trees
• Constraint propagation techniques for the disjunctive scheduling problem
• Strategy construction using homomorphisms between games
• scientific article; zbMATH DE number 47574 (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 Q5609735)