scientific article; zbMATH DE number 1390360

MaRDI QIDQ4934652zbMATH OpenFDO

Authors Fangzhen Lin

Publication date 26 September 2000

zbMATH Keywords

search algorithmssituation calculus

Mathematics Subject Classification ID

Searching and sorting (68P10) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Predicate-calculus-based logics for modeling and solving search problems
• scientific article; zbMATH DE number 1926632
• Combinatorial search: from algorithms to systems
• Consequence finding algorithms
• Stochastic systematic search algorithms for satisfiability
• Search algorithms in type theory
• Heuristic search. Theory and applications

Cited in

(5)

• Automated analysis of operators on state tables: A technique for intelligent search
• Agenda control for heterogeneous reasoners
• Evaluation of a Catalytic Search Algorithm
• scientific article; zbMATH DE number 524379 (Why is no real title available?)
• Heuristic planning: A declarative approach based on strategies for action selection

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