11 citations · 57 across the 11 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 11 cited
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi-decision procedure. Finite SLD-computations are inductive…
cs.LO2015★ 5 cited
Structural Resolution for Logic Programming
P. Johann, E. Komendantskaya, V. Komendantskiy
We introduce a Three Tier Tree Calculus (3TC) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use 3TC to define a n…