Diagnosing physical systems in A-Prolog
収録刊行物
-
- Proc. 6th Int. Conf. on Logic Programming and Non-monotonic Reasoning, 2001
-
Proc. 6th Int. Conf. on Logic Programming and Non-monotonic Reasoning, 2001 213-225, 2001
Springer