Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002973680/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract ""This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions."--PUBLISHER'S WEBSITE.".
- catalog contributor b4317457.
- catalog contributor b4317458.
- catalog contributor b4317459.
- catalog created "c1993.".
- catalog date "1993".
- catalog date "c1993.".
- catalog dateCopyrighted "c1993.".
- catalog description ""This book contains papers which investigate how to extend logic programming toward the artificial intelligence and software engineering areas, covering both theoretical and practical aspects. Some papers investigate topics such as abductive reasoning and negation. Some works discuss how to enhance the expressive power of logic programming by introducing constraints, sets, and integration with functional programming. Other papers deal with the structuring of knowledge into modules, taxonomies, and objects, withthe aim of extending logic programming toward software engineering applications. A section is devoted to papers concentrating on proof theory and inspired by Gentzen-style sequent or natural deduction systems. Topics such as concurrency are considered to enhance the expressive power of logic languages. Finally, some papers mainly concernimplementation techniques for some of these logic programming extensions."--PUBLISHER'S WEBSITE.".
- catalog description "Includes bibliographical references.".
- catalog extent "viii, 417 p. :".
- catalog hasFormat "Extensions of logic programming.".
- catalog identifier "0387564543 (New York : acid-free paper)".
- catalog identifier "3540564543 (Berlin : acid-free paper)".
- catalog isFormatOf "Extensions of logic programming.".
- catalog isPartOf "Lecture notes in computer science ; 660. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 660.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1993".
- catalog issued "c1993.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Extensions of logic programming.".
- catalog subject "005.1 20".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.63 .E47 1992".
- catalog title "Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings / E. Lamma, P. Mello, eds.".
- catalog type "Conference proceedings. fast".
- catalog type "text".