Answer Set Computation Based on a Minimal Model Generation Theorem Prover

2004 ◽  
pp. 43-52 ◽  
Author(s):  
Yasuyuki Shirai ◽  
Ryuzo Hasegawa
Keyword(s):  
Minimal Model ◽  
Theorem Prover ◽  
Model Generation ◽  
Generation Theorem ◽  
Answer Set

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

MGTP: A parallel theorem prover based on lazy model generation

1992 ◽  
pp. 776-780 ◽  
Author(s):  
Ryuzo Hasegawa ◽  
Miyuki Koshimura ◽  
Hiroshi Fujita
Keyword(s):  
Theorem Prover ◽  
Model Generation

scholarly journals Minimal model generation

2005 ◽  
pp. 197-203 ◽  
Author(s):  
A. Bouajjani ◽  
J-C. Fernandez ◽  
N. Halbwachs
Keyword(s):  
Minimal Model ◽  
Model Generation

Efficient Minimal Model Generation Using Branching Lemmas

2000 ◽  
pp. 184-199 ◽  
Author(s):  
Ryuzo Hasegawa ◽  
Hiroshi Fujita ◽  
Miyuki Koshimura
Keyword(s):  
Minimal Model ◽  
Model Generation
Sign in / Sign up

Export Citation Format

Share Document