Mathematical Aspects of Logic Programming Semantics - Hitzler, Pascal; Seda, Anthony (CRC Press, 2010)
Keywords: Computer programming, programs, data; Computers; COMPUTERS / Information Theory bisacsh; COMPUTERS / Machine Theory bisacsh; COMPUTERS / Software Development & Engineering / Systems Analysis & Design bisacsh; Games; Information Theory; Logic; Logic programming; Machine Theory; Mathematical Programming; Mathematics; Mathematics and Science; Programming; Programming languages (Electronic computers); Programming languages (Electronic computers) -- Semantics; Semantics; logic programming semantics; supported model semantics; Banach Theorem; Binary Threshold Units; Cauchy Sequence; Multivalued Mappings; Fixed Point Theory; Ultra-metric Space; artificial intelligence; fixed-point theory; Spherically Complete; Banach Contraction Mapping Theorem; generalized metric spaces; Convergence Class; Denotational Semantics; Predicate Symbol; Fixed Point; Basic Open Sets; Bottom Element; symbolic representations; Scott topology; Logic Programming; mathematical analysis; Ultrametric Space; Fixed Point Theorem; Complete Lattice; Complete Partial Order; Cellular Automata; artificial neural networks; perfect model semantics; transfinite induction; Totally Bounded; Web Ontology Language Owl; Hasse Diagram; Ontology Language; Cantor topology