Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic programming. --- Computer programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. The goal of this book is to help fill in the void in the literature with state-of-the-art surveys on key aspects of LP. Much attention was paid to making these surveys accessible to researchers, practitioners, and graduate students alike.

Logic programming. --- Declarative programming.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

A complete history and theory of internet daemons brings these little-known—but very consequential—programs into the spotlightIn Internet Daemons, Fenwick McKelvey weaves together history, theory, and policy to give a full account of where daemons come from and how they influence our lives—including their role in hot-button issues like network neutrality. He asks important questions about how much control is being handed over to these automated, autonomous programs, and the consequences for transparency and oversight. We’re used to talking about how tech giants like Google, Facebook, and Amazon rule the internet, but what about daemons? Ubiquitous programs that have colonized the Net’s infrastructure—as well as the devices we use to access it—daemons are little known. Fenwick McKelvey weaves together history, theory, and policy to give a full account of where daemons come from and how they influence our lives—including their role in hot-button issues like network neutrality.Going back to Victorian times and the popular thought experiment Maxwell’s Demon, McKelvey charts how daemons evolved from concept to reality, eventually blossoming into the pandaemonium of code-based creatures that today orchestrates our internet. Digging into real-life examples like sluggish connection speeds, Comcast’s efforts to control peer-to-peer networking, and Pirate Bay’s attempts to elude daemonic control (and skirt copyright), McKelvey shows how daemons have been central to the internet, greatly influencing everyday users. Internet Daemons asks important questions about how much control is being handed over to these automated, autonomous programs, and the consequences for transparency and oversight. (Provided by publisher)

Internet programming. --- Computer programming --- Internet programming

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Microprocessors --- Programming.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer programming.