Higher order logics, long considered by many to be an esoteric subject, are increasingly
recognized for their foundational importance and practical usefulness, notably in Theoretical …

抄録< jats: p> This book develops the theory of typed feature structures, a data structure that
generalizes both first-order terms and feature structures of unification-based grammars to …

Abstract interpretation is a theory of semantics approximation that is used for the
construction of semantic-based program analysis algorithms (sometimes called “data flow …

We introduce Mercury, a new purely declarative logic programming language designed to
provide the support that groups of application programmers need when building large …

Artificial Intelligence and the Design of Expert Systems | Guide books skip to main content
ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse About …

Formal systems that describe computations over syntactic structures occur frequently in
computer science. Logic programming provides a natural framework for encoding and …

This book gives a tutorial overview of Gödel, presents example programs, provides a formal
definition of the syntax and semantics of the language, and covers background material on …

We present some reasons why type inference with polymorphic recursion appears to be
practical despite its undecidability. This also sheds some light on the observed practicality of …

Both logic programming in general and Prolog in particular have a long and fascinating
history, intermingled with that of many disciplines they inherited from or catalyzed. A large …

Starting from a denotational semantics of the eager untyped lambda-calculus with explicit
runtime errors, the standard collecting semantics is defined as specifying the strongest …