Program completion in the input language of GRINGO.

Amelia Harrison Vladimir Lifschitz Dhananjay Raju

Published in: Theory Pract. Log. Program. (2017)

Keyphrases

computer programs
programming environment
programming language
language learning
natural language
programs written
intended meaning
input data
declarative semantics
artificial intelligence
database systems
language processing
target language
specification language
intermediate level
functional programs