This book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018.The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model c...

This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an endowed chair in Information Science and Technology at the University of New Mexico. In 2007 he became the founding director of the IMDEA Software Institute, where he is now a Distinguished Profes...

Blasting out of the brilliant Max Meow graphic novel series, this is an action-packed, epic space adventure where the laughs are cosmic, the action is stellar, and adventures are out of this world!Meet the ultimate group of galactic misfits: the adventurous and goofy Rex; his robot First Mate, Spud; the banana-like navigator Lt. Peele; an adorable Shark-headed Ensign called Trog; and the mysterious rabbit scientist, Dr. B - who must band together to protect the uni...

**A USA TODAY Bestseller!Meet a secret superhero with CAT-ITUDE--Max Meow, Cat Crusader--in this purr-fectly awesome, hiss-sterically funny graphic novel series just right for fans of Dog Man and InvestiGators!**Max is just a regular cat in Kittyopolis, trying to make it big as a podcaster UNTIL he accidentally takes a bite of an RADIOACTIVE SPACE MEATBALL at his best friend Mindy's SECRET LAB. Then before you can say MEOWZA, Max becomes...The CAT CRUSADER! Being a super he...

Kittyopolis is in chaos! Pancakes are turning monstrous and FLIPPING out. Mindy’s inventing in her sleep! And a bunch of Max’s old foes are organizing themselves into a Legion of Nasty to put our favorite feline on PERMANENT PAWSE.Luckily, Max’s pal Rex Rocket, Cosmic Weiner Dog, is here to help. But will their combined efforts be enough to clean up such a massive mess?! Will Agent M be able to stay a good guy and resist joining the Legion of Nasty?! Will breakfast ever be the same...

Welcome to Kittyopolis! Where cats rule and science is cool! Book 5 in the fur-ociously funny, secret super-hero graphic novel series with serious cat-itdue, for fans of Dog Man and Bunny vs Monkey.'Funny, furry and fantastic!' - Judd Winick, Author of the Hilo seriesBad Guys are after Kittyopolis's bee - can Max and Mindy stop them, BEE-fore it's too late?!Buzzzz off bad guys! There's a new villain in Kittyopolis: Dr. ZomBEE! And he has it in for th...

**"Max Meow's super heroics will have kids meow-ling with laughter!" --John Patrick Green, creator of the InvestiGators seriesCalling all GRAPHIC NOVEL FANS! Do you like DONUTS? Do you crave DANGER? Then Max Meow-the graphic novel series with CAT-ITUDE--is PURR-fect for you! Just right for fans of Dogman, Bad Guys, InvestiGators and anyone who LOVES TO LAUGH!**Meowza! Max was just getting used to being a SECRET SUPER HERO when his and his best friend Mindy's evil look-alike...

Welcome to Kittyopolis! Where cats rule and science is cool! Book 3 in the fur-ociously funny, secret super-hero graphic novel series with serious cat-itdue, for fans of Dog Man and Bunny vs Monkey.'Funny, furry and fantastic!' - Judd Winick, Author of the Hilo seriesMax Meow is BACK and up against PUG invaders from OUTER SPACE!Meowza! Space pugs have landed in Kittyopolis and they're after the SPACE MEATBALL that gave Max his powers! Can Max and Mi...

Welcome to Kittyopolis! Where cats rule and science is cool! Book 4 in the fur-ociously funny, secret super-hero graphic novel series with serious cat-itdue, for fans of Dog Man and Bunny vs Monkey.'Funny, furry and fantastic!' - Judd Winick, Author of the Hilo seriesIt's a cat! It's a superhero! It's a . . . Taco Time Machine!?!?Uh-oh! Mindy's dad, Professor Microbe, is lost in the time space continuum! It's up to Max and Mindy to save him! But tim...

From the bestselling creator of Max Meow comes Rex Rocket, the hilarous graphic novel series starring a not-so-bright dachshund on a mission to save the universe…even if he has to make everything worse to do it! In this volume, Rex helps his anxious shark friend Trog compete in a gauntlet of outrageous (and dangerous?!) games that will decide the next ruler of Sharktopia, the roughest and toughest planet in the universe!Rex Rocket isn't very strong...or organized.....

AI Through the Experts’ Eyes reveals the humanity behind artificial intelligence. John R. Gallagher foregrounds practitioners’ stories and the real-life culture from which these disruptive technologies emerge. Representing reality to computers is at the heart of AI, and Gallagher spotlights the challenges of doing so under the combined pressures of the break-neck pace of these technologies’ growth and ever-present hype, both external and internal. Drawing on more than 100 intervie...

Update Culture and the Afterlife of Digital Writing explores “neglected circulatory writing processes” to better understand why and how digital writers compose, revise, and deliver arguments that undergo sometimes constant revision. John R. Gallagher also looks at how digital writers respond to comments, develop a brand, and evolve their arguments—all post-publication.With the advent of easy-to-use websites, ordinary people have become internet writers, disseminating their...