Suggestions for a non-monotonic feature logic:
Abstract: "We use Scott's domain theory and methods from Reiter's default logic to suggest some ways of modelling default constraints in feature logic. We show how default feature rules, derived from default constraints, can be used to give ways to augment strict feature structures wi...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
1995
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS
95,51 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "We use Scott's domain theory and methods from Reiter's default logic to suggest some ways of modelling default constraints in feature logic. We show how default feature rules, derived from default constraints, can be used to give ways to augment strict feature structures with default information." |
| Beschreibung: | 27 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011064176 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 961118s1995 |||| 00||| engod | ||
| 035 | |a (OCoLC)34780474 | ||
| 035 | |a (DE-599)BVBBV011064176 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 100 | 1 | |a Rounds, William C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Suggestions for a non-monotonic feature logic |c W. C. Rounds ; G. Q. Zhang |
| 264 | 1 | |a Amsterdam |c 1995 | |
| 300 | |a 27 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |v 95,51 | |
| 520 | 3 | |a Abstract: "We use Scott's domain theory and methods from Reiter's default logic to suggest some ways of modelling default constraints in feature logic. We show how default feature rules, derived from default constraints, can be used to give ways to augment strict feature structures with default information." | |
| 650 | 4 | |a Constraint programming (Computer science) | |
| 650 | 4 | |a Constraints (Artificial intelligence) | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 700 | 1 | |a Zhang, Guo-Qiang |e Verfasser |4 aut | |
| 810 | 2 | |a Department of Computer Science: Report CS |t Centrum voor Wiskunde en Informatica <Amsterdam> |v 95,51 |w (DE-604)BV008928356 |9 95,51 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007410160 | ||
Datensatz im Suchindex
| _version_ | 1804125553078304768 |
|---|---|
| any_adam_object | |
| author | Rounds, William C. Zhang, Guo-Qiang |
| author_facet | Rounds, William C. Zhang, Guo-Qiang |
| author_role | aut aut |
| author_sort | Rounds, William C. |
| author_variant | w c r wc wcr g q z gqz |
| building | Verbundindex |
| bvnumber | BV011064176 |
| ctrlnum | (OCoLC)34780474 (DE-599)BVBBV011064176 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01483nam a2200325 cb4500</leader><controlfield tag="001">BV011064176</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961118s1995 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34780474</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011064176</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rounds, William C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Suggestions for a non-monotonic feature logic</subfield><subfield code="c">W. C. Rounds ; G. Q. Zhang</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">27 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS</subfield><subfield code="v">95,51</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "We use Scott's domain theory and methods from Reiter's default logic to suggest some ways of modelling default constraints in feature logic. We show how default feature rules, derived from default constraints, can be used to give ways to augment strict feature structures with default information."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraint programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Constraints (Artificial intelligence)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Zhang, Guo-Qiang</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Department of Computer Science: Report CS</subfield><subfield code="t">Centrum voor Wiskunde en Informatica <Amsterdam></subfield><subfield code="v">95,51</subfield><subfield code="w">(DE-604)BV008928356</subfield><subfield code="9">95,51</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007410160</subfield></datafield></record></collection> |
| id | DE-604.BV011064176 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:03:23Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007410160 |
| oclc_num | 34780474 |
| open_access_boolean | |
| physical | 27 S. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| record_format | marc |
| series2 | Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS |
| spelling | Rounds, William C. Verfasser aut Suggestions for a non-monotonic feature logic W. C. Rounds ; G. Q. Zhang Amsterdam 1995 27 S. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 95,51 Abstract: "We use Scott's domain theory and methods from Reiter's default logic to suggest some ways of modelling default constraints in feature logic. We show how default feature rules, derived from default constraints, can be used to give ways to augment strict feature structures with default information." Constraint programming (Computer science) Constraints (Artificial intelligence) Logic programming Programming languages (Electronic computers) Semantics Zhang, Guo-Qiang Verfasser aut Department of Computer Science: Report CS Centrum voor Wiskunde en Informatica <Amsterdam> 95,51 (DE-604)BV008928356 95,51 |
| spellingShingle | Rounds, William C. Zhang, Guo-Qiang Suggestions for a non-monotonic feature logic Constraint programming (Computer science) Constraints (Artificial intelligence) Logic programming Programming languages (Electronic computers) Semantics |
| title | Suggestions for a non-monotonic feature logic |
| title_auth | Suggestions for a non-monotonic feature logic |
| title_exact_search | Suggestions for a non-monotonic feature logic |
| title_full | Suggestions for a non-monotonic feature logic W. C. Rounds ; G. Q. Zhang |
| title_fullStr | Suggestions for a non-monotonic feature logic W. C. Rounds ; G. Q. Zhang |
| title_full_unstemmed | Suggestions for a non-monotonic feature logic W. C. Rounds ; G. Q. Zhang |
| title_short | Suggestions for a non-monotonic feature logic |
| title_sort | suggestions for a non monotonic feature logic |
| topic | Constraint programming (Computer science) Constraints (Artificial intelligence) Logic programming Programming languages (Electronic computers) Semantics |
| topic_facet | Constraint programming (Computer science) Constraints (Artificial intelligence) Logic programming Programming languages (Electronic computers) Semantics |
| volume_link | (DE-604)BV008928356 |
| work_keys_str_mv | AT roundswilliamc suggestionsforanonmonotonicfeaturelogic AT zhangguoqiang suggestionsforanonmonotonicfeaturelogic |