skip to content
Meta-level architectures and reflection Preview this item
ClosePreview this item
Checking...

Meta-level architectures and reflection

Author: Pattie Maes; Daniele Nardi
Publisher: Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongreß
Alghero (1986)
Congrès
Additional Physical Format: Online version:
Meta-level architectures and reflection.
Amsterdam ; New York : North-Holland ; New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988
(OCoLC)568758830
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Pattie Maes; Daniele Nardi
ISBN: 0444703438 9780444703439
OCLC Number: 16831993
Notes: "Selection of the papers presented at the Workshop Meta-level Architectures and Reflection, held in Alghero, Italy, during October 27-30, 1986 and sponsored by the Cost-13 Project No 21"--Preface.
Description: x, 355 pages : illustrations ; 25 cm
Contents: Checking Proofs in the Metamathematics of First Order Logic (M. Aiello, R. Weyhrauch). Foundations. Issues in Computational Reflection (P. Maes). Meta in Logic (D. Perlis). Meaning in Knowledge Representation (L. Steels). Reasoning by Introspection (K. Konolige). Introspective Fidelity (M. Genesereth). Commonsense Set Theory (D. Perlis). Implementations. Control-Related Meta-Level Facilities in LISP (J. des Rivieres). The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower (M. Wand, D. Friedman). Communication between LISP and Horn Clauses by Mutual Reflection (R. Ghislanzoni, L. Spampinato, G. Tornielli). The ObjVlisp Kernel: A Reflective Lisp Architecture to Define a Uniform Object-Oriented System (P. Cointe). Conceptual Reflection and Actor Languages (J. Ferber). Evaluation and Reflection in FOL (D. Nardi). OMEGA: An Integrated Reflective Framework (M. Simi, E. Motta). Meta-Levels in SOAR (P. Rosenbloom, J. Laird, A. Newell). Applications. The Uses of Metaknowledge in AI Systems (L. Aiello, G. Levi). Reasoning about Self-Control (J. Batali). A Multi-Context Monotonic Axiomatization of Inessential Non-Monotonicity (F. Giunchiglia, R. Weyhrauch). Declaratively Programmable Interpreters and Meta-Level Inference (B. Welham). A Meta-Level Architecture for Expert Systems (L. Sterling). Object Level Reflection of Inference Rules by Partial Evaluation (P. Coscia et al.). Functional Meta-Level for Logic Programming (P. Mancarella, D. Pedreschi, F. Turini). Meta-Level Extensions of Logic and Machine Learning (P. Brazdil).
Responsibility: edited by Pattie Maes, Daniele Nardi.
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/16831993> # Meta-level architectures and reflection
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "16831993" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/ne> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/13788927#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/13788927#Place/amsterdam> ; # Amsterdam
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/kunstmatige_intelligentie> ; # Kunstmatige intelligentie
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/kongress> ; # Kongress
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/intelligence_artificielle> ; # Intelligence artificielle
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/langages_de_programmation> ; # Langages de programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/systemes_experts_informatique> ; # Systèmes experts (Informatique)
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/programmeertalen> ; # Programmeertalen
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/kunstliche_intelligenz> ; # Künstliche Intelligenz
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/expertsystemen> ; # Expertsystemen
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Thing/artificial_intelligence> ; # Artificial intelligence
   schema:about <http://dewey.info/class/006.3/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/13788927#Topic/inteligencia_artificial> ; # Inteligencia artificial
   schema:about <http://id.worldcat.org/fast/918516> ; # Expert systems (Computer science)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/109414441> ; # Pattie Maes
   schema:contributor <http://experiment.worldcat.org/entity/work/data/13788927#Meeting/workshop_meta_level_architectures_and_reflection_1986_alghero_italy> ; # Workshop Meta-level Architectures and Reflection (1986 : Alghero, Italy)
   schema:contributor <http://viaf.org/viaf/85514288> ; # Daniele Nardi
   schema:datePublished "1988" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/13788927> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Alghero (1986)"@en ;
   schema:genre "Kongreß"@en ;
   schema:inLanguage "en" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/568758830> ;
   schema:name "Meta-level architectures and reflection"@en ;
   schema:productID "16831993" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/16831993#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1988> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/13788927#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:publisher <http://experiment.worldcat.org/entity/work/data/13788927#Agent/north_holland> ; # North-Holland
   schema:workExample <http://worldcat.org/isbn/9780444703439> ;
   umbel:isLike <http://bnb.data.bl.uk/id/resource/GB8840115> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/16831993> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
    a bgn:Agent ;
   schema:name "Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co." ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Meeting/workshop_meta_level_architectures_and_reflection_1986_alghero_italy> # Workshop Meta-level Architectures and Reflection (1986 : Alghero, Italy)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/13788927#Place/alghero_italy> ; # Alghero, Italy)
   schema:name "Workshop Meta-level Architectures and Reflection (1986 : Alghero, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Place/alghero_italy> # Alghero, Italy)
    a schema:Place ;
   schema:name "Alghero, Italy)" ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Place/new_york_n_y_u_s_a> # New York, N.Y., U.S.A.
    a schema:Place ;
   schema:name "New York, N.Y., U.S.A." ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Thing/artificial_intelligence> # Artificial intelligence
    a schema:Thing ;
   schema:name "Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Topic/inteligencia_artificial> # Inteligencia artificial
    a schema:Intangible ;
   schema:name "Inteligencia artificial"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Topic/intelligence_artificielle> # Intelligence artificielle
    a schema:Intangible ;
   schema:name "Intelligence artificielle"@en ;
   schema:name "Intelligence artificielle"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Topic/kunstliche_intelligenz> # Künstliche Intelligenz
    a schema:Intangible ;
   schema:name "Künstliche Intelligenz"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Topic/kunstmatige_intelligentie> # Kunstmatige intelligentie
    a schema:Intangible ;
   schema:name "Kunstmatige intelligentie"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
   schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Topic/programmiersprache> # Programmiersprache
    a schema:Intangible ;
   schema:name "Programmiersprache"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/13788927#Topic/systemes_experts_informatique> # Systèmes experts (Informatique)
    a schema:Intangible ;
   schema:name "Systèmes experts (Informatique)"@fr ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence"@en ;
    .

<http://id.worldcat.org/fast/918516> # Expert systems (Computer science)
    a schema:Intangible ;
   schema:name "Expert systems (Computer science)"@en ;
    .

<http://viaf.org/viaf/109414441> # Pattie Maes
    a schema:Person ;
   schema:birthDate "1961" ;
   schema:familyName "Maes" ;
   schema:givenName "Pattie" ;
   schema:name "Pattie Maes" ;
    .

<http://viaf.org/viaf/85514288> # Daniele Nardi
    a schema:Person ;
   schema:birthDate "1958" ;
   schema:familyName "Nardi" ;
   schema:givenName "Daniele" ;
   schema:name "Daniele Nardi" ;
    .

<http://worldcat.org/isbn/9780444703439>
    a schema:ProductModel ;
   schema:isbn "0444703438" ;
   schema:isbn "9780444703439" ;
    .

<http://www.worldcat.org/oclc/568758830>
    a schema:CreativeWork ;
   rdfs:label "Meta-level architectures and reflection." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/16831993> ; # Meta-level architectures and reflection
    .

<http://www.worldcat.org/title/-/oclc/16831993#PublicationEvent/amsterdam_new_york_north_holland_new_york_n_y_u_s_a_sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co_1988>
    a schema:PublicationEvent ;
   schema:location <http://experiment.worldcat.org/entity/work/data/13788927#Place/new_york_n_y_u_s_a> ; # New York, N.Y., U.S.A.
   schema:location <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:location <http://experiment.worldcat.org/entity/work/data/13788927#Place/amsterdam> ; # Amsterdam
   schema:organizer <http://experiment.worldcat.org/entity/work/data/13788927#Agent/sole_distributors_for_the_u_s_a_and_canada_elsevier_science_pub_co> ; # Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
   schema:organizer <http://experiment.worldcat.org/entity/work/data/13788927#Agent/north_holland> ; # North-Holland
   schema:startDate "1988" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.