Formal alternative management integrating logical inference and rationals (FAMILIAR).

Sidney C. Bailin Dean Allemang

Published in: ACM SIGSOFT Softw. Eng. Notes (2000)

Keyphrases

logical inference
theorem proving
management system
probabilistic inference
multimedia
expert systems
co occurrence
knowledge management
global constraints
logical structure