Login / Signup
Analysis of Polymorphically Typed Logic Programs Using ACI-Unification
Jan-Georg Smaus
Published in:
CoRR (2001)
Keyphrases
</>
logic programs
logic programming
answer set programming
higher order
answer sets
background knowledge
inductive logic programming
computational properties
artificial intelligence
stable models