YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | KIM, DH | ko |
| dc.contributor.author | Choe, Kwang-Moo | ko |
| dc.date.accessioned | 2013-02-27T06:22:00Z | - |
| dc.date.available | 2013-02-27T06:22:00Z | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.created | 2012-02-06 | - |
| dc.date.issued | 1991-11 | - |
| dc.identifier.citation | INFORMATION PROCESSING LETTERS, v.40, no.4, pp.201 - 211 | - |
| dc.identifier.issn | 0020-0190 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/66950 | - |
| dc.description.abstract | An efficient backward execution algorithm in the AND/OR Process Model for parallel evaluation of logic programs is proposed. The efficiency of the algorithm is achieved by means of information acquired during execution of clauses. The algorithm is considered to be efficient in the sense that it issues fewer number of cancel messages and avoids unnecessary resetting operations. Furthermore, it performs independent redoing and resetting more concurrently than other related works. | - |
| dc.language | English | - |
| dc.publisher | ELSEVIER SCIENCE BV | - |
| dc.title | YET ANOTHER EFFICIENT BACKWARD EXECUTION ALGORITHM IN THE AND OR PROCESS MODEL | - |
| dc.type | Article | - |
| dc.identifier.wosid | A1991GW21200006 | - |
| dc.identifier.scopusid | 2-s2.0-0026259753 | - |
| dc.type.rims | ART | - |
| dc.citation.volume | 40 | - |
| dc.citation.issue | 4 | - |
| dc.citation.beginningpage | 201 | - |
| dc.citation.endingpage | 211 | - |
| dc.citation.publicationname | INFORMATION PROCESSING LETTERS | - |
| dc.contributor.localauthor | Choe, Kwang-Moo | - |
| dc.contributor.nonIdAuthor | KIM, DH | - |
| dc.type.journalArticle | Article | - |
| dc.subject.keywordAuthor | APPLICATIVE (LOGIC) PROGRAMMING | - |
| dc.subject.keywordAuthor | PARALLEL EVALUATION OF LOGIC PROGRAMS | - |
| dc.subject.keywordAuthor | AND OR PROCESS MODEL | - |
| dc.subject.keywordAuthor | AND PARALLELISM | - |
| dc.subject.keywordAuthor | BACKWARD EXECUTION ALGORITHM | - |
| dc.subject.keywordAuthor | MULTIPLE FAILURE | - |
| dc.subject.keywordAuthor | SELECTIVE RESETTING | - |
- Appears in Collection
- CS-Journal Papers(저널논문)
- Files in This Item
- There are no files associated with this item.
This item is cited by other documents in WoS
| ⊙ Detail Information in WoSⓡ | Click to see |  |
| ⊙ Cited 2 items in WoS | Click to see citing articles in |  |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.