Mathematical Aspects of Logic Programming Semantics
DOI10.1201/b10397zbMath1219.68085MaRDI QIDQ3075664
Pascal Hitzler, Anthony Karel Seda
Publication date: 16 February 2011
Full work available at URL: https://library.oapen.org/bitstream/20.500.12657/41648/1/9781439829622.pdf
multivalued mappings; metric spaces; topology; artificial neural networks; logic programming; fixed-point theorems; declarative semantics
68-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
47H10: Fixed-point theorems
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68N17: Logic programming
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
54H99: Connections of general topology with other structures, applications
Related Items