scientific article; zbMATH DE number 3347627

zbMath0218.68018MaRDI QIDQ5623241

Robert Kowalski

Publication date: 1969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Searching and sorting (68P10) Graph theory (including graph drawing) in computer science (68R10)

Related Items

Sequential testing of complex systems: a review, Towards a unified model of search in theorem-proving: subgoal-reduction strategies, The Strategy Challenge in SMT Solving, \(\Pi\)-representation: A clause representation for parallel search, Optimal problem-solving search: All-or-none solutions, Computer science and decision theory, An experimental logic based on the fundamental deduction principle, Refinements to depth-first iterative-deepening search in automatic theorem proving, Problem representations and formal properties of heuristic search, Heuristic search viewed as path finding in a graph, On the modelling of search in theorem proving -- towards a theory of strategy analysis, Linear resolution with selection function, The \(Q^*\) algorithm - a search strategy for a deductive question-answering system, MRPPS?An interactive refutation proof procedure system for question-answering