scientific article; zbMATH DE number 3351214
From MaRDI portal
Publication:5626300
zbMath0221.68050MaRDI QIDQ5626300
No author found.
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Artificial intelligence (68Txx)
Related Items (8)
Heuristic embodiment of evidence - Evaluation of the credibility of hypothesized causes ⋮ A logic for default reasoning ⋮ Unnamed Item ⋮ Computer construction of crossword puzzles using precedence relationships ⋮ Problem representations and formal properties of heuristic search ⋮ Formal methods in the design of question-answering systems ⋮ Linear resolution with selection function ⋮ On the intuitionistic force of classical search
This page was built for publication:
