Login / Signup
Extensional and Intensional Sets in CLP with Intensional Negation.
Paola Bruscoli
Gianfranco Rossi
Agostino Dovier
Eugenio G. Omodeo
Enrico Pontelli
Published in:
ICLP Workshop on Logic Programming with Sets (1993)
Keyphrases
</>
higher order
conceptual schema
query evaluation
logic programs
context dependent
data integration
deductive databases
neural network
information retrieval
artificial intelligence
website
data model
logic programming
reverse engineering
horn clauses