Creator |
|
|
|
Language |
|
Publisher |
|
|
Date |
|
|
Source Title |
|
Vol |
|
Issue |
|
First Page |
|
Last Page |
|
Publication Type |
|
Access Rights |
|
Crossref DOI |
|
Related DOI |
|
Related DOI |
|
|
|
Related URI |
|
|
|
Relation |
|
|
|
|
Abstract |
Model inference is an inductive inference of theories from their models. In this paper, we propose a method of model, inference for logic programs using both refinements in direction from general to s...pecific and the opposite. By our method we can identify the target program from a program allalogous to the target.show more
|