On the Characterization of the Maximal Ideal Recursive Semantics of RP-DeLP.

Teresa Alsinet Ramón Béjar Lluís Godo Francesc Guitart

Published in: CCIA (2014)

Keyphrases

formal semantics
logic programming
general purpose
semantic information
default reasoning
transformation rules
model theoretic
neural network
schema mappings
deductive databases
logical framework
recursive functions