Mathematical Aspects of Logic Programming Semantics by Pascal Hitzler & Anthony Seda

Mathematical Aspects of Logic Programming Semantics

By

  • Genre Programming
  • Publisher CRC Press
  • Released
  • Size 5.99 MB
  • Length 305 Pages

Description

Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks.

More Pascal Hitzler & Anthony Seda Books

  • Semantic Web

    Semantic Web

    Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph & York Sure

    System Administration

  • On the Move to Meaningful Internet Systems: OTM 2011

    On the Move to Meaningful Internet Systems: OTM 2011

    Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler & Mukesh K. Mohania

    Network

  • The Semantic Web

    The Semantic Web

    Pascal Hitzler, Miriam Fernández, Krzysztof Janowicz, Amrapali Zaveri, Alasdair J.G. Gray, Vanessa Lopez, Armin Haller & Karl Hammar

    System Administration

  • On the Move to Meaningful Internet Systems: OTM 2011

    On the Move to Meaningful Internet Systems: OTM 2011

    Robert Meersman, Tharam Dillon, Pilar Herrero, Akhil Kumar, Manfred Reichert, Li Qing, Beng Chin Ooi, Ernesto Damiani, Douglas C. Schmidt, Jules White, Manfred Hauswirth, Pascal Hitzler & Mukesh K. Mohania

    Network

  • Mathematical Aspects of Logic Programming Semantics

    Mathematical Aspects of Logic Programming Semantics

    Pascal Hitzler & Anthony Seda

    Programming

  • The Semantic Web

    The Semantic Web

    Aldo Gangemi, Roberto Navigli, María-Esther Vidal, Pascal Hitzler, Raphael Troncy, Laura Hollink, Anna Tordai & Mehwish Alam

    System Administration

  • Mobile Robots: The Evolutionary Approach

    Mobile Robots: The Evolutionary Approach

    Barbara Hammer & Pascal Hitzler

    Mathematics

  • The Semantic Web

    The Semantic Web

    Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler & Olaf Hartig

    System Administration

  • The Semantic Web

    The Semantic Web

    Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler & Olaf Hartig

    System Administration

  • The Semantic Web: ESWC 2019 Satellite Events

    The Semantic Web: ESWC 2019 Satellite Events

    Pascal Hitzler, Sabrina Kirrane, Olaf Hartig, Victor de Boer, María-Esther Vidal, Maria Maleshkova, Stefan Schlobach, Karl Hammar, Nelia Lasierra, Steffen Stadtmüller, Katja Hose & Ruben Verborgh

    System Administration