Logic Programming
Springer Berlin (Verlag)
978-3-540-55460-8 (ISBN)
Real-time memory management for Prolog.- A process semantics of logic programs.- Logical operational semantics of Parlog Part II: Or-Parallelism.- WAM algebras-A mathematical study of implementation Part 2.- Abdugtive systems for non-monotonig reasoning.- Properties of algorithmic operators.- Deep logic program transformation using abstract interpretation.- Objects in a logic programming framework.- Integrity verification in knowledge bases.- On procedural semantics of metalevel negation.- Probabilistic logic programs and their semantics.- Implementation of Prolog as binary definite programs.- Prolog semantics for measuring space consumption.- Or-parallel Prolog with heuristic task distribution.- A WAM compilation scheme.- Safe positive induction in the programming logic TK.- Wam specification for parallel execution on SIMD computer.- On abstracting the procedural behaviour of logic programs.- Treating enhanced entity relationship models in a declarative style.- Processing of ground regular terms in Prolog.- Compiling Flang.- FIDO: Finite domain consistency techniques in logic programming.- A constructive logic approach to database theory.- Abstract syntax and logic programming.- Deduction search with generalized terms.- A simple transformation from Prolog-written metalevel interpreters into compilers and its implementation.- Free deduction: An analysis of "Computations" in classical logic.- Gentzen-type calculi for modal logic S4 with barcan formula.- Logical foundation for logic programming based on first order linear temporal logic.- Logic Programming with Pseudo-Resolution.- Brave: An OR-parallel dialect of Prolog and its application to artificial intelligence.- A declarative debugging environment for DATALOG.- A sequent calculus for a first order lineartemporal logic with explicit time.- A logical-based language for feature specification and transmission control.- Program transformations and WAM-support for the compilation of definite metaprograms.- Some considerations on the logic PFD.- Logic programming with bounded quantifiers.
Erscheint lt. Verlag | 6.5.1992 |
---|---|
Reihe/Serie | Lecture Notes in Artificial Intelligence | Lecture Notes in Computer Science |
Zusatzinfo | XI, 521 p. |
Verlagsort | Berlin |
Sprache | englisch |
Maße | 216 x 279 mm |
Gewicht | 795 g |
Themenwelt | Mathematik / Informatik ► Informatik |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Schlagworte | Automat • automated reasoning • Automated Theorem Proving • Deductive Databases • Deduktive Datenbanken • Hardcover, Softcover / Informatik, EDV/Informatik • Logic • Logic Programming • Mathematical Logic • Nichtklassische Logik (EDV) • Non-classiccal Logics • Programmierung (EDV) • PROLOG • Prolog-Programming • Theorembeweisen (Kybern.) • theorem proving |
ISBN-10 | 3-540-55460-2 / 3540554602 |
ISBN-13 | 978-3-540-55460-8 / 9783540554608 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich