A Sound Semantics for a Similarity-Based Logic Programming Language.

Pascual Julián Iranzo Clemente Rubio-Manzano

Published in: IWANN (2) (2011)

Keyphrases

logic programming language
logic programming
constraint logic programming
declarative semantics
inference rules
situation calculus
logic programs
constraint solving
programming language
deductive databases
databases
answer set programming
nonmonotonic reasoning
database
machine learning
knowledge base