Výsledky vyhledávání - "logic programming semantics"

Mathematical Aspects of Logic Programming Semantics Autor 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…”
Získat plný text

Logic programming in tensor spaces Autor 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…”
Získat plný text