Semantics and expressiveness of ordered SOS.

Mohammad Reza Mousavi Iain Phillips Michel A. Reniers Irek Ulidowski

Published in: Inf. Comput. (2009)

Keyphrases

formal semantics
expressive power
computational properties
logic programming
genetic algorithm
semantic information
conceptual model
highly expressive
databases
artificial intelligence
high level
logical framework