| 2025 | LOPSTR | Focusing Recursive LLM Descents with Plans Expressed as Logic Programs. | Paul Tarau |
| 2025 | PADL | Leveraging LLM Reasoning with Dual Horn Programs. | Paul Tarau |
| 2024 | FLOPS | System Description: DeepLLM, Casting Dialog Threads into Logic Programs. | Paul Tarau |
| 2024 | ICLP | On Teaching Logic Programming in the Era of Generative AI. | Paul Tarau |
| 2021 | FQAS | DocTalk: Combining Dependency-Based Text Graphs and Deep Learning into a Practical Dialog Engine. | Yifan Guo, Weilun Sun, Ali Y. Khan, Tam Doan, Paul Tarau |
| 2021 | PADL | A Family of Unification-Oblivious Program Transformations and Their Applications. | Paul Tarau |
| 2020 | LOPSTR | Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic. | Paul Tarau |
| 2020 | PADL | Interactive Text Graph Mining with a Prolog-based Dialog Engine. | Paul Tarau, Eduardo Blanco |
| 2019 | PADL | A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. | Paul Tarau |
| 2018 | PADL | On k-colored Lambda Terms and Their Skeletons. | Paul Tarau |
| 2018 | SAC | Declarative algorithms for generation, counting and random sampling of term algebras. | Paul Tarau |
| 2017 | ICLP | A Hitchhiker's Guide to Reinventing a Prolog Machine. | Paul Tarau |
| 2017 | LOPSTR | On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. | Olivier Bodini, Paul Tarau |
| 2017 | PADL | Boltzmann Samplers for Closed Simply-Typed Lambda Terms. | Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau |
| 2016 | ECIR | Evaluating Text Summarization Systems with a Fair Baseline from Multiple Reference Summaries. | Fahmida Hamid, David Haraburda, Paul Tarau |
| 2016 | INLG | Infusing NLU into Automatic Question Generation. | Karen Mazidi, Paul Tarau |
| 2016 | ITS | Automatic Question Generation: From NLU to NLG. | Karen Mazidi, Paul Tarau |
| 2016 | LOPSTR | A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. | Paul Tarau |
| 2016 | PADL | A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. | Paul Tarau |
| 2016 | PADL | Computing with Catalan Families, Generically. | Paul Tarau |
| 2015 | CICLING | Anti-Summaries: Enhancing Graph-Based Techniques for Summary Extraction with Sentiment Polarity. | Fahmida Hamid, Paul Tarau |
| 2015 | ICLP | On Type-directed Generation of Lambda Terms. | Paul Tarau |
| 2015 | PADL | On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. | Paul Tarau |
| 2015 | PPDP | On a uniform representation of combinators, arithmetic, lambda terms and types. | Paul Tarau |
| 2015 | SYNASC | The Arithmetic of Even-Odd Trees. | Paul Tarau |
| 2015 | SYNASC | On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees. | Paul Tarau |
| 2014 | ICTAC | The Arithmetic of Recursively Run-Length Compressed Natural Numbers. | Paul Tarau |
| 2014 | LATA | Computing with Catalan Families. | Paul Tarau |
| 2014 | PADL | A Declarative Specification of Giant Number Arithmetic. | Paul Tarau |
| 2014 | PPDP | Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. | Paul Tarau |
| 2014 | SAC | Arithmetic algorithms for hereditarily binary natural numbers. | Paul Tarau, Bill P. Buckles |
| 2014 | SYNASC | New Arithmetic Algorithms for Hereditarily Binary Natural Numbers. | Paul Tarau |
| 2012 | ICLP | Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection. | Paul Tarau |
| 2012 | PADL | A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. | Paul Tarau |
| 2012 | SAC | On computing with types. | Paul Tarau, David Haraburda |
| 2012 | SYNASC | Computing with Free Algebras. | Paul Tarau |
| 2012 | SYNASC | Boolean Evaluation with a Pairing and Unpairing Function. | Paul Tarau, Brenda Luderman |
| 2011 | Coordination | Coordination and Concurrency in Multi-engine Prolog. | Paul Tarau |
| 2011 | ICTAC | Emulating Primality with Multiset Representations of Natural Numbers. | Paul Tarau |
| 2011 | POPL | Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!). | Paul Tarau |
| 2010 | AISC | A Unified Formal Description of Arithmetic and Set Theoretical Data Types. | Paul Tarau |
| 2010 | ICFP | Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes. | Paul Tarau |
| 2010 | ICTAC | On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. | Paul Tarau |
| 2010 | PPDP | Declarative modeling of finite mathematics. | Paul Tarau |
| 2009 | PADL | Interoperating Logic Engines. | Paul Tarau, Arun K. Majumdar |
| 2009 | PPDP | An embedded declarative data transformation language. | Paul Tarau |
| 2009 | SAC | Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. | Paul Tarau |
| 2008 | ICLP | Logic Engines as Interactors. | Paul Tarau |
| 2008 | SAC | Revisiting exact combinational circuit synthesis. | Paul Tarau, Brenda Luderman |
| 2007 | ICLP | A Logic Programming Framework for Combinational Circuit Synthesis. | Paul Tarau, Brenda Luderman |
| 2005 | IJCNLP | A Language Independent Algorithm for Single and Multiple Document Summarization. | Rada Mihalcea, Paul Tarau |
| 2005 | SAC | An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems. | David Hurt, Paul Tarau |
| 2005 | SAC | Agent oriented logic programming in Jinni 2004. | Paul Tarau |
| 2005 | SAC | Semantic document engineering with WordNet and PageRank. | Paul Tarau, Rada Mihalcea, Elizabeth Figa |
| 2004 | COLING | PageRank on Semantic Networks, with Application to Word Sense Disambiguation. | Rada Mihalcea, Paul Tarau, Elizabeth Figa |
| 2004 | EMNLP | TextRank: Bringing Order into Text. | Rada Mihalcea, Paul Tarau |
| 2004 | ICLP | Agent Oriented Logic Programming Constructs in Jinni 2004. | Paul Tarau |
| 2004 | SAC | Knowledge-based conversational agents and virtual storytelling. | Paul Tarau, Elizabeth Figa |
| 2003 | PADL | Garbage Collection Algorithms for Java-Based Prolog Engines. | Qinan Zhou, Paul Tarau |
| 2001 | PADL | Logic Programming Techniques for Dynamic VRML Web Content Generation. | Anima Gupta, Paul Tarau |
| 2001 | PADL | A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. | Satyam Tyagi, Paul Tarau |
| 1998 | ICLP | Jinni: a Lightweight Java-based Logic Engine for Internet Programming. | Paul Tarau |
| 1998 | JELIA | Towards Inference and Computation Mobility: The Jinni Experiment. | Paul Tarau |
| 1997 | CHI | LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming. | Paul Tarau, Vernica Dahl, Stephen Rochefort, Koenraad De Bosschere |
| 1997 | ICLP | Assumption Grammars for Processing Natural Language. | Vernica Dahl, Paul Tarau, Renwei Li |
| 1997 | WETICE | A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. | Paul Tarau, Vernica Dahl, Koenraad De Bosschere |
| 1996 | ICTAI | A Hypothetical Reasoning-based Framework for NL Processing. | Vernica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau |
| 1996 | SAC | Segment order preserving copying garbage collection for WAM based Prolog. | Bart Demoen, Geert Engels, Paul Tarau |
| 1995 | NLDB | Extending Datalog Grammars. | Vernica Dahl, Paul Tarau |
| 1995 | SAC | The power of partial tanslation: an experiment with the C-ification of binary Prolog. | Paul Tarau, Bart Demoen, Koenraad De Bosschere |
| 1994 | ICLP | Language Embedding by Dual Compilation and State Mirroring. | Paul Tarau, Bart Demoen |
| 1994 | LOPSTR | Logic Programming and Logic Grammars with First-Order Continuations. | Paul Tarau, Vernica Dahl |
| 1994 | SAC | High performance continuation passing style Prolog-to-C mapping. | Koenraad De Bosschere, Paul Tarau |
| 1993 | ICLP | Some Issues in the Implementation of a Unix-based Blackboard. | Koenraad De Bosschere, Paul Tarau |
| 1993 | ICLP | Non-Associative Blackboard Programming. | Paul Tarau, Koenraad De Bosschere |
| 1993 | LOPSTR | Memoing with Abstract Answers and Delphi Lemmas. | Paul Tarau, Koenraad De Bosschere |
| 1991 | ICLP | Nonstandard Answers of Elementary Logic Programs. | Paul Tarau, Michel Boyer |
| 1991 | LPAR | Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. | Paul Tarau |