Direct Semantics and Exceptions Define Jumps and Coroutines.

Published in: Inf. Process. Lett. (1989)

Keyphrases

markov chain
formal semantics
multiple inheritance
default reasoning
default rules
database
databases
logic programming
operational semantics
description logic programs
real time
data sets
artificial intelligence
database systems
semantic representation
argumentation semantics