Alternative Semantics for McCarthy's amb.

William D. Clinger Charles Halpern

Published in: Seminar on Concurrency (1984)

Keyphrases

formal semantics
semantic information
data sets
databases
database
information retrieval
metadata
logic programming
situation calculus
graphical representation
active rules
nonmonotonic logics
logical language