Suchergebnisse - "Logic Programming Semantics"

Mathematical Aspects of Logic Programming Semantics von 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 …”
Volltext

Logic programming in tensor spaces von 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 …”
Volltext