Paul Tarau

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 47

Top Venues

CoRR

PADL

Theory Pract. Log. Program.

ICLP Technical Communications

Publications

Paul Tarau
Through the Looking Glass, and what Horn Clause Programs Found There. CoRR (2024)
Paul Tarau
System Description: DeepLLM, Casting Dialog Threads into Logic Programs. FLOPS (2024)
Paul Tarau
Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem. CoRR (2023)
Paul Tarau
Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles. CoRR (2023)
Paul Tarau
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis. Theory Pract. Log. Program. 22 (5) (2022)
Paul Tarau
Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis. CoRR (2022)
Yifan Guo, David Brock, Alicia Lin, Tam Doan, Ali Khan, Paul Tarau
Dependency Graphs for Summarization and Keyphrase Extraction: We present a real-time long document summarization and key-phrase extraction algorithm that utilizes a unified dependency graph. NLPIR (2022)
Paul Tarau
A Gaze into the Internal Logic of Graph Neural Networks, with Logic. ICLP Technical Communications / Doctoral Consortium (2022)
Paul Tarau, Eduardo Blanco
Interactive Text Graph Mining with a Prolog-Based Dialog Engine. Theory Pract. Log. Program. 21 (2) (2021)
Yifan Guo, Weilun Sun, Ali Khan, Tam Doan, Paul Tarau
DocTalk: Combining Dependency-Based Text Graphs and Deep Learning into a Practical Dialog Engine. FQAS (2021)
Paul Tarau
A Family of Unification-Oblivious Program Transformations and Their Applications. PADL (2021)
Paul Tarau
Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch. ICLP Technical Communications (2021)
Paul Tarau
Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic. LOPSTR (2020)
Paul Tarau
Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Fundam. Informaticae 177 (3-4) (2020)
Paul Tarau, Eduardo Blanco
Interactive Text Graph Mining with a Prolog-based Dialog Engine. PADL (2020)
Paul Tarau, Eduardo Blanco
Interactive Text Graph Mining with a Prolog-based Dialog Engine. CoRR (2020)
Paul Tarau, Valeria de Paiva
Deriving Theorems in Implicational Linear Logic, Declaratively. ICLP Technical Communications (2020)
Paul Tarau
Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover. CoRR (2019)
Paul Tarau, Jan Wielemaker, Tom Schrijvers
Lazy Stream Programming in Prolog. ICLP Technical Communications (2019)
Paul Tarau, Eduardo Blanco
Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval. CoRR (2019)
Paul Tarau
Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers. CoRR (2019)
Paul Tarau
A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. PADL (2019)
Paul Tarau
On k-colored Lambda Terms and Their Skeletons. PADL (2018)
Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers. Theory Pract. Log. Program. 18 (1) (2018)
Paul Tarau
Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic. RCRA@FLoC (2018)
Alessandro Dal Palù, Paul Tarau
Introduction to the 34-th international conference on logic programming special issue. Theory Pract. Log. Program. 18 (3-4) (2018)
Paul Tarau
Declarative algorithms for generation, counting and random sampling of term algebras. SAC (2018)
Olivier Bodini, Paul Tarau
On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. LOPSTR (2017)
Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
Boltzmann Samplers for Closed Simply-Typed Lambda Terms. PADL (2017)
Olivier Bodini, Paul Tarau
On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. CoRR (2017)
Paul Tarau
A Hitchhiker's Guide to Reinventing a Prolog Machine. ICLP (Technical Communications) (2017)
Fahmida Hamid, David Haraburda, Paul Tarau
Evaluating Text Summarization Systems with a Fair Baseline from Multiple Reference Summaries. ECIR (2016)
Paul Tarau
A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. CoRR (2016)
Paul Tarau
A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. PADL (2016)
Paul Tarau
Computing with Catalan Families, Generically. PADL (2016)
Karen Mazidi, Paul Tarau
Automatic Question Generation: From NLU to NLG. ITS (2016)
Paul Tarau
A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. LOPSTR (2016)
Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
Random generation of closed simply-typed $λ$-terms: a synergy between logic programming and Boltzmann samplers. CoRR (2016)
Karen Mazidi, Paul Tarau
Infusing NLU into Automatic Question Generation. INLG (2016)
Fahmida Hamid, Paul Tarau
Anti-Summaries: Enhancing Graph-Based Techniques for Summary Extraction with Sentiment Polarity. CICLing (2) (2015)
Paul Tarau
Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices. CICM (2015)
Paul Tarau
On Type-directed Generation of Lambda Terms. ICLP (Technical Communications) (2015)
Paul Tarau
On a uniform representation of combinators, arithmetic, lambda terms and types. PPDP (2015)
Paul Tarau
On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. PADL (2015)
Paul Tarau
A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations. CoRR (2015)
Paul Tarau
On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees. SYNASC (2015)
Paul Tarau
The Arithmetic of Even-Odd Trees. SYNASC (2015)
Paul Tarau
Towards a generic view of primality through multiset decompositions of natural numbers. Theor. Comput. Sci. 537 (2014)
Paul Tarau
A Generic Numbering System based on Catalan Families of Combinatorial Objects. CoRR (2014)
Paul Tarau
A Declarative Specification of Giant Number Arithmetic. PADL (2014)
Paul Tarau, Fahmida Hamid
Interclausal Logic Variables. CoRR (2014)
Paul Tarau
Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers. Sci. Ann. Comput. Sci. 24 (2) (2014)
Paul Tarau
Computing with Catalan Families. LATA (2014)
Paul Tarau
The Arithmetic of Recursively Run-Length Compressed Natural Numbers. ICTAC (2014)
Paul Tarau
New Arithmetic Algorithms for Hereditarily Binary Natural Numbers. SYNASC (2014)
Paul Tarau
Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. PPDP (2014)
Paul Tarau, Bill P. Buckles
Arithmetic algorithms for hereditarily binary natural numbers. SAC (2014)
Fahmida Hamid, Paul Tarau
Text summarization as an assistive technology. PETRA (2014)
Paul Tarau
Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings). Theory Pract. Log. Program. 13 (4-5) (2013)
David Haraburda, Paul Tarau
Binary trees as a computational framework. Comput. Lang. Syst. Struct. 39 (4) (2013)
Paul Tarau
A Prolog Specification of Giant Number Arithmetic. CoRR (2013)
Paul Tarau
Two mechanisms for generating infinite families of pairing bijections. RACS (2013)
Paul Tarau
On Two Infinite Families of Pairing Bijections CoRR (2013)
Paul Tarau
Arithmetic Algorithms for Hereditarily Binary Natural Numbers. CoRR (2013)
Paul Tarau
Tree-based Arithmetic and Compressed Representations of Giant Numbers CoRR (2013)
Paul Tarau
Binary Tree Arithmetic with Generalized Constructors CoRR (2013)
Paul Tarau, Brenda Luderman
Boolean Evaluation with a Pairing and Unpairing Function. SYNASC (2012)
Paul Tarau
Computing with Free Algebras. SYNASC (2012)
Paul Tarau
A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. PADL (2012)
Paul Tarau
Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection. ICLP (Technical Communications) (2012)
Paul Tarau, David Haraburda
On computing with types. SAC (2012)
Paul Tarau
The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines. Theory Pract. Log. Program. 12 (1-2) (2012)
Paul Tarau, Arun K. Majumdar, Paulo Moura
Agent spaces: a scalable architecture for distributed logic agents. RACS (2012)
Paul Tarau, Brenda Luderman
Symbolic modeling of a universal reconfigurable logic gate and its applications to circuit synthesis. RACS (2012)
Paul Tarau
Coordination and Concurrency in Multi-engine Prolog. COORDINATION (2011)
Paul Tarau
The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines CoRR (2011)
Paul Tarau
Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!). DAMP (2011)
Paul Tarau
Computing with Hereditarily Finite Sequences CoRR (2011)
Paul Tarau
Bijective Term Encodings CoRR (2011)
Paul Tarau
Integrated symbol table, engine and heap memory management in multi-engine prolog. ISMM (2011)
Paul Tarau
Emulating Primality with Multiset Representations of Natural Numbers. ICTAC (2011)
Paul Tarau
Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes. MSFP@ICFP (2010)
Paul Tarau
A Unified Formal Description of Arithmetic and Set Theoretical Data Types. AISC/MKM/Calculemus (2010)
Paul Tarau
On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. ICTAC (2010)
Paul Tarau
A Unified Formal Description of Arithmetic and Set Theoretical Data Types CoRR (2010)
Paul Tarau
Declarative modeling of finite mathematics. PPDP (2010)
Paul Tarau
"Everything Is Everything" Revisited: Shapeshifting Data Types with Isomorphisms and Hylomorphisms. Complex Syst. 18 (4) (2010)
Paul Tarau
A Groupoid of Isomorphic Data Transformations. Calculemus/MKM (2009)
Paul Tarau
An embedded declarative data transformation language. PPDP (2009)
Paul Tarau, Arun K. Majumdar
Interoperating Logic Engines. PADL (2009)
Paul Tarau
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. SAC (2009)
Paul Tarau
Executable Set Theory and Arithmetic Encodings in Prolog CoRR (2008)
Paul Tarau
Logic Engines as Interactors. ICLP (2008)
Paul Tarau
Ranking and Unranking of Hereditarily Finite Functions and Permutations CoRR (2008)
Paul Tarau, Brenda Luderman
A Logic Programming Framework for Combinational Circuit Synthesis CoRR (2008)
Paul Tarau
Pairing Functions, Boolean Evaluation and Binary Decision Diagrams CoRR (2008)
Paul Tarau
Logic Engines as Interactors CoRR (2008)
Paul Tarau, Brenda Luderman
Revisiting exact combinational circuit synthesis. SAC (2008)
Paul Tarau, Brenda Luderman
Exact combinational logic synthesis and non-standard circuit design. Conf. Computing Frontiers (2008)
Paul Tarau
Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes CoRR (2008)

Paul Tarau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Paul Tarau