research
∙
08/30/2023
Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem
Driven by expressiveness commonalities of Python and our Python-based em...
share
research
∙
06/24/2023
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles
We automate deep step-by step reasoning in an LLM dialog thread by recur...
research
∙
08/05/2022
A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Graph Neural Networks share with Logic Programming several key relationa...
research
∙
05/11/2022
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis
With help of a compact Prolog-based theorem prover for Intuitionistic Pr...
research
∙
09/17/2021
Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch
We introduce Natlog, a lightweight Logic Programming language, sharing P...
research
∙
09/22/2020
Deriving Theorems in Implicational Linear Logic, Declaratively
The problem we want to solve is how to generate all theorems of a given ...
research
∙
07/31/2020
Interactive Text Graph Mining with a Prolog-based Dialog Engine
On top of a neural network-based dependency parser and a graph-based nat...
research
∙
10/04/2019
Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers
We develop combinatorial test generation algorithms for progressively mo...
research
∙
09/20/2019
Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
We build a bridge between neural network-based machine learning and grap...
research
∙
07/27/2019
Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover
We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic ...
research
∙
07/26/2019
Lazy Stream Programming in Prolog
In recent years, stream processing has become a prominent approach for i...
research
∙
09/13/2017
