Title :
Inclusive Resolution for Horn Sets
Author_Institution :
Dept of Applied Mathematics, Tsinghua University, Beijing, China
Keywords :
Logic programming; Mathematics; Partial response channels; Solvents; Testing;
Conference_Titel :
AI, Simulation and Planning in High Autonomy Systems, 1992. Integrating Perception, Planning and Action., Proceedings of the Third Annual Conference of
Print_ISBN :
0-8186-2675-5
DOI :
10.1109/AIHAS.1992.636897
