Typed connector families and their semantics.

José Proença Dave Clarke

Published in: Sci. Comput. Program. (2017)

Keyphrases

higher order
database
logic programming
artificial intelligence
computational properties
semantic information
intended meaning
argumentation semantics
model theoretic
website
information systems
neural network
database systems
formal semantics
logical framework
information retrieval
databases