Picture for Paul Tarau

Paul Tarau

University of North Texas

Through the Looking Glass, and what Horn Clause Programs Found There

Add code
Jul 29, 2024
Viaarxiv icon

Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem

Add code
Aug 30, 2023
Viaarxiv icon

Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles

Add code
Jun 24, 2023
Viaarxiv icon

A Gaze into the Internal Logic of Graph Neural Networks, with Logic

Add code
Aug 05, 2022
Figure 1 for A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Figure 2 for A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Figure 3 for A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Figure 4 for A Gaze into the Internal Logic of Graph Neural Networks, with Logic
Viaarxiv icon

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch

Add code
Sep 17, 2021
Viaarxiv icon

Deriving Theorems in Implicational Linear Logic, Declaratively

Add code
Sep 22, 2020
Viaarxiv icon

Interactive Text Graph Mining with a Prolog-based Dialog Engine

Add code
Jul 31, 2020
Figure 1 for Interactive Text Graph Mining with a Prolog-based Dialog Engine
Figure 2 for Interactive Text Graph Mining with a Prolog-based Dialog Engine
Figure 3 for Interactive Text Graph Mining with a Prolog-based Dialog Engine
Figure 4 for Interactive Text Graph Mining with a Prolog-based Dialog Engine
Viaarxiv icon

Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval

Add code
Sep 20, 2019
Figure 1 for Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
Figure 2 for Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
Figure 3 for Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
Figure 4 for Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval
Viaarxiv icon

Treating Coordination with Datalog Grammars

Add code
May 03, 1995
Viaarxiv icon