scientific article; zbMATH DE number 1390360

zbMATH Open0944.68045MaRDI QIDQ4934652FDOQ4934652

Authors: Fangzhen Lin 

Publication date: 26 September 2000

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

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

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 (5)

• Automated analysis of operators on state tables: A technique for intelligent search
• 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

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)