Identification of semantics: balancing between complexity and validity.

Manolis Falelakis Christos Diou Anastasios Delopoulos

Published in: MMSP (2004)

Keyphrases

logic programming
worst case
formal semantics
artificial intelligence
computational complexity
semantic information
conceptual model
automatic identification
lower bound
memory requirements
space complexity