Principles of knowledge representation and reasoning: proceedings of the Second International Conference (KR91)
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
San Mateo, Calif.
Morgan Kaufmann
1991
|
| Schriftenreihe: | The Morgan Kaufmann Series in Representation and Reasoning
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 602 Seiten |
| ISBN: | 1558601651 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004708948 | ||
| 003 | DE-604 | ||
| 005 | 20240809 | ||
| 007 | t| | ||
| 008 | 920211s1991 xx |||| 10||| engod | ||
| 020 | |a 1558601651 |9 1-55860-165-1 | ||
| 035 | |a (OCoLC)311446739 | ||
| 035 | |a (DE-599)BVBBV004708948 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-91G |a DE-355 |a DE-20 |a DE-19 |a DE-83 |a DE-188 |a DE-706 | ||
| 084 | |a ST 285 |0 (DE-625)143648: |2 rvk | ||
| 084 | |a DAT 703f |2 stub | ||
| 245 | 1 | 0 | |a Principles of knowledge representation and reasoning |b proceedings of the Second International Conference (KR91) |c edited by James Allen ... |
| 264 | 1 | |a San Mateo, Calif. |b Morgan Kaufmann |c 1991 | |
| 300 | |a XI, 602 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a The Morgan Kaufmann Series in Representation and Reasoning | |
| 650 | 0 | 7 | |a Beweisführung |0 (DE-588)4227233-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1991 |z Cambridge Mass. |2 gnd-content | |
| 689 | 0 | 0 | |a Wissensbasiertes System |0 (DE-588)4197554-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Beweisführung |0 (DE-588)4227233-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Allen, James |4 edt | |
| 711 | 2 | |a KR |n 2 |d 1991 |c Cambridge, Mass. |j Sonstige |0 (DE-588)5064838-X |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002894033&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002894033 | |
Datensatz im Suchindex
| _version_ | 1820868096660865024 |
|---|---|
| adam_text |
Contents
Acknowledgments
.
v
Preface
.
vii
Part I Submitted Papers
Planning as Temporal Reasoning
. 3
James F. Allen
Temporal Reasoning and Narrative Conventions
. 15
Jonathan Amsterdam
Reflections about Reflection
. 22
Giuseppe
Attardi
and Maria Simi
Nonmonotonic Inferences in Neural Networks
. 32
Christian Balkenius and Peter
Gärdenfors
Meta-Reasoning in Executable Temporal Logic
. 40
Howard
Barringer, Michael
Fisher,
Dov Gabbay,
and Anthony Hunter
Pragmatic Logics
. 50
John Bell
Metalogic for Knowledge Representation
. 61
Antonio Brogi and Franco Turini
The
Monotonie
Abduction Problem: A Functional Characterization on the Edge of Tractability
. 70
Tom Bylander
A New
Formalisation
of Subsumption in Frame-Based Representation Systems
. 78
Jacqueline Castaing
Integrating Efficient Model-Learning and Problem-Solving Algorithms in Permutation Environments
. 89
Prasad
Chalasani,
Oren Etzioni,
and John Mount
Immortal: A Model-Based Belief Revision System
. 99
Timothy
S
-С
Chou
and Marianne Winslett
Clustering Temporal Intervals To Generate Reference Hierarchies
.
Ill
William S. Davis and James R.
Carnes
Default Logic Revisited
.118
James P.
Delgrande
and W. Ken Jackson
Plan-Based Terminological Reasoning
.128
Premkumar T. Devanbu, and Diane J. hitman
A Formal Basis for Analogical Reasoning
.139
Charles Dierbach and Daniel L. Chester
The Complexity of Concept Languages
.151
Francesco M. Donini,
Maurizio
Lenzerini, Daniele
Nardi, and Werner Nutt
Rational Belief Revision.
163
Jon Doyle
Conditional Objects and Non-Monontonic Reasoning
.175
Didier Dubois
and Henri
Prade
Completable Representations of Constraint Satisfaction Problems
.186
Eugene C. Freuder
A General Framework for Modal Deduction
.196
Alan M.
Frisch
and Richard B. Scherl
Credulous vs. Sceptical Semantics for Ordered Logic Programs
.208
D. Gabbay, E. Laenens,and D. Vermeir
Beyond Negation as Failure
.218
Hector
Gegner
Disiective
Def
aults
.230
Michael Gelfond,
Halina Przymusińska,
Vladimir Ujschitz, and
Mirosław Truszczyński
Partial Programs
.238
Michael R. Genesereth and Jane Yung-jen Hsu
Computational Considerations in Reasoning about Action
.250
Matthew L. Ginsberg
The Computational Value of Nonmonotonic Reasoning
.262
Matthew L. Ginsberg
Updates and Counterfactuals
.269
G8staGrahne
Probably Approximately Optimal Derivation Strategies
.277
Russell Greater and
Pekka
Oponen
Generalizing Prioritization
.289
Benjamin
N.
Grosof
Naming and Identity in a Multi-Agent
Epistemic
Logic
.301
Adam J. Grove and Joseph Y. Hahtem
A Temporal Probability Logic for Representing Actions
. 313
Peter Haddawy
Model Checking vs. Theorem Proving: A Manifesto
.325
Joseph
Y.Htůpern
and
Moshe
Y.Vardi
Qualifying Number Restrictions in Concept Languages
.335
Bernhard
Hottunder and Franz
Baader
A Formal Theory of Spatial Reasoning
.347
Stephen G. Kaufman
S4 as the Conditional Logic of Nonmonotonicty
.357
Phutppe
Lamarre
On the Relation between Explicit and Implicit Belief
.368
Gerhard Lakemeyer
Toward a Metatheory of Action
.376
Vladimir lifschitz
On the Difference between Updating a Knowledge Base and Revising It
.387
Hirofumi Katsuno and Alberto O. Mendelzon
Modal Nonmonotonic Logics: Ranges, Characterization, Computation
.395
Wiktor
Marde, Grigori F. Shvarts,
and
Mirosław Truszczyński
Universal Attachment: An Integration Method for Logic Hybrids
.405
Karen L. Myers
Belief Revision and Default Reasoning: Syntax-Based Approaches
. 417
Bernhard Nebel
Generalizing
Atoms
in Constraint
Logic
.429
С.
David Page,
Jr.
and
Alan M.
Frisch
A
Theory of Inferred Causation
.441
Judea
Pearl and T.S. Verma
The Logic of
Epistemic
Inconsistency
.453
Tarcísio Pequeno
and Arthur
Buchsbaum
The Utility of Consistency-Based Diagnostic Techniques
.461
Gregory M.
Provan
and David Poole
Modeling Rational Agents within a BDI-Architecture
.473
Anand S. Rao and Michael P. Georgeff
A Nonmonotonic Assumption-Based TMS Using Stable Bases
.485
William L.
Rodi
and Stephen G. Pimentel
Assertional Default Theories: A Semantical View
.496
Torsten
Schaub
A Metalinguistic Treatment of
Epistemic
Contexts
.507
Paul
Schweizer
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures
.514
Jeffrey Van
Baaien
The Feasibility of Defeat in Defeasible Reasoning
.526
Gerard
Vreeswijk
Qualitative
Intercausal
Relations, or Explaining "Explaining Away"
.535
Michael P. Wellman and Max Henrion
Qualitative Simulation with Multivariate Constraints
.547
Michael P. Wellman
The Ontology and Representation of Situations
.558
Robert Wilensky
Skeptical Reason Maintenance is Tractable
.570
Cees
Witteveen
Part II Invited Presentations
Nonmonotonic Inferences Based on Expectations: A Preliminary Report
.585
Peter
Gärdenfors
Implemented Knowledge Representation and Reasoning Systems: An Endangered Species
?.591
Charles Rich
Part III Position Papers from the Panel on Knowledge Sharing and Reuse
Panel: Achieving Large Scale Knowledge Sharing
.595
William Mark
Knowledge Sharing: A Feasible Dream
.597
Giuseppe
Attardi
Knowledge Interchange Format
.599
Michael R. Genesereth
The Role of Common Ontology in Achieving Sharable, Reusable Knowledge Bases
.601
Thomas
R.Gruber
Index
. 603
Author Index
. 609 |
| any_adam_object | 1 |
| author2 | Allen, James |
| author2_role | edt |
| author2_variant | j a ja |
| author_facet | Allen, James |
| building | Verbundindex |
| bvnumber | BV004708948 |
| classification_rvk | ST 285 |
| classification_tum | DAT 703f |
| ctrlnum | (OCoLC)311446739 (DE-599)BVBBV004708948 |
| discipline | Informatik |
| format | Conference Proceeding 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">BV004708948</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240809</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">920211s1991 xx |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1558601651</subfield><subfield code="9">1-55860-165-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)311446739</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004708948</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 285</subfield><subfield code="0">(DE-625)143648:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles of knowledge representation and reasoning</subfield><subfield code="b">proceedings of the Second International Conference (KR91)</subfield><subfield code="c">edited by James Allen ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">San Mateo, Calif.</subfield><subfield code="b">Morgan Kaufmann</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 602 Seiten</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="0" ind2=" "><subfield code="a">The Morgan Kaufmann Series in Representation and Reasoning</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweisführung</subfield><subfield code="0">(DE-588)4227233-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1991</subfield><subfield code="z">Cambridge Mass.</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissensbasiertes System</subfield><subfield code="0">(DE-588)4197554-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Beweisführung</subfield><subfield code="0">(DE-588)4227233-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Allen, James</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">KR</subfield><subfield code="n">2</subfield><subfield code="d">1991</subfield><subfield code="c">Cambridge, Mass.</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5064838-X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=002894033&sequence=000002&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-002894033</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1991 Cambridge Mass. gnd-content |
| genre_facet | Konferenzschrift 1991 Cambridge Mass. |
| id | DE-604.BV004708948 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T13:18:56Z |
| institution | BVB |
| institution_GND | (DE-588)5064838-X |
| isbn | 1558601651 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002894033 |
| oclc_num | 311446739 |
| open_access_boolean | |
| owner | DE-12 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-83 DE-188 DE-706 |
| owner_facet | DE-12 DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-20 DE-19 DE-BY-UBM DE-83 DE-188 DE-706 |
| physical | XI, 602 Seiten |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Morgan Kaufmann |
| record_format | marc |
| series2 | The Morgan Kaufmann Series in Representation and Reasoning |
| spelling | Principles of knowledge representation and reasoning proceedings of the Second International Conference (KR91) edited by James Allen ... San Mateo, Calif. Morgan Kaufmann 1991 XI, 602 Seiten txt rdacontent n rdamedia nc rdacarrier The Morgan Kaufmann Series in Representation and Reasoning Beweisführung (DE-588)4227233-6 gnd rswk-swf Wissensbasiertes System (DE-588)4197554-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1991 Cambridge Mass. gnd-content Wissensbasiertes System (DE-588)4197554-6 s DE-604 Beweisführung (DE-588)4227233-6 s Allen, James edt KR 2 1991 Cambridge, Mass. Sonstige (DE-588)5064838-X oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002894033&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Principles of knowledge representation and reasoning proceedings of the Second International Conference (KR91) Beweisführung (DE-588)4227233-6 gnd Wissensbasiertes System (DE-588)4197554-6 gnd |
| subject_GND | (DE-588)4227233-6 (DE-588)4197554-6 (DE-588)1071861417 |
| title | Principles of knowledge representation and reasoning proceedings of the Second International Conference (KR91) |
| title_auth | Principles of knowledge representation and reasoning proceedings of the Second International Conference (KR91) |
| title_exact_search | Principles of knowledge representation and reasoning proceedings of the Second International Conference (KR91) |
| title_full | Principles of knowledge representation and reasoning proceedings of the Second International Conference (KR91) edited by James Allen ... |
| title_fullStr | Principles of knowledge representation and reasoning proceedings of the Second International Conference (KR91) edited by James Allen ... |
| title_full_unstemmed | Principles of knowledge representation and reasoning proceedings of the Second International Conference (KR91) edited by James Allen ... |
| title_short | Principles of knowledge representation and reasoning |
| title_sort | principles of knowledge representation and reasoning proceedings of the second international conference kr91 |
| title_sub | proceedings of the Second International Conference (KR91) |
| topic | Beweisführung (DE-588)4227233-6 gnd Wissensbasiertes System (DE-588)4197554-6 gnd |
| topic_facet | Beweisführung Wissensbasiertes System Konferenzschrift 1991 Cambridge Mass. |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002894033&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT allenjames principlesofknowledgerepresentationandreasoningproceedingsofthesecondinternationalconferencekr91 AT krcambridgemass principlesofknowledgerepresentationandreasoningproceedingsofthesecondinternationalconferencekr91 |