scientific article
From MaRDI portal
Publication:3092752
zbMath1238.68150MaRDI QIDQ3092752
Stefan J. Schrödl, Stefan Edelkamp
Publication date: 22 September 2011
Full work available at URL: http://www.sciencedirect.com/science/book/9780123725127
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (7)
Practical Proof Search for Coq by Type Inhabitation ⋮ Efficient symbolic search for cost-optimal planning ⋮ Optimal Sokoban solving using pattern databases with specific domain knowledge ⋮ Optimistic planning for control of hybrid-input nonlinear systems ⋮ Consensus for black-box nonlinear agents using optimistic optimization ⋮ An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking ⋮ A framework for analysing state-abstraction methods
This page was built for publication:
