Foundations Of Equational Logic Programming LNAI 353(1st Edition)
Authors:
Steffen Holldobler
In Stock
Include with your book
Free shipping: April 06, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 354051533X, 978-3540515333
Book publisher: Springer
Foundations Of Equational Logic Programming LNAI 353 1st Edition Summary: 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.
Customers also bought these books
Cases And Materials On Constitutional Law Themes For The ConstitutionS Third Century - 6th Edition
Daniel Farber
ISBN: 1634607643, 9781634607643
$0 $44.00Frequently Bought Together
Statistics Concepts And Controversies - 10th Edition
David S Moore
ISBN: 1319109020, 978-1319109028
$0 $122.99
Arnuity Ellipta Drug Profile 2024 Arnuity Ellipta Drug Patents Fda Exclusivity Litigation Drug Prices - 1st Edition
Drugpatentwatch
ISBN: B0CRZ1WLW2, 979-8875582448
$0 $249.00
Introduction To Modern Climate Change - 3rd Edition
Andrew E. Dessler
ISBN: 1108840183, 9781108840187
$0 $190.98
Introduction to Financial Accounting - 11th edition
Charles Horngren
ISBN: 978-0133251111, 013325111X, 0133251039, 978-0133251036
$0 $339.99
A Grief Like No Other Surviving The Violent Death Of Someone You Love - 1st Edition
Kathleen O'Hara
ISBN: 1569242976, 978-1569242971
$0 $6.50
American Constitutional Law Powers And Liberties - 3rd Edition
Calvin R. Massey
ISBN: 0735578567, 9780735578562
$0 $46.00
Principles And Practice Of Constraint Programming CP 2004 10th International Conference CP 2004 Toronto Canada September 27 October 2004 Proceedings LNCS 3258 - 1st Edition
Mark Wallace
ISBN: 3540232419, 978-3540232414
$0 $88.98Top Reviews for Books
