Sign in
Applications of Abductive Logic Programming.
Antonis C. Kakas
A. Michael
Published in:
IJCSLP (1998)
Keyphrases
</>
abductive logic programming
logic programs
proof procedure
logic programming
information systems
natural language
answer sets
propositional logic
answer set programming