Declarative Knowledge Programming: Better Than Procedural?
Gespeichert in:
| Veröffentlicht in: | IEEE expert Jg. 1; H. 1; S. 36 - 43 |
|---|---|
| 1. Verfasser: | |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
01.04.1986
|
| Schlagworte: | |
| ISSN: | 0885-9000, 2374-9407 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Author | Schor, Marshall I. |
|---|---|
| Author_xml | – sequence: 1 givenname: Marshall I. surname: Schor fullname: Schor, Marshall I. organization: IBM Thomas J. Watson Research Center, PO Box 218, Yorktown Heights, NY 10598 |
| BookMark | eNp9jz1Pw0AQRE8oSCSBHonGf8Bh1z7v-dIgCOFDBEERJDprc14HI8dGZwPi35MogYKCaorRm9EbqF7d1KLUMcIIEezp_fR5hDalUQJA2po91Y9io0OrwfRUH9I0CS0AHKhB274CoNaG-mp8Ka5iz135IcFd3XxWki8lePTN0vNqVdbLcXAhXSc-mL9wvSmc5O-eq7NDtV9w1crRLofq6Wo6n9yEs4fr28n5LHRoqAvzghaONWu9iBzFJLnFQlPCGCUkFGliYxKDyKwljgtthZxd5JEwpgVKPFSw3XW-aVsvRfbmyxX7rwwh27hna_ds457t3NcI_UFc2a0dm7rzXFb_gSdbsBSR35-f9hski2id |
| CODEN | IEEXE7 |
| CitedBy_id | crossref_primary_10_1109_13_204845 crossref_primary_10_1016_0045_7906_94_90027_2 crossref_primary_10_1109_64_50857 crossref_primary_10_1177_1046878194251009 |
| Cites_doi | 10.1147/rd.301.0014 10.1016/0004-3702(82)90039-X 10.1016/B978-0-12-108550-6.50012-4 10.1016/0004-3702(82)90020-0 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION |
| DOI | 10.1109/MEX.1986.5006497 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 2374-9407 |
| EndPage | 43 |
| ExternalDocumentID | 10_1109_MEX_1986_5006497 5006497 |
| Genre | orig-research |
| GroupedDBID | -DZ -~X 0R~ 29I 3EH 4.4 41~ 5GY 6IK 9M8 AAJGR AAWTH ABAZT ABJNI ABQJQ ABVLG ACGFS AFFNX AGQYO AHBIQ AI. ALLEH ALMA_UNASSIGNED_HOLDINGS BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 EJD HZ~ H~9 ICLAB IFIPE IFJZH IPLJI JAVBF LAI M43 O9- OCL RIE RNS TN5 VH1 WH7 ZCG AAYXX CITATION |
| ID | FETCH-LOGICAL-c176t-df6bca4a44b2c636ed91f465a1256e6246a775711aa4e33f49e6c9bd2ea18f1e3 |
| IEDL.DBID | RIE |
| ISSN | 0885-9000 |
| IngestDate | Sat Nov 29 03:43:19 EST 2025 Tue Nov 18 21:27:59 EST 2025 Wed Aug 27 08:35:03 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Issue | 1 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c176t-df6bca4a44b2c636ed91f465a1256e6246a775711aa4e33f49e6c9bd2ea18f1e3 |
| PageCount | 8 |
| ParticipantIDs | ieee_primary_5006497 crossref_primary_10_1109_MEX_1986_5006497 crossref_citationtrail_10_1109_MEX_1986_5006497 |
| PublicationCentury | 1900 |
| PublicationDate | 1986-April |
| PublicationDateYYYYMMDD | 1986-04-01 |
| PublicationDate_xml | – month: 04 year: 1986 text: 1986-April |
| PublicationDecade | 1980 |
| PublicationTitle | IEEE expert |
| PublicationTitleAbbrev | EX-M |
| PublicationYear | 1986 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| References | ref8 ref9 ref4 forgy (ref10) 1979 brownston (ref3) 1985 coelho (ref6) 1980 ref2 (ref5) 0 de kleer (ref7) 1984 doyle (ref1) 1978 |
| References_xml | – year: 1985 ident: ref3 publication-title: Programming Expert Systems in OPS5 – start-page: 357 year: 0 ident: ref5 publication-title: Readings in Knowledge Representation – year: 1980 ident: ref6 publication-title: How To Solve It With Prolog – ident: ref2 doi: 10.1147/rd.301.0014 – ident: ref9 doi: 10.1016/0004-3702(82)90039-X – ident: ref4 doi: 10.1016/B978-0-12-108550-6.50012-4 – ident: ref8 doi: 10.1016/0004-3702(82)90020-0 – year: 1979 ident: ref10 publication-title: On the efficient implementation of production systems – start-page: 79 year: 1984 ident: ref7 article-title: choices without backtracking publication-title: Proc AAAI – year: 1978 ident: ref1 publication-title: Truth maintenance systems for problem solving |
| SSID | ssj0014476 |
| Score | 1.2008238 |
| SourceID | crossref ieee |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 36 |
| SubjectTerms | Computer languages Control systems Operating systems Production systems Real time systems Software maintenance Technology management Virtual manufacturing |
| Title | Declarative Knowledge Programming: Better Than Procedural? |
| URI | https://ieeexplore.ieee.org/document/5006497 |
| Volume | 1 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) customDbUrl: eissn: 2374-9407 dateEnd: 19971231 omitProxy: false ssIdentifier: ssj0014476 issn: 0885-9000 databaseCode: RIE dateStart: 19860101 isFulltext: true titleUrlDefault: https://ieeexplore.ieee.org/ providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB7a4sGLVatYX-zBi-C2m002aXoRHy2CWHqo0NuSTWZRqFuprb_fTfaBggjelpCB5dtkZ5KZ-T6ACxUoiklkfMpT4-c_vMSXYUL9kA2klpja1JcTmxCTyWA-l9MGXNW9MIjois-wZx9dLt8s9cZelfUj60ClaEJTCF70atUZA8ackFy-aSLfCmFWKclA9p9G815-tua90v6HC_qmqeJcyrj9v5fZhZ0ydPRuim-9Bw3M9qFdyTJ45S7twPAe9aJk9PYeqzszb1pUYr3lvmro3bouHm_2ojLP9QoYS79xfQDP49Hs7sEvJRJ8TQRf-ybliVZMMZaEmlOORpKU8UjlcQtHHjKuhIgEIUoxpDRlErmWiQlRkUFKkB5CK1tmeAReGBKdWL63JKSMGa5IYIiWJs1jSoMR60K_Qi3WJX-4lbFYxO4cEcg4xzm2OMclNF24rC3eC-6MP-Z2LMT1vHL4-PfhE9i2xkUFzSm01qsNnsGW_ly_fqzO3cL4Av9qtSA |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1bS8MwFD7MKeiLU6c4r33wRbBb06bpshfxsjHZhT1M2FtJk1MU5iZz8_fbZGlREMG3ENIQvjY9JznnfB_AlfBEgEmo3IClys1-eInL_SRwfdrkkmOqQ19GbCIaDpuTCR-V4KaohUFEk3yGdd00sXw1lyt9VdYItQHl0QZsauUsW61VxAwoNVJy2bYJXS2FmQclPd4YtCf17HTN6naGH0bom6qKMSqdyv-Wswe71nl07tZvex9KODuASi7M4Nh9WoXWI8qp5fR2evmtmTNa52K9Zdaq5dybOh5n_CJmjqkWUJqA4_YQnjvt8UPXtSIJriQRW7oqZYkUVFCa-JIFDBUnKWWhyDwXhsynTERRGBEiBMUgSClHJnmifBSkmRIMjqA8m8_wGBzfJzLRjG-JH1CqmCCeIpKrNPMqFYa0Bo0ctVhaBnEtZDGNzUnC43GGc6xxji00Nbgunnhfs2f8MbaqIS7G2e6T37svYbs7HvTj_tOwdwo7eqJ1Ps0ZlJeLFZ7Dlvxcvn4sLsxH8gWecLhp |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Declarative+Knowledge+Programming%3A+Better+Than+Procedural%3F&rft.jtitle=IEEE+expert&rft.au=Schor%2C+Marshall+I.&rft.date=1986-04-01&rft.issn=0885-9000&rft.eissn=2374-9407&rft.volume=1&rft.issue=1&rft.spage=36&rft.epage=43&rft_id=info:doi/10.1109%2FMEX.1986.5006497&rft.externalDBID=n%2Fa&rft.externalDocID=10_1109_MEX_1986_5006497 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0885-9000&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0885-9000&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0885-9000&client=summon |