Semantics for Abstract Clauses.

David A. Wolfram

Published in: TYPES (1993)

Keyphrases

np hard
formal semantics
first order logic
propositional dynamic logic
higher level
constraint satisfaction problems
data sets
high level
search space
conceptual model
graphical representation
search algorithm
semantic information
operational semantics
argumentation semantics