Author:
Castro J. L.,Herrera F.,Verdegay J. L.
Subject
Artificial Intelligence,Human-Computer Interaction,Theoretical Computer Science,Software
Reference20 articles.
1. Automated Theorem Proving: A Logical Basis, North-Holland, Amsterdam, 1978.
2. Principles of Artificial Intelligence, Springer-Verlag, Berlin, 1982.
3. A mathematical programming approach to inference with the capability of implementing default rules
4. Logic-Based Decision Support: Mixed Integer Model Formulation, North-Holland, Amsterdam, New York, 1989.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献