Login / Signup
A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns.
Danny De Schreye
Kristof Verschaetse
Maurice Bruynooghe
Published in:
FGCS (1992)
Keyphrases
</>
logic programs
logic programming
abductive logic programming
abductive reasoning
extended logic programs
answer sets
fixpoint
background knowledge
stable models
computational properties
inductive logic programming
object oriented
prolog programs
monotonicity constraints
existentially quantified