Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002786962/catalog> ?p ?o. }

• catalog abstract ""This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden, June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs."--PUBLISHER'S WEBSITE.".
• catalog contributor b4046346.
• catalog contributor b4046347.
• catalog created "c1992.".
• catalog date "1992".
• catalog date "c1992.".
• catalog dateCopyrighted "c1992.".
• catalog description ""This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden, June 1992. The topics covered include foundations of metaprogramming in logic, proposals for metaprogramming languages, techniques for knowledgerepresentation and belief systems, and program transformation and analysis in logic. Particular topics include belief revision systems, intensionaldeduction, belief systems and metaprogramming, principles of partial deduction, termination in logic programs, semantics of the "vanilla" metainterpreter, a complete resolution method for metaprogramming, semanticsof "demo", hierarchical metalogics, the naming relation in metalevel systems, modules, reflective agents, compiler optimizations, metalogic and object-oriented facilities, parallel logic languages, the use of metaprogramming for legal reasoning, representing objects and inheritance, transformation of normal programs, negation in automatically generated logic programs, reordering of literals in deductive databases, abstract interpretations, and interarguments in constraint logic programs."--PUBLISHER'S WEBSITE.".
• catalog description "CLP(Q) for Proving Interargument Relations / F. Mesnard and J.-G. Ganascia -- Knowledge Representation. Representation of Fragmentary Multilayered Knowledge / A. Hamfelt and A. Hansson. Metaprograms for Change, Assumptions, Objects, and Inheritance / J. Grabowski.".
• catalog description "Includes bibliographical references and index.".
• catalog description "Invited Papers. Belief Revision: A Vademecum / P. Gardenfors. Meta-Programming Through Intensional Deduction: Some Examples / L. Farinas Del Cerro and A. Herzig. An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming / K. Konolige -- Advanced Tutorials. An Introduction to Partial Deduction / J. Komorowski. Tutorial on Termination of Logic Programs / D. De Schreye and K. Verschaetse -- Languages and Applications I. Definable Naming Relations in Metalevel Systems / F. van Harmelen. Meta for Modularizing Logic Programming / A. Brogi, P. Mancarella, D. Pedreschi and F. Turini. Compiler Optimizations for Lowlevel Redundancy Elimination: An Application of Metalevel Prolog Primitives / S.K. Debray. Reflective Agents in Metalogic Programming / S. Costantini, P. DellAcqua and G. Lanzarone -- Languages and Applications II. Logic Meta-Programming Facilities in 'Log / I. Cervesato and G.F. Rossi. The Pandora Deadlock Handler Metalevel Relation / R. Bahgat.".
• catalog description "Object-Oriented Programming in Godel: An Experiment / K. Benkerimi and P.M. Hill -- Logical Foundations. A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation / D. De Schreye and D. Martens. A Complete Resolution Method for Logical Meta-Programming Languages / H. Christiansen. Model Theoretic Semantics for Demo / P. Bonatti. Hierarchical Meta-Logics: Intuitions, Proof-Theory, and Semantics / F. Giunchiglia, L. Serafini and A. Simpson -- Transformation and Analysis I. Negation and Control in Automatically Generated Logic Programs / G.A. Wiggins. Transforming Normal Programs by Replacement / A. Bossi, N. Cocco and S. Etalle -- Transformation and Analysis II. Meta-Programming for Reordering Literals in Deductive Databases / J.L. Traff and S.D. Prestwich. Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs / M. Bruynooghe and G. Janssens.".
• catalog extent "351 p. :".
• catalog identifier "0387562826 (alk. paper : U.S.)".
• catalog identifier "3540562826 (alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 649".
• catalog issued "1992".
• catalog issued "c1992.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog subject "005.13/1 20".
• catalog subject "Logic programming Congresses.".
• catalog subject "QA76.73 .I567 1993".
• catalog tableOfContents "CLP(Q) for Proving Interargument Relations / F. Mesnard and J.-G. Ganascia -- Knowledge Representation. Representation of Fragmentary Multilayered Knowledge / A. Hamfelt and A. Hansson. Metaprograms for Change, Assumptions, Objects, and Inheritance / J. Grabowski.".
• catalog tableOfContents "Invited Papers. Belief Revision: A Vademecum / P. Gardenfors. Meta-Programming Through Intensional Deduction: Some Examples / L. Farinas Del Cerro and A. Herzig. An Autoepistemic Analysis of Metalevel Reasoning in Logic Programming / K. Konolige -- Advanced Tutorials. An Introduction to Partial Deduction / J. Komorowski. Tutorial on Termination of Logic Programs / D. De Schreye and K. Verschaetse -- Languages and Applications I. Definable Naming Relations in Metalevel Systems / F. van Harmelen. Meta for Modularizing Logic Programming / A. Brogi, P. Mancarella, D. Pedreschi and F. Turini. Compiler Optimizations for Lowlevel Redundancy Elimination: An Application of Metalevel Prolog Primitives / S.K. Debray. Reflective Agents in Metalogic Programming / S. Costantini, P. DellAcqua and G. Lanzarone -- Languages and Applications II. Logic Meta-Programming Facilities in 'Log / I. Cervesato and G.F. Rossi. The Pandora Deadlock Handler Metalevel Relation / R. Bahgat.".
• catalog tableOfContents "Object-Oriented Programming in Godel: An Experiment / K. Benkerimi and P.M. Hill -- Logical Foundations. A Sensible Least Herbrand Semantics for Untyped Vanilla Meta-Programming and its Extension to a Limited Form of Amalgamation / D. De Schreye and D. Martens. A Complete Resolution Method for Logical Meta-Programming Languages / H. Christiansen. Model Theoretic Semantics for Demo / P. Bonatti. Hierarchical Meta-Logics: Intuitions, Proof-Theory, and Semantics / F. Giunchiglia, L. Serafini and A. Simpson -- Transformation and Analysis I. Negation and Control in Automatically Generated Logic Programs / G.A. Wiggins. Transforming Normal Programs by Replacement / A. Bossi, N. Cocco and S. Etalle -- Transformation and Analysis II. Meta-Programming for Reordering Literals in Deductive Databases / J.L. Traff and S.D. Prestwich. Propagation: A New Operation in a Framework for Abstract Interpretation of Logic Programs / M. Bruynooghe and G. Janssens.".
• catalog title "Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi, ed.".
• catalog type "Conference proceedings. fast".
• catalog type "text".