Meta Programming in Logic

This volume contains lectures and papers delivered at Meta 92, the Third International Workshop on Metaprogramming in Logic, held in Uppsala, Sweden,June 1992.

Meta Programming in Logic

Author: Alberto Pettorossi

Publisher: Springer Science & Business Media

ISBN: 9783540562825

Page: 351

View: 246

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.

Logic Program Synthesis and Transformation Meta Programming in Logic

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994.

Logic Program Synthesis and Transformation   Meta Programming in Logic

Author: Laurent Fribourg

Publisher: Springer Science & Business Media

ISBN: 9783540587927

Page: 458

View: 106

This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming (META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding, partial deduction, proofs as programs, inductive logic programming, automated program verification, specification and programming methodologies.

Meta Logics and Logic Programming

The 12 contributions, many written especially for this book, explore the foundations, language design issues, and applications of meta-programming in logic programming.

Meta Logics and Logic Programming

Author: Krzysztof Apt

Publisher: Mit Press

ISBN: 9780262511681

Page: 350

View: 287

Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming presents original research on an important extension of logic programming that makes it more amenable for knowledge representation and programming in general. The 12 contributions, many written especially for this book, explore the foundations, language design issues, and applications of meta-programming in logic programming.Meta-programming -- the process of writing computer programs that can manipulate representations of other programs -- has been key both in the foundations of computer science and in its practical developments. Examples of meta-programs include compilers, interpreters, program analyzers, and partial evaluators. The choice of logic programming as a basis for meta-programming offers several practical and theoretical advantages: among them, the possibility of tackling critical foundational problems of meta-programming within a strong theoretical framework, and the surprising ease of programming. The usual framework of logic programming (and more generally first-order logic), however, has to be modified and extended to formally deal with meta-programs, extensions the editors call "meta-logics." Along with an exploration of meta-programming in logic programming, the definitions, formal properties, and use of these extensions constitute one of the book's main themes.The first part of the book, Foundations, focuses on the representation problem -- how object programs are represented within meta-programs. The second part, Language Support for Meta-Logics, is concerned with language extensions that make meta-programming easier and more elegant. The third part, Meta-Logics for Knowledge Management, deals with the use of meta-logic for advanced knowledge representation purposes.

Meta programming in Logic Programming

Chapter 24 A Meta - Logic for Functional Programming John Hannan Dale Miller
The University of Pennsylvania Abstract We define a meta - logic to serve as a
formal framework in which meta - programming tasks for a simple functional ...

Meta programming in Logic Programming

Author: Harvey Abramson

Publisher:

ISBN:

Page: 544

View: 274

Meta-programs, which treat other computer programs as data, include compilers, editors, simulators, debuggers, and program transformers. Because of the wide ranging applications, meta-programming has become a subject of considerable practical and theoretical interest. This book provides the first comprehensive view of topics in the theory and application of meta-programming, covering problems of representation and of soundness and correctness of interpreters, analysis and evaluation of meta-logic programs, and applications to sophisticated knowledge-based systems.Harvey Abramson is Reader in Computer Science at the University of Bristol, England; M. H. Rogers is Professor of Computer Science, also at the University of Bristol. Meta-Programming in Logic Programming is in the series Logic Programming Research Reports and Notes, edited by Ehud Shapiro.

Logic Programming

Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism.

Logic Programming

Author: Leon Sterling

Publisher: MIT Press

ISBN: 9780262691772

Page: 834

View: 216

Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. 13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs. Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications. Logic Programming series, Research Reports and Notes

Principles of Knowledge Representation and Reasoning

METATEM : A Framework for Programming in Temporal Logic . In REX Workshop
on Stepwise Refinement of Distributed Sys - tems : Models , Formalisms ,
Correctness ( LNCS Volume 430 ) , pages 94 – 129 , Mook , Netherlands .
Springer ...

Principles of Knowledge Representation and Reasoning

Author: James Allen

Publisher: Morgan Kaufmann Pub

ISBN:

Page: 602

View: 461

The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logical specifications of reasoning behaviors and representation formalisms, comparative analysis of competing algorithms and formalisms, and ana

Logic for Programming Artificial Intelligence and Reasoning

was shown to be capable of homogeneous meta-programming. Since then,
MetaOCaml [18] (a descendant of MetaML), Template Haskell [16] (a pure
compile-time meta- programming language) and Converge [19] (inspired by
Template ...

Logic for Programming  Artificial Intelligence  and Reasoning

Author: Edmund M. Clarke

Publisher: Springer Science & Business Media

ISBN: 3642175104

Page: 517

View: 861

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

Logic for Programming Artificial Intelligence and Reasoning

In particular, in the work on compositionality of termination proofs [3], level
mappings for an object program cannot easily be reused for the meta-program.
Despite the intensive research on meta-programming inside the logic
programming ...

Logic for Programming  Artificial Intelligence  and Reasoning

Author: Robert Nieuwenhuis

Publisher: Springer Science & Business Media

ISBN: 3540429573

Page: 741

View: 536

This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001), held on December 3-7, 2001, at the University of Havana (Cuba), together with the Second International Workshop on Implementation of Logics. There were 112 submissions, of which 19 belonged to the special subm- sion category of experimental papers, intended to describe implementations or comparisons of systems, or experiments with systems. Each submission was - viewed by at least three program committee members and an electronic program committee meeting was held via the Internet. The high number of submissions caused a large amount of work, and we are very grateful to the other 31 PC members for their e?ciency and for the quality of their reviews and discussions. Finally, the committee decided to accept 40papers in the theoretical ca- gory, and 9 experimental papers. In addition to the refereed papers, this volume contains an extended abstract of the invited talk by Frank Wolter. Two other invited lectures were given by Matthias Baaz and Manuel Hermenegildo. Apart from the program committee, we would also like to thank the other people who made LPAR 2001 possible: the additional referees; the Local Arran- ` gements Chair Luciano Garc ́?a; Andr ́es Navarro and Oscar Guell, ̈ who ran the internet-based submission software and the program committee discussion so- ware at the LSI Department lab in Barcelona; and Bill McCune, whose program committee management software was used.

Logic Programming

( 9 ) Costantini , S . and Lanzarone , G . A . , A Metalogic Programming Language
, in : G . Levi and M . Martelli ( eds . ) , Proc . 6th Intl . Conf . on Logic
Programming , MIT Press , Cambridge , Mass . , 1989 . [ 10 ] Costantini , S . and
Lanzarone ...

Logic Programming

Author: Maurice Bruynooghe

Publisher: Mit Press

ISBN:

Page: 690

View: 968

November 13-17, 1994, Ithaca, New York The 1994 International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. Theses tutorials, invited lectures, and refereed papers cover all aspects of logic programming including constraints, concurrency and parallelism, deductive databases, implementations and architectures, metaprogramming and higher-order programming, proof theory, and semantic analysis. Logic Programming series, Research Reports and Notes

Mathematical Reviews

swer set semantics developed in [ M . Gelfond and V . Lifschitz , in Logic
programming ( Jerusalem , 1990 ) , 579 – 597 ... have from the answer sets of
positive and negative examples are realized important meta - programming
applications but ...

Mathematical Reviews

Author:

Publisher:

ISBN:

Page:

View: 263

Logic Programming and Knowledge Engineering

7.8 Meta - programming A property exclusive to symbolic processing languages
is their ability to manipulate their own programs to create more general
programming schemes , and Prolog is no exception . Logic Programming has two
aspects ...

Logic Programming and Knowledge Engineering

Author: Tore Amble

Publisher: Addison Wesley Publishing Company

ISBN:

Page: 281

View: 459

This book is written for students and professionals with an interest in engineering, who need a theoretical as well as practical introduction to logic programming and how it can be used to build knowledge-based systems. It is suitable for an undergraduate course at third of fourth year level. For complete understanding, it requires two years of programming experience with some knowledge of Pascal, but parts of the book should be comprehensible to a wider readership.

Logic Programming

Unification and Constraint Solution for Meta - Programming : an Overview . Proc .
of the Second Workshop on Meta - Programming in Logic , pp . 367–380 , ( ed . M
. Bruynooghe ) , K.U. Leuven , 1990 . ( 12 ) J. Staples , P.J. Robinson and G.R. ...

Logic Programming

Author: Kōichi Furukawa

Publisher: Mit Press

ISBN:

Page: 952

View: 499

June 25-28, 1991 Paris, France Topics covered: Theory and Foundations. Applications. Implementation, Machines, and Architectures. Parallel Execution. Programming Methodology and Tools. Logical Languages for Parallelism. Relations with Software Engineering. Relations with Deductive Databases. Relations with Artificial Intelligence. Extensions, Constraints.

Logic Programming

In proc . of 4th International Conference on Logic Programming , Melbourne ,
Australia , 1987 . [ Bacha87b ] Bacha , H. ( 1987 ) : MetaProlog User Manual .
Logic Programming Research Group Technical Report TR87-10 . School of
Computer ...

Logic Programming

Author: Robert Kowalski

Publisher: MIT Press (MA)

ISBN:

Page: 1690

View: 156

These two volumes collect papers presented at the first joint meeting of the two principal logic programming conferences, held in August of 1988. The more than fifty contributions cover all aspects of the field, including applications (particularly those that exploit the unique character of logic programming), the role of logic programming in artificial intelligence, deductive databases, relations to other computational paradigms, language issues, methodology, implementations on sequential and parallel architectures, and theory.Logic Programming is included in the Logic Programming series Research Reports and Notes, edited by Ehud Shapiro.

Thus we can connect a logic grammar with an existing semantic theory for natural
language by simulating the semantics as metaprogram . Meta - programming in
logic programming is originally due to Bowen and Kowalski ( 1982 ) , also see ...

Author:

Publisher:

ISBN:

Page:

View: 525

Auditory Perception of Sound Sources

Typically , knowledge base systems based on logic are implemented in a logic
programming language such as Prolog . Unfortunately ... A meta - program is a
program which uses another program ( the object program ) as data . For
example ...

Auditory Perception of Sound Sources

Author: Wilfried Brauer

Publisher: Springer

ISBN:

Page: 544

View: 325

This volume covers the higher-level auditory processes that are part of animal perception. The chapters describe how humans and other animals perceive the sounds that they receive from the many sound sources existing in the world. This book provides an overview of areas of current research involved with understanding how sound-source determination processes operate. It focuses on psychophysics and perception as well as being relevant to basic auditory research.