Driven by expressiveness commonalities of Python and our Python-based
em...
We automate deep step-by step reasoning in an LLM dialog thread by
recur...
Graph Neural Networks share with Logic Programming several key relationa...
With help of a compact Prolog-based theorem prover for Intuitionistic
Pr...
We introduce Natlog, a lightweight Logic Programming language, sharing
P...
The problem we want to solve is how to generate all theorems of a given ...
On top of a neural network-based dependency parser and a graph-based nat...
We develop combinatorial test generation algorithms for progressively mo...
We build a bridge between neural network-based machine learning and
grap...
We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic ...
In recent years, stream processing has become a prominent approach for
i...
Uniquely closable skeletons of lambda terms are Motzkin-trees that
prede...