Export Mendeley
＜journal article＞
Model Inference Using Bidirectional Refinements
| 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 |
Hide fulltext details.
| File | FileType | Size | Views | Description |
|---|---|---|---|---|
rifis-tr-10
|
2.22 MB | 399 | RIFIS Technical Report | |
|
p001
|
709 KB | 193 | Bulletin of Informatics and Cybernetics |
Details
| PISSN | |
|---|---|
| EISSN | |
| NCID | |
| Record ID | |
| Peer-Reviewed | |
| Created Date | 2009.04.22 |
| Modified Date | 2020.10.22 |