OhioLINK

Skip navigation

OhioLINK Home
OhioLINK Library Catalog
Encore Catalog | OL Home | Databases | Contact a Librarian

Start Over Export MARC Display Return To Browse Find it on SearchOhio Another Search

   
Record:   ◂ Prev Next ▸
Reviews and More
Conference International Workshop, META--92 (1992 : Uppsala, Sweden)
Title Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi, ed
Publish Info Berlin ; New York : Springer-Verlag, c1992

Bookmark this record as <https://olc1.ohiolink.edu:443/record=b12416286>

[Hide]

Library Holdings


REQUEST THIS ITEM
LibraryLocationCall Number/Serial HoldingsStatus
CWRU KSL Stacks 3rd Floor QA76.L43 no. 649 AVAILABLE
Ohio Depository Ohio Depository NorthEast : Kent State University QA76.73 .I567 1992 AVAILABLE
Ohio Depository Ohio Depository NorthWest : Bowling Green State University QA76.63.I567 1992 TEMP UNAVAIL
Ohio State U Book Depository QA76.73 .I567 1992 AVAILABLE
U of Cincinnati SW Depository QA76.73 .I567 1992 AVAILABLE

[Go to top]

[Hide]

Contents

 Invited Papers 
  Belief Revision: A Vademecum / P. Gardenfors1
  Meta-Programming Through Intensional Deduction: Some Examples / L. Farinas Del Cerro, A. Herzig11
  An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming / K. Konolige26
 Advanced Tutorials 
  An Introduction to Partial Deduction / J. Komorowski49
  Tutorial on Termination of Logic Programs / D. De Schreye, K. Verschaetse70
 Languages and Applications I 
  Definable Naming Relations in Metalevel Systems / F. van Harmelen89
  Meta for Modularizing Logic Programming / A. Brogi, P. Mancarella, D. Pedreschi, F. Turini105
  Compiler Optimizations for Lowlevel Redundancy Elimination: An Application of Metalevel Prolog Primitives / S. K. Debray120
  Reflective Agents in Metalogic Programming / S. Costantini, P. DellAcqua, G. Lanzarone135
 Languages and Applications II 
  Logic Meta-Programming Facilities in 'Log / I. Cervesato, G.F. Rossi148
  The Pandora Deadlock Handler Metalevel Relation / R. Bahgat162
  Object-Oriented Programming in Godel: An Experiment / K. Benkerimi, P.M. Hill177
 Logical Foundations 
  A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation / D. De Schreye, D. Martens192
  A Complete Resolution Method for Logical Meta-Programming Languages / H. Christiansen205
  Model Theoretic Semantics for Demo / P. Bonatti220
  Hierarchical Meta-Logics: Intuitions, Proof-Theory, and Semantics / F. Giunchiglia, L. Serafini, A. Simpson235
 Transformation and Analysis I 
  Negation and Control in Automatically Generated Logic Programs / G.A. Wiggins250
  Transforming Normal Programs by Replacement / A. Bossi, N. Cocco, S. Etalle265
 Transformation and Analysis II 
  Meta-Programming for Reordering Literals in Deductive Databases / J.L. Traff, S.D. Prestwich280
  Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs / M. Bruynooghe, G. Janssens294
  CLP(Q) for Proving Interargument Relations / F. Mesnard, J.-G. Ganascia308
 Knowledge Representation 
  Representation of Fragmentary Multilayered Knowledge / A. Hamfelt, A. Hansson321
  Metaprograms for Change, Assumptions, Objects, and Inheritance / J. Grabowski336
 Author Index353
Description xii, 351 p. : ill. ; 25 cm
Series Lecture notes in computer science ; 649
Lecture notes in computer science ; 649
Note Includes index
Subjects Logic programming -- Congresses
Alt Name Pettorossi, A. (Alberto), 1947-
LC NO QA76.73 .I567 1992
Dewey No 005.13/1 20
OCLC # 27035355
ISBN 3540562826 (alk. paper)
0387562826 (alk. paper : U.S.)
LCCN 92041020

Bookmark this record as <https://olc1.ohiolink.edu:443/record=b12416286>


Frequently Asked Questions about the OhioLINK Library Catalog and online borrowing.

If you have a disability and experience difficulty accessing this content, please contact the OH-TECH Digital Accessibility Team at https://ohiolink.edu/content/accessibility.