A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues.

Published in: LACL (1998)

Keyphrases

data objects
relational databases
logic programming
dynamic environments
object model
database
knowledge base
d objects
logic programs
formal semantics