Login / Signup
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