Logic Programming with General Clauses and Defaults Based on Model Elimination.

Marco A. Casanova Ramiro A. de T. Guerreiro Andrea Silva

Published in: IJCAI (1989)

Keyphrases

logic programming
logic programs
formal model
answer set programming
knowledge representation
default logic
nonmonotonic reasoning
fuzzy linguistic
database
multi agent systems
programming language
inductive logic programming
deductive databases