On Logical Foundations of the ATMS.

Yasushi Fujiwara Shinichi Honiden

Published in: Truth Maintenance Systems (ECAI Workshop) (1990)

Keyphrases

logical foundations
active databases
logic programming
decision making
management system
databases
data management
data collection
default logic