A new approach for an AHDL based on system semantics.

Youcef Bourai Nouma Izeboudjen Yacine Bouhabel Amine Tafat

Published in: ASP-DAC (1997)

Keyphrases

logic programming
semantic information
machine learning
semantic representation
formal semantics
databases
artificial intelligence
data model
conceptual model
conceptual graphs
default reasoning
operational semantics
transformation rules
intended meaning