A logically complete reasoning maintenance system based on a logical constraint solver
収録刊行物
-
- Proc.12th Int. Joint Conf. on Artificial Intelligence, 1991
-
Proc.12th Int. Joint Conf. on Artificial Intelligence, 1991 1 294-299, 1991
Morgan Kaufmann Publishers Inc.