Mathematical Aspects of Logic Programming Semantics.Material type: TextSeries: eBooks on DemandChapman & Hall/CRC Studies in Informatics Series: Publisher: Baton Rouge : CRC Press, 2016Copyright date: ©2010Edition: 1st edDescription: 1 online resource (296 pages)Content type: text Media type: computer Carrier type: online resourceISBN: 9781439829622Subject(s): Logic programming | Programming languages (Electronic computers) -- SemanticsGenre/Form: Electronic books.Additional physical formats: Print version:: Mathematical Aspects of Logic Programming SemanticsDDC classification: 005.115 LOC classification: QA76.63 -- .H58 2011Online resources: Click here to view this ebook.
|Item type||Current location||Call number||URL||Status||Date due||Barcode|
|Electronic Book||UT Tyler Online Online||QA76.63 -- .H58 2011 (Browse shelf)||http://ebookcentral.proquest.com/lib/uttyler/detail.action?docID=1633443||Available||EBC1633443|
Browsing UT Tyler Online shelves, Shelving location: Online Close shelf browser
|QA76.625 | QA76.76.M52 N54 2003 Microsoft .NET :||QA76.625 .W375 2015 Dynamic Web Programming and HTML5.||QA76.625 W433 2014 Power Query for Power BI and Excel.||QA76.63 -- .H58 2011 Mathematical Aspects of Logic Programming Semantics.||QA76.63 -- .J36 2014eb Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications.||QA76.63 B736 2013 Logic Programming with Prolog.||QA76.63 B736 2013 Logic Programming with Prolog.|
Front Cover -- Title -- Copyright -- Dedication -- Contents -- List of Figures -- List of Tables -- Preface -- Introduction -- About the Authors -- Chapter 1: Order and Logic -- Chapter 2: The Semantics of Logic Programs -- Chapter 3: Topology and Logic Programming -- Chapter 4: Fixed-Point Theory for Generalized Metric Spaces -- Chapter 5: Supported Model Semantics -- Chapter 6: Stable and Perfect Model Semantics -- Chapter 7: Logic Programming and Artificial Neural Networks -- Chapter 8: Final Thoughts -- Appendix Transfinite Induction and General Topology -- Bibliography -- Back Cover.
… Much of the material has been generated by [the authors'] own collaboration over the past decade, but they also integrate research results by others. A major feature is that they significantly transcend the tools and methods from the order theory traditionally used in this context, to include non-traditional methods from mathematical analysis depending on topology, generalized distance functions, and their associated fixed-point theory. …-SciTech Book News, February 2011]]>.
Description based on publisher supplied metadata and other sources.
Author notes provided by Syndetics
Pascal Hitzler is an assistant professor in the Kno.e.sis Center for Knowledge-Enabled Computing, which is an Ohio Center of Excellence at Wright State University. Dr. Hitzler is editor-in-chief of the journal Semantic Web- Interoperability, Usability, Applicability and co-author of the textbook Foundations of Semantic Web Technologies (CRC Press, August 2009). His research interests encompass the Semantic Web, neural-symbolic integration, knowledge representation and reasoning, denotational semantics, and set-theoretic topology.
Anthony Seda is a senior lecturer in the Department of Mathematics and co-founder of the Boole Centre for Research in Informatics at University College Cork. Dr. Seda is an editorial board member of Information and the International Journal of Advanced Intelligence. His research interests include measure theory, functional analysis, topology, fixed-point theory, denotational semantics, and the semantics of logic programs.