Search results for “[Subject: logic-design]”

• Author(s): Krzysztof R. Apt | J. W. de Bakker | J. M. Rutten • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Logic DesignThis collection of current research on logic programming languages presents results from a three-year, ESPRI...

• Author(s): Danny de Schreye • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Artificial Intelligence - GeneralIncludes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations...

• Author(s): Johan Van Benthem | Fernando R. Velazquez Quesada • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Logic DesignA comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty...

• Author(s): Krzysztof R. Apt | Franco Turini • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Intelligence (AI) & SemanticsInvestigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming ...

• Author(s): Pascal Van Hentenryck • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralConference proceedings presenting the state-of-the-art in Logic Programming.

• Author(s): Harvey Abramson | M. H. Rogers • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Artificial Intelligence - GeneralA comprehensive survey of the theory and applications of meta-programming, covering problems of representa...

• Author(s): Matthew Wizinsky • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: History & CriticismHow design can transcend the logics, structures, and subjectivities of capitalism: a framework, theoretical grounding, and practic...

• Author(s): Seb Franklin • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Social AspectsAn examination of digitality not simply as a technical substrate but also as the logical basis for reshaped concepts of labor, subjectivity, an...

• Author(s): Thomas Princen • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Public Policy - Economic PolicyWhat if modern society put a priority on the material security of its citizens and the ecological integrity of its resource ...

• Author(s): Matthias Gross • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Philosophy & Social AspectsThe relationship between ignorance and surprise and a conceptual framework for dealing with the unexpected, as seen in ecolo...

• Author(s): Colin Allen • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: LogicThe new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic Primer offers a comprehensive and rigorous introduction...

• Author(s): Alexander Bochman • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Computer ScienceA general formal theory of causal reasoning as a logical study of causal models, reasoning, and inference. In this book, Alexander Bochm...

• Author(s): Aron Vinegar • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: AestheticsA theorization of habit that emphasizes its excessive and unsettling qualities rather than its mediating, adaptive, and stabilizing functions. Subj...

• Author(s): N. J. Enfield • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Linguistics - SociolinguisticsWhat is it about humans that makes language possible, and what is it about language that makes us human? If you are reading th...