Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Buch |
| Sprache: | English French |
| Veröffentlicht: |
Palo Alto, Calif.
Morgan Kaufmann
1988
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006575227 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 930210s1988 xx ad|| |||| 10||| eng d | ||
| 020 | |a 0888648596 |9 0-88864-859-6 | ||
| 035 | |a (OCoLC)19825075 | ||
| 035 | |a (DE-599)BVBBV006575227 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng |a fre | |
| 049 | |a DE-739 | ||
| 050 | 0 | |a Q334 | |
| 110 | 2 | |a Canadian Society for Computational Studies of Intelligence |e Verfasser |0 (DE-588)144460-8 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence |b Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 |c ed. by R. Goebel |
| 264 | 1 | |a Palo Alto, Calif. |b Morgan Kaufmann |c 1988 | |
| 300 | |a XI, 286 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben. - PST: Actes de la septième conférence biennale de la Société Canadienne pour l'Étude de l'Intelligence par Ordinateur | ||
| 650 | 7 | |a Intelligence artificielle - Congrès |2 ram | |
| 650 | 7 | |a langage naturel |2 inriac | |
| 650 | 7 | |a perception |2 inriac | |
| 650 | 7 | |a raisonnement |2 inriac | |
| 650 | 7 | |a représentation connaissance |2 inriac | |
| 650 | 7 | |a système base connaissance |2 inriac | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Artificial intelligence |v Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Goebel, Randy |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004195211&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-004195211 | |
Datensatz im Suchindex
| _version_ | 1822408629853093888 |
|---|---|
| adam_text |
Contents
*
Invited
Finding Proofs, Programs, and Plans 1
W Bibel (invited)
Natural Language
Expressing Unrestricted Grammars by Extended DCG 7
Erik Knudsen
Using Default Logic to Derive Natural Language Presupposition 14
Robert E Mercer
An Evidence Oracle for Argument Understanding 22
Mark A Young, Robin Cohen
System X: A Portable Natural Language Interface 30
Paul McFetridge, Gary Hall, Nick Cercone, W S Luk
Reasoning I
Time revisited 39
Stephanie A Miller, Lenhart K Schubert
Reasoning in Temporal Domains: Dealing with Independence
and Unexpected Results 46
Scott D Goodwin
Knowledge Representation
A Syntactic Approach to Mental Correspondence 53
Anthony S Maida
Statistically Founded Degrees of Belief 59
Fahiem Bacchus
A New Normative Theory of Probabilistic Logic 67
Romas Aleliunas
On Using Modal Structures to Represent Extensions
to Epistemic Logics 75
Sharon J Hamilton, James P Delgrande
A Solution to the Paradoxes of Confirmation 85
James P Delgrande
Concepts, Analogies, and Creativity 94
Douglas R Hofstadter, Melanie Mitchell
Reasoning II
The Complexity of Model-Preference Default Theories 102
Bart Selman, Henry Kautz
Instance-Based Prediction of Real- Valued Attributes 110
Dennis Kibler, David W Aha
Axiomatizations in the Metatheory of Non-monotonic
Inference Systems 117
Phillippe Besnard
Probabilistic Causal Reasoning 125
Thomas Dean, Keiji Kanazawa
Search Strategies for Conspiracy Numbers 133
Norbert Klingbeil, Jonathan Schaeffer
IX
Perception I
The Cooperative Application of Multiple Natural Constraints
to the Motion Correspondence Problem 140
Michael R W Dawson
Structure Recognition by Connectionist Relaxation:
Formal Analysis 148
Paul Cooper
Knowledge Base Systems
A Multi-Paradigm Development System for Exploratory
Environments 156
Anne Bergeron, Lome H Bouchard, Renaud Nadeau
A Hybrid Approach to Finding Language Errors and Program
Equivalence in an Automated Advisor 161
Xueming Huang, Gordon I McCalla
Knowledge Acquisition Techniques for Knowledge-Based
Systems 169
Mildred L G Shaw
Extracting Rules from Data with Exceptions 177
Toshiharu Sugawara
Search Strategies for Finding Partial Answers in Large
Knowledge-Bases 184
Jaiwei Han, Lawrence J Henschen, Wenyu Lu
A Rule-Based Framework for Controlling a Robotic Workcell 191
M E Malowany, A S Malowany
Perception II
Curved Mondrians: a Generalized Approach to Shape
from Shading 199
Walter F Bischof, Mario Ferraro
Extending Moment Analysis with Directed Attention to Handle
Structural Variations in Character Recognition 206
Dale M McNulty
Speaker Normalization and Automatic Speech Recognition
Using Spectral Lines and Neural Networks 213
Yoshua Bengio, R De Mori
Reasoning III
Toward the Automated Synthesis of Nondeterministic Plans
Using Generalized Condition/Event Nets 221
Dennis R Bahler
Iterative Constructs in Non-Linear Precedence Planners 227
Sam Steel
Context Resolution: A Computational Mechanism for
Intelligent Backtracking 234
Jia-Huai You, Yigong Wang
LEW-P: Learning by Watching in the Planning Domain 242
Patrick Constant, Stan Matwin, Franz Oppacher
*
x
Applications
Generic Strategies and Representations for Communications
Networks Sales 249
Innes A Ferguson, Dan R Zlatin
Qualitative Modeling: Application of a Mechanism for
Interpreting Graphical Data 255
Sheila Mcllraith
Exploiting Fine-Grained Parallelism in Production Systems 262
Bruce T Smith, David Middleton
An Expert Advisor for Fourth Generation Software 271
Douglas Skuce
Refinement of Scene Interpretation for Object Recognition
and Location 279
K D Rueb, AKC Wong |
| any_adam_object | 1 |
| author_corporate | Canadian Society for Computational Studies of Intelligence |
| author_corporate_role | aut |
| author_facet | Canadian Society for Computational Studies of Intelligence |
| author_sort | Canadian Society for Computational Studies of Intelligence |
| building | Verbundindex |
| bvnumber | BV006575227 |
| callnumber-first | Q - Science |
| callnumber-label | Q334 |
| callnumber-raw | Q334 |
| callnumber-search | Q334 |
| callnumber-sort | Q 3334 |
| callnumber-subject | Q - General Science |
| classification_rvk | SS 1988 |
| ctrlnum | (OCoLC)19825075 (DE-599)BVBBV006575227 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV006575227</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">930210s1988 xx ad|| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0888648596</subfield><subfield code="9">0-88864-859-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)19825075</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006575227</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><subfield code="a">fre</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">Q334</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">Canadian Society for Computational Studies of Intelligence</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)144460-8</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence</subfield><subfield code="b">Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988</subfield><subfield code="c">ed. by R. Goebel</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Palo Alto, Calif.</subfield><subfield code="b">Morgan Kaufmann</subfield><subfield code="c">1988</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 286 S.</subfield><subfield code="b">Ill., graph. Darst.</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="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben. - PST: Actes de la septième conférence biennale de la Société Canadienne pour l'Étude de l'Intelligence par Ordinateur</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Intelligence artificielle - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">langage naturel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">perception</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">raisonnement</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">représentation connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">système base connaissance</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Goebel, Randy</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004195211&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004195211</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV006575227 |
| illustrated | Illustrated |
| indexdate | 2025-01-27T13:25:04Z |
| institution | BVB |
| institution_GND | (DE-588)144460-8 |
| isbn | 0888648596 |
| language | English French |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004195211 |
| oclc_num | 19825075 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | XI, 286 S. Ill., graph. Darst. |
| publishDate | 1988 |
| publishDateSearch | 1988 |
| publishDateSort | 1988 |
| publisher | Morgan Kaufmann |
| record_format | marc |
| spelling | Canadian Society for Computational Studies of Intelligence Verfasser (DE-588)144460-8 aut Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 ed. by R. Goebel Palo Alto, Calif. Morgan Kaufmann 1988 XI, 286 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben. - PST: Actes de la septième conférence biennale de la Société Canadienne pour l'Étude de l'Intelligence par Ordinateur Intelligence artificielle - Congrès ram langage naturel inriac perception inriac raisonnement inriac représentation connaissance inriac système base connaissance inriac Künstliche Intelligenz Artificial intelligence Congresses (DE-588)1071861417 Konferenzschrift gnd-content Goebel, Randy Sonstige oth HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004195211&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 Intelligence artificielle - Congrès ram langage naturel inriac perception inriac raisonnement inriac représentation connaissance inriac système base connaissance inriac Künstliche Intelligenz Artificial intelligence Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 |
| title_auth | Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 |
| title_exact_search | Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 |
| title_full | Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 ed. by R. Goebel |
| title_fullStr | Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 ed. by R. Goebel |
| title_full_unstemmed | Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 ed. by R. Goebel |
| title_short | Proceedings of the seventh biennial conference of the Canadian Society for Computational Studies of Intelligence |
| title_sort | proceedings of the seventh biennial conference of the canadian society for computational studies of intelligence edmonton convention center edmonton alberta canada june 6 10 1988 |
| title_sub | Edmonton Convention Center, Edmonton, Alberta, Canada, June 6 - 10, 1988 |
| topic | Intelligence artificielle - Congrès ram langage naturel inriac perception inriac raisonnement inriac représentation connaissance inriac système base connaissance inriac Künstliche Intelligenz Artificial intelligence Congresses |
| topic_facet | Intelligence artificielle - Congrès langage naturel perception raisonnement représentation connaissance système base connaissance Künstliche Intelligenz Artificial intelligence Congresses Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=004195211&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT canadiansocietyforcomputationalstudiesofintelligence proceedingsoftheseventhbiennialconferenceofthecanadiansocietyforcomputationalstudiesofintelligenceedmontonconventioncenteredmontonalbertacanadajune6101988 AT goebelrandy proceedingsoftheseventhbiennialconferenceofthecanadiansocietyforcomputationalstudiesofintelligenceedmontonconventioncenteredmontonalbertacanadajune6101988 |