English
Deutsch
Français
简体中文
繁體中文
Categories
Study
-- IT Certification
-- Mathematics
-- Physics
Novel
Nonfiction
Health
Tutorial
Entertainment
Business
Magazine
Arts & Design
Audiobooks & Video Training
Cultures & Languages
Family & Home
Law & Politics
Lyrics & Music
Software Related
eBook Torrents
Uncategorized
Share With Friends
Archive by Date
2012-08-05
2012-08-04
2012-08-03
2012-08-02
2012-08-01
2012-07-31
2012-07-30
2012-07-29
2012-07-28
Search Tag
Newest
Additive and Cancellative Interacting Particle Systems (Lecture Notes in Mathematics) by David Griffeath (Repost)
PI and the AGM: A Study in Analytic Number Theory and Computational Complexity by Jonathan M. Borwein (Repost)
Advances in Complex Function Theory (Lecture Notes in Mathematics) by W. E. Kirwan (Repost)
Synthetic inorganic chemistry a course of laboratory and classroom study by Arthur Alphonzo Blanchard (Repost)
Invitation to Law and Society - An Introduction to the Study of Real Law
Matrix Mathematics - Theory, Facts, and Formulas, Second Edition
Mathematics Probability, Markov Chains, Queues, and Simulation - The Mathematical Basis of Performance Modeling
-Physics, Topology, Logic and Computation: A Rosetta Stone- by John C. Baez adn Mike Stay
-Quantum Physics for Scientists and Technologists- by Paul Sanghera (Repost)
Algebraic Aspects of Cryptography (Algorithms and Computation in Mathematics) by Neal Koblitz (Repost)
Mathematics Mathematical Foundations of Computer Science 2004 [Repost]
Mathematics Mathematical Logic for Computer Science (3rd edition)
Physics Democracy and Public Space: The Physical Sites of Democratic Performance
Spaces of Holomorphic Functions in the Unit Ball (Graduate Texts in Mathematics) by Kehe Zhu (Repost)
An Introduction to Ergodic Theory (Graduate Texts in Mathematics) by Peter Walters (Repost)
Statistical and Thermal Physics - With Computer Applications
Introduction to the Physics of the Earth's Interior (Cambridge Topics in Mineral Ph) by Jean Paul Poirier (Repost)
Mathematics Symmetry Theory in Molecular Physics with Mathematica: A new kind of tutorial book (Repost)
THE GNOMON WORKSHOP CREATING A 3D FIGURE STUDY BOOKWARE ISO-LZ0
Useful Links
Study Foundations of Equational Logic Programming
Posted on 2010-03-16
|  |
More Foundations of Equational Logic Programming Equations play a vital role in many fields of mathematics, computer science, and artificial intelligence. Therefore, many proposals have been made to integrate equational, functional, and logic programming. This book presents the foundations of equational logic programming. After generalizing logic programming by augmenting programs with a conditional equational theory, the author defines a unifying framework for logic programming, equation solving, universal unification, and term rewriting. Within this framework many known results are developed. In particular, a presentation of the least model and the fixpoint semantics of equational logic programs is followed by a rigorous proof of the soundness and the strong completeness of various proof techniques: SLDE-resolution, where a universal unification procedure replaces the traditional unification algorithm; linear paramodulation and special forms of it such as rewriting and narrowing; complete sets of transformations for conditional equational theories; and lazy resolution combined with any complete set of inference rules for conditional equational theories.
Rating:
2.5 out of 5 by Book123 |
| Download Links | |
| Server | Status |
|---|---|
| Direct Download Link 1 | Alive |
| Direct Download Link 2 | Alive |
| Download Link (Download) | Alive |
| Download Link (Mirror) | Alive |
|
Buy This Book at Best Price >> | |
Related Articles
 | Science/Engineering Fuzzy Equational Logic (Studies in Fuzziness and Soft Computing) Fuzzy Equational Logic (Studies in Fuzziness and Soft Computing) By Radim Belohlávek, Vilém Vychodil, Publisher: Springer Number Of Pages: 283 Publication Date: 2005-09-29 Sales Rank: 2951125 ISBN / ASIN: 3540262547 EAN: 978 ... |
 | Science/Engineering Elements of Mathematical Logic: Model Theory (Studies in Logic and the Foundations of Mathematics) G. Kreisel, J. L. Krivine, «Elements of Mathematical Logic»North-Holland Publishing Company | ISBN: 0720422655 | 1971-12 | PDF | 300 pages | 12.09 MBdownloadmirror |
 | Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming Dov M. Gabbay, C. J. Hogger , J. A. Robinson, "Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming " Oxford University Press, USA; illustrated edition (March 5, 1998) | ISBN-10: 0198537921 | 816 ... |
 | Science/Engineering Computability, Complexity, Logic (Studies in Logic and the Foundations of Mathematics) (ReUp) E. Börger , "Computability, Complexity, Logic (Studies in Logic and the Foundations of Mathematics)" North Holland 1989 | ISBN-10: 0444874062 | 592 Pages | PDF | 19,3 MB ReviewPhan Dinh DieuWith its richness and originality, this monograp ... |
 | Physics Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Artificial Intelligence 1095) Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Artificial Intelligence 1095): William McCune, R. Padmanabhan Springer | ISBN: 3540613986 | 1996-01-15 | PDF (OCR) | 231 pages | 8.52 Mb This monograph is the resul ... |
 | Fuzzy Equational Logic Radim Belohlávek, Vilem Vychodil, «Fuzzy Equational Logic»Springer | ISBN: 3540262547 | 2004 | PDF | 283 pages | 3.03 MBThe present book deals with algebras, congruences, morphisms, reasoning about identities, classes of algebras and the ... |
Comments (0)
