scientific article
From MaRDI portal
Publication:3490995
zbMath0708.68066MaRDI QIDQ3490995
Toby Walsh, Fausto Giunchiglia
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Automatically generating abstractions for planning ⋮ Downward refinement and the efficiency of hierarchical problem solving ⋮ Controlling the complexity in model-based diagnosis ⋮ Reasoning about model accuracy ⋮ A theory of abstraction ⋮ The inevitability of inconsistent abstract spaces ⋮ Experiments with proof plans for induction
This page was built for publication:
