ADAM: An Extension of Situation Semantics for Practical Use.

Chisato Numaoka Mario Tokoro

Published in: FGCS (1988)

Keyphrases

formal semantics
argumentation semantics
real world
nonmonotonic logics
default theories
object oriented
semantic information
practical application
practical problems
semantic representation
situation awareness
abstract argumentation frameworks
proof theoretic