scientific article
From MaRDI portal
Publication:3723720
zbMath0593.68059MaRDI QIDQ3723720
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Artificial intelligence (68Txx) History of computer science (68-03)
Related Items
The relationship between knowledge, belief, and certainty, An investigation of the general solution to entailment in probabilistic logic, Nonmonotonic consequence based on intuitionistic logic, Automated inference in active logics