Lyt når som helst, hvor som helst

Nyd den ubegrænsede adgang til tusindvis af spændende e- og lydbøger - helt gratis

  • Lyt og læs så meget du har lyst til
  • Opdag et kæmpe bibliotek fyldt med fortællinger
  • Eksklusive titler + Mofibo Originals
  • Opsig når som helst
Start tilbuddet
DK - Details page - Device banner - 894x1036

Declarative Logic Programming: Theory, Systems, and Applications

1 Anmeldelser

5

Serier

1 of 65

Sprog
Engelsk
Format
Kategori

Fakta

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.Warren's fundamental contributions to Computer Science and the area of Logic Programming in particular.

Logic Programming (LP) is at the nexus of Knowledge Representation, Artificial Intelligence, Mathematical Logic, Databases, and Programming Languages. It is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. Logic programs are more declarative in the sense that they strive to be logical specifications of "what" to do rather than "how" to do it, and thus they are high-level and easier to understand and maintain. Yet, without being given an actual algorithm, LP systems implement the logical specifications automatically.

Several books cover the basics of LP but focus mostly on the Prolog language with its incomplete control strategy and non-logical features. At the same time, there is generally a lack of accessible yet comprehensive collections of articles covering the key aspects in declarative LP. These aspects include, among others, well-founded vs. stable model semantics for negation, constraints, object-oriented LP, updates, probabilistic LP, and evaluation methods, including top-down vs. bottom-up, and tabling.

For systems, the situation is even less satisfactory, lacking accessible literature that can help train the new crop of developers, practitioners, and researchers. There are a few guides onWarren’s Abstract Machine (WAM), which underlies most implementations of Prolog, but very little exists on what is needed for constructing a state-of-the-art declarative LP inference engine. Contrast this with the literature on, say, Compilers, where one can first study a book on the general principles and algorithms and then dive in the particulars of a specific compiler. Such resources greatly facilitate the ability to start making meaningful contributions quickly. There is also a dearth of articles about systems that support truly declarative languages, especially those that tie into first-order logic, mathematical programming, and constraint solving.

LP helps solve challenging problems in a wide range of application areas, but in-depth analysis of their connection with LP language abstractions and LP implementation methods is lacking. Also, rare are surveys of challenging application areas of LP, such as Bioinformatics, Natural Language Processing, Verification, and Planning.

The goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included.

© 2018 ACM Books (E-bog): 9781970001983

Release date

E-bog: 19. september 2018

Tags

    Andre kan også lide...

    1. Middle Tech: Software Work and the Culture of Good Enough Paula Bialski
    2. The Autonomous Revolution: Reclaiming the Future We've Sold to Machines William H. Davidow
    3. What Makes Us Smart: The Computational Logic of Human Cognition Samuel J. Gershman
    4. Kickstart Artificial Intelligence Fundamentals Dr. S.Mahesh Anand
    5. Mastering AI for Healthcare Nilashis Roy
    6. Naive Pessimists : Meet the naysayers who thrive on doom, hog the spotlight — and get almost everything wrong Ulrika Gerth
    7. The Future of Us: The Science of What We'll Eat, Where We'll Live, and Who We'll Be Jay Ingram
    8. Buddhism in a Value-changing Society P. D. Premasiri
    9. Mathletics: How Gamblers, Managers, and Fans Use Mathematics in Sports, Second Edition Wayne L. Winston
    10. When People Matter: the Federal Express Story Roger Frock
    11. Hidden Worldviews: Eight Cultural Stories That Shape Our Lives Steve Wilkens
    12. At this college, academic excellence requires passion for the social good PBS NewsHour
    13. DNA Is Not Destiny: The Remarkable, Completely Misunderstood Relationship between You and Your Genes Steven J. Heine
    14. Survival of the Virtuous: The Evolution of Moral Psychology Dennis L. Krebs
    15. Made to Measure: New Materials for the 21st Century Philip De Greff Ball
    16. The Unpredictable Species: What Makes Humans Unique Philip Lieberman
    17. Searcher Reaches Land's Limits, Volume I: A Commentary on Revelations of Mind Richard Dixey
    18. The 50 Greatest Engineers: The People Whose Innovations Have Shaped Our World William Potter
    19. Astrotopia: The Dangerous Religion of the Corporate Space Race Mary-Jane Rubenstein
    20. The Planet You Inherit: Letters to My Grandchildren when Uncertainty's a Sure Thing Larry L. Rasmussen
    21. Connections: An Introduction to the Economics of Networks Sanjeev Goyal
    22. How the World Sees America Mark Hertsgaard
    23. Benford's Law: Theory and Applications Steven J. Miller
    24. Navigate Unseen Opportunities: Discover Growth in Unexpected Places Caleb David
    25. Nonplussed!: Mathematical Proof of Implausible Ideas Julian Havil
    26. Anxiety in Relationship: How Anxiety Affects Relationships and Strategies for Improvement Matthew Allen
    27. Christmas - Philosophy for Everyone: Better Than a Lump of Coal Stephen Nissenbaum
    28. The Logic of Social Science James Mahoney
    29. Fighting for Status: Hierarchy and Conflict in World Politics Jonathan Renshon
    30. Not Working: Where Have All the Good Jobs Gone? David G. Blanchflower
    31. Information: A Historical Companion Paul Duguid
    32. Drama Box and the Social Theatre of Singapore: Cultural Intervention and Artistic Autonomy, 1990–2006 How Wee Ng
    33. Votes, Vetoes, and the Political Economy of International Trade Agreements Helen V. Milner
    34. The American Leadership Tradition: Moral Vision from Washington to Clinton Marvin Olasky
    35. On Purpose Michael Ruse
    36. Patterns Everywhere Lisa Varchol Perron
    37. The Gifts of Athena: Historical Origins of the Knowledge Economy Joel Mokyr
    38. The Anarchist Movement: A historical Overview of Anarchist Theory and Practice Arlo Holders
    39. Viral Churches: Helping Church Planters Become Movement Makers Warren Bird
    40. Culture and Demography in Organizations J. Richard Harrison
    41. One Nation Undecided: Clear Thinking about Five Hard Issues That Divide Us Peter H. Schuck
    42. Outside Ethics Raymond Geuss
    43. Summary of William H. McRaven's Sea Stories IRB Media
    44. Rules of Reason: Making and Evaluating Claims Bo Bennett, PhD
    45. The Invincible Family: Why the Global Campaign to Crush Motherhood and Fatherhood Can't Win Kimberly Ells

    Vælg dit abonnement

    • Over 600.000 titler

    • Download og nyd titler offline

    • Eksklusive titler + Mofibo Originals

    • Børnevenligt miljø (Kids Mode)

    • Det er nemt at opsige når som helst

    Flex

    For dig som vil prøve Mofibo.

    89 kr. /måned
    • 1 konto

    • 20 timer/måned

    • Gem op til 100 ubrugte timer

    • Eksklusivt indhold hver uge

    • Fri lytning til podcasts

    • Ingen binding

    Prøv gratis
    Den mest populære

    Premium

    For dig som lytter og læser ofte.

    129 kr. /måned
    • 1 konto

    • 100 timer/måned

    • Eksklusivt indhold hver uge

    • Fri lytning til podcasts

    • Ingen binding

    Start tilbuddet

    Unlimited

    For dig som lytter og læser ubegrænset.

    149 kr. /måned
    • 1 konto

    • Ubegrænset adgang

    • Eksklusivt indhold hver uge

    • Fri lytning til podcasts

    • Ingen binding

    Start tilbuddet

    Family

    For dig som ønsker at dele historier med familien.

    Fra 179 kr. /måned
    • 2-6 konti

    • 100 timer/måned pr. konto

    • Fri lytning til podcasts

    • Kun 39 kr. pr. ekstra konto

    • Ingen binding

    2 konti

    179 kr. /måned
    Prøv gratis