
Natlog: a Lightweight Logic Programming Language with a Neurosymbolic Touch
We introduce Natlog, a lightweight Logic Programming language, sharing P...
read it

Deriving Theorems in Implicational Linear Logic, Declaratively
The problem we want to solve is how to generate all theorems of a given ...
read it

Interactive Text Graph Mining with a Prologbased Dialog Engine
On top of a neural networkbased dependency parser and a graphbased nat...
read it

Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers
We develop combinatorial test generation algorithms for progressively mo...
read it

Dependencybased Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
We build a bridge between neural networkbased machine learning and grap...
read it

Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover
We derive a Prolog theorem prover for an Intuitionistic Epistemic Logic ...
read it

Lazy Stream Programming in Prolog
In recent years, stream processing has become a prominent approach for i...
read it

On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms
Uniquely closable skeletons of lambda terms are Motzkintrees that prede...
read it
Paul Tarau
is this you? claim profile