Strategy of searching of a conclusion in Horn clauses with unitary consideration of sub-target

zbMATH Open0978.68123MaRDI QIDQ2760517

Ali Adnan

Publication date: 12 December 2001

Published in: Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)

zbMATH Keywords

Horn clausessearching

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Unnamed Item 👍 👎
• Tree-like unit refutations in Horn constraint systems 👍 👎
• Towards a unified model of search in theorem-proving: subgoal-reduction strategies 👍 👎
• Refutation search for Horn sets by a subgoal-extraction method 👍 👎
• Horn clause queries and generalizations 👍 👎
• A maximal-literal unit strategy for horn clauses 👍 👎
• Coinduction in uniform: foundations for corecursive proof search with Horn clauses 👍 👎

This page was built for publication: Strategy of searching of a conclusion in Horn clauses with unitary consideration of sub-target