System description: MCS: Model-based conjecture searching

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1632, Issue , 1999, Pages 393-397

  Zhang, Jian ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION;

MODEL-BASED OPC; SYSTEM DESCRIPTION;

THEOREM PROVING;

EID: 84957634000     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48660-7_37     Document Type: Conference Paper

References (6)

1. Russell, S. and Norvig, P., Artificial Intelligence: A Modern Approach, Prentice Hall, Englewood Cliffs, New Jersey, USA, 1995.
2. Schumann, J.M. Ph., “DELTA - A bottom-up preprocessor for top-down theorem provers,” Proc. CADE-12, 774-777, 1994.
3. Slaney, J. et al. “Automated reasoning and exhaustive search: Quasigroup existence problems,” Computers and Math. with Applications 29(2): 115-132, 1995.
4. Wos, L., Automated Reasoning: 33 Basic Research Problems, Prentice Hall, Engle-wood Cliffs, New Jersey, USA, 1988.
5. Zhang, J., The Generation and Applications of Finite Models, PhD thesis, Institute of Software, Chinese Academy of Sciences, Beijing, China, 1994.
6. Zhang, J., “Constructing finite algebras with FALCON,” J. Automated Reasoning 17(1): 1-22, 1996.