A Natural Semantics for Logic Programs with Negation.

Phan Minh Dung Kanchana Kanchanasut

Published in: FSTTCS (1989)

Keyphrases

stable models
logic programs with negation
logic programs
logic programming
formal semantics
real world
search engine
semantic information
genetic algorithm
artificial intelligence
natural language
deductive databases
semantic representation