Mathematical Aspects of Logic Programming Semantics

Order and Logic. The Semantics of Logic Programs. Topology and Logic Programming. Fixed-Point Theory for Generalized Metric Spaces. Supported Model Semantics. Stable and Perfect Model Semantics. Logic Programming and Artificial Neural Networks. Final Thoughts. Appendix. Bibliography. Index.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Engenharia do controlo automático
• Ciência ambiental, engenharia e tecnologia
• Ciência da Computação
• Engenharia electrotécnica

semantic analysis;logic programming;order theory;fixed-point theory;Scott topology;artificial neural networks;mathematical analysis;logic programs;generalized distance functions;computational logic;semantics of computing;Banach Contraction Mapping Theorem;neural-symbolic integration;Ultrametric Space;multivalued mappings;Ultra-metric Space;model semantics;Fixed Point Theorem;artificial intelligence;Transfinite Induction;Domain theory;Fixed Point Theory;Logic programs semantic analysis;Complete Partial Order;Logic programming languages;Banach Theorem;Binary Threshold Units;Hasse Diagram;Denotational Semantics;Predicate Symbol;Fixed Point;Cauchy Sequence;Cellular Automata;Totally Bounded;Web Ontology Language Owl;Bottom Element;Complete Lattice;Ontology Language;Basic Open Sets;Spherically Complete;Convergence Class