Soundness and completeness results for LEA and probability semantics.

Published in: J. Log. Comput. (2022)

Keyphrases

probability distribution
databases
semantic information
formal semantics
logic programming
real world
genetic algorithm
domain knowledge
proof theory
information retrieval
relational databases
xml documents
transformation rules
intended meaning