Termination of Well-Moded Programs.

Sandro Etalle Annalisa Bossi Nicoletta Cocco

Published in: J. Log. Program. (1999)

Keyphrases

prolog programs
logic programs
decision making
data sets
information retrieval
website
high level
multi agent systems
software engineering
operating system
programming environment
fixpoint
stable models
intermediate level
control structures