Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers

1993 ◽  
Vol 9 (2) ◽  
pp. 143-152
Author(s):  
Mark E Stickel
Keyword(s):  
Theorem Proving ◽  
Automated Theorem Proving ◽  
Computer Systems ◽  
Model Generation ◽  
Generation Theorem ◽  
Theorem Provers ◽  
Fifth Generation ◽  
Project Model ◽  
Generation Computer

Fifth-Generation Computer Systems: A Japanese Project

Computer ◽  
1984 ◽  
Vol 17 (3) ◽  
pp. 6-13 ◽  
Author(s):  
Moto-oka ◽  
Stone
Keyword(s):  
Computer Systems ◽  
Fifth Generation ◽  
Generation Computer

An Improvement of Herbrand's Theorem and Its Application to Model Generation Theorem Proving

2007 ◽  
Vol 22 (4) ◽  
pp. 541-553
Author(s):  
Yu-Yan Chao ◽  
Li-Feng He ◽  
Tsuyoshi Nakamura ◽  
Zheng-Hao Shi ◽  
Kenji Suzuki ◽  
...  
Keyword(s):  
Theorem Proving ◽  
Model Generation ◽  
Generation Theorem ◽  
Herbrand’S Theorem ◽  
Herbrand's Theorem ◽  
Model Generation Theorem Proving

Papers Related to Fifth Generation Computer Systems

1985 ◽  
pp. 137-142
Author(s):  
Isaac Balbin ◽  
Koenraad Lecot
Keyword(s):  
Computer Systems ◽  
Fifth Generation ◽  
Generation Computer

Logic Programming in the Fifth Generation

1984 ◽  
Vol 1 (1) ◽  
pp. 26-38 ◽  
Author(s):  
Robert Kowalski
Keyword(s):  
Artificial Intelligence ◽  
Logic Programming ◽  
Programming Language ◽  
Computer Systems ◽  
Database Systems ◽  
Computer Architectures ◽  
Multiprocessor Computer ◽  
Software Specification ◽  
Fifth Generation ◽  
Generation Computer

The Japanese Fifth Generation Computer Systems (FGCS) project has chosen logic programming for its core programming language. It has recognized the major contribution that logic programming has to make not only in artificial intelligence but in database systems and software specification as well. It has recognized and intends to exploit the greater potential that logic programming has to offer for taking advantage of the parallelism possible with innovative multiprocessor computer architectures.

Research on Parallel Machine Architecture for Fifth-Generation Computer Systems

Computer ◽  
1985 ◽  
Vol 18 (6) ◽  
pp. 76-92 ◽  
Author(s):  
Murakami ◽  
Kakuta ◽  
Onai ◽  
Ito
Keyword(s):  
Computer Systems ◽  
Parallel Machine ◽  
Fifth Generation ◽  
Generation Computer
Sign in / Sign up

Export Citation Format

Share Document