Trace Semantics for IPDL.

Fengkui Ju Nana Cui Shujiao Li

Published in: LORI (2015)

Keyphrases

formal semantics
logic programming
semantic representation
case study
default reasoning
genetic algorithm
website
search algorithm
conceptual model