scientific article; zbMATH DE number 3332896

zbMATH Open0209.18602MaRDI QIDQ5609735FDOQ5609735

Authors: Saul Amarel 

Publication date: 1970

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (4)

• Constraint propagation techniques for the disjunctive scheduling problem
• Title not available (Why is that?)
• Finding resolution proofs and using duplicate goals in AND/OR trees
• Strategy construction using homomorphisms between games

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)