Search Results - "Logic programming semantics"

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

“…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…”
Get full text

Logic programming in tensor spaces by Sakama, Chiaki, Inoue, Katsumi, Sato, Taisuke

“…This paper introduces a novel approach to computing logic programming semantics. First, a propositional Herbrand base is represented in a vector space and if-then rules in a program are encoded in a matrix…”
Get full text