A Semantics for NewSpeak in VDM-SL.

Published in: FME (1994)

Keyphrases

formal semantics
logic programming
databases
computer vision
semantic information
conceptual model
default reasoning
logical language
genetic algorithm
artificial intelligence
knowledge base
owl ontologies
nonmonotonic logics
update semantics