Extending Logic Programming with Labelled Variables: Model and Semantics.

Roberta Calegari Enrico Denti Agostino Dovier Andrea Omicini

Published in: Fundam. Informaticae (2018)

Keyphrases

logic programming
logic programs
answer set programming
knowledge representation
formal model
reasoning tasks
knowledge representation language
artificial intelligence
knowledge base
deductive databases
nonmonotonic reasoning
autoepistemic logic
constraint logic programming
semantics for logic programs