scientific article; zbMATH DE number 1390360

zbMATH Open0944.68045MaRDI QIDQ4934652FDOQ4934652

Fangzhen Lin

Publication date: 26 September 2000

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

zbMATH Keywords

situation calculussearch algorithms

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Agenda control for heterogeneous reasoners
• Evaluation of a Catalytic Search Algorithm
• Heuristic planning: A declarative approach based on strategies for action selection

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Consequence finding algorithms 👍 👎
• Combinatorial Search: From Algorithms to Systems 👍 👎
• Predicate-calculus-based logics for modeling and solving search problems 👍 👎
• Search algorithms in type theory 👍 👎
• Stochastic systematic search algorithms for satisfiability 👍 👎

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)