Paul Tarau

Previous Scheduled Teaching

Published Intellectual Contributions

Abstracts and Proceedings

• Tarau, P. (2018). Declarative Algorithms for Generation, Counting and Random Sampling of Term Algebras. Proceedings of SAC'18, ACM Symposium on Applied Computing, PL track. 8. ACM. https://dl.acm.org/
• Paul Tarau and Brenda Luderman. (2009). Computing Ranking and Unranking Functions for BDDs.
• Paul Tarau. (2008). Declarative Combinatorics in Prolog: ShapeShifting Data Objects with Isomorphisms and Hylomorphisms.
• Paul Tarau and Brenda Luderman. (2008). Exact combinational logic synthesis and non-standard circuit design.
• Paul Tarau. (2008). Interactors: Logic Engine Interoperation with Pure Prolog Semantics.
• Paul Tarau. (2008). Logic Engines as Interactors.
• Paul Tarau. (2008). Pairing Functions, Boolean Evaluation and Binary Decision Diagrams.
• Paul Tarau and Brenda Luderman. (2008). Revisiting Exact Combinational Circuit Synthesis.
• Paul Tarau and Brenda Luderman. (2007). A Logic Programming Framework for Combinational Circuit Synthesis.
• Arun Majumdar, Mary Keeler, Paul Tarau, and John Sowa. (2007). Semantic Distances As Knowledge Capture Constraints.
• Rada Mihalcea and Paul Tarau. (2005). An Algorithm for Language Independent Single and Multiple Document Summarization.
• David Hurt and Paul Tarau. (2005). An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems.
• Rada Mihalcea and Paul Tarau. (2005). Multi-Document Summarization with Iterative Graph-based Algorithms.
• Andy Borman, Rada Mihalcea, and Paul Tarau. (2005). PicNet: Pictorial Representations for Illustrated Semantic Networks.
• Paul Tarau, Rada Mihalcea, and Elizabeth Figa. (2005). Semantic document engineering with WordNet and PageRank.
• Paul Tarau, Rada Mihalcea, and Elizabeth Figa. (2004). A Logic Programming Framework for Semantic Interpretation with WordNet and PageRank.
• Paul Tarau. (2004). Agent Oriented Logic Programming Constructs in Jinni 2004.
• Veronica Dahl and Paul Tarau. (2004). Assumptive Logic Programming.
• Elizabeth Figa and Paul Tarau. (2004). Conversational Agents as Web Services.
• Elizabeth Figa and Paul Tarau. (2004). Knowledge Assimilation and Web Deployment Techniques for Conversational Agents.
• Paul Tarau and Elizabeth Figa. (2004). Knowledge Based Conversational Agents and Virtual Storytelling.
• Paul Tarau. (2004). Orthogonal Language Constructs for Agent Oriented Logic Programming.
• Rada Mihalcea, Paul Tarau, and Elizabeth Figa. (2004). PageRank on Semantic Networks, with application to Word Sense Disambiguation.
• Rada Mihalcea, Paul Tarau, and Elizabeth Figa. (2004). TextRank: Bringing Order into Texts.
• Paul Tarau and Azzedine Bouckerche. (2003). Agents and Ambient Intelligence in the Jinni Infrastructure.
• Qinan Zhou and Paul Tarau. (2003). Garbage Collection Algorithms for Java-Based Prolog Engines.
• Elizabeth Figa and Paul Tarau. (2003). Lexical Inference Mechanisms for Text Understanding and Classification.
• Elizabeth Figa and Paul Tarau. (2003). Story Traces and Projections: Exploring the Patterns of Storytelling.
• Elizabeth Figa and Paul Tarau. (2003). The VISTA Project: An Agent Architecture for Virtual Interactive Storytelling.
• Paul Tarau. (2002). Object Oriented Logic Programming as an Agent Building Infrastructure.
• Elizabeth Figa and Paul Tarau. (2002). The VISTA Project: An Agent Architecture for Virtual Interactive Storytelling.
• Satyam Tyagi and Paul Tarau. (2001). A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.
• Satyam Tyagi, Paul Tarau, and Armin Mikler. (2001). Multicast Protocols for Jinni Agents.
• Anima Gupta and Paul Tarau. (2000). Assumption Grammars for Generating Dynamic VRML Pages.
• A. Garcia and D. Gollapally and P. Tarau and G. Simari. (2000). Deliberative stock market agents using Jinni and defeasible logic programming.
• Paul Tarau. (2000). Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects.
• Satyam Tyagi and Paul Tarau. (2000). Multicast Protocols for Jinni Agents.
• Paul Tarau. (1999). A Logic Programming Based Software Architecture for Reactive Intelligent Mobile Agents.
• Paul Tarau and Veronica Dahl. (1999). A Logic Programming Infrastructure for Internet Programming.
• A.R. Mikler, H. Unger, P. Tarau, A. S. Hopper, and F. Chen. (1999). A Mobile Agent-Based File System for Distributed Networks.
• Paul Tarau. (1999). Inference and Computation Mobility with Jinni.
• Paul Tarau. (1999). Intelligent Mobile Agent Programming at the Intersection of Java and Prolog.
• Paul Tarau. (1999). Multi-Engine Horn Clause Prolog.
• Stephen Rochefort, Veronica Dahl, and Paul Tarau. (1998). A Virtual Environment for Collaborative Learning.
• Stephen Rochefort, Veronica Dahl, and Paul Tarau. (1998). An Agent Communication Protocol for the Feature Interaction Problem.
• Paul Tarau. (1998). Jinni: a Lightweight Java-based Logic Engine for Internet Programming.
• Paul Tarau, Veronica Dahl, and Koen De Bosschere. (1998). Logic Programming Based Coordination in Virtual Worlds.
• Paul Tarau and Veronica Dahl. (1998). Mobile Threads through First Order Continuations.
• Paul Tarau. (1998). Towards Inference and Computation Mobility: The Jinni Experiment.
• Paul Tarau. (1998). Towards Logic Programming Based Coordination in Virtual Worlds.
• Paul Tarau, Veronica Dahl, and Koen De Bosschere. (1997). A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.
• Veronica Dahl, Paul Tarau, Pablo Accuosto, Stephen Rochefort, and Marius Scortescu. (1997). Assumption grammars for knowledge based systems.
• Veronica Dahl, Paul Tarau, and Renwei Li. (1997). Assumption Grammars for Processing Natural Language.
• Osmar Zaiane, Andrew Fall, Stephen Rochefort, Veronica Dahl, and Paul Tarau. (1997). Concept-Based Retrieval using Controlled Natural Language.
• Stephen Rochefort, Veronica Dahl, and Paul Tarau. (1997). Controlling Virtual Worlds through Extensible Natural Language.
• Paul Tarau. (1997). Logic Programming Tools for Advanced Internet Programming.
• Paul Tarau, Veronica Dahl, and Koen De Bosschere. (1997). Logic Programming Tools for Remote Execution, Mobile Code and Agents.
• Paul Tarau, Veronica Dahl, Stephen Rochefort, and Koen De Bosschere. (1997). LogiMOO: a Multi-User Virtual World with Agents and Natural Language Programming.
• Osmar Zaiane, Andrew Fall, Rochefort Stephen, Dahl Veronica, and Paul Tarau. (1997). On-line Resource Discovery Using Natural Language.
• Paul Tarau, Veronica Dahl, and Koen De Bosschere. (1997). Remote Execution, Mobile Code and Agents in BinProlog.
• Paul Tarau and Veronica Dahl. (1996). A Coordination Logic for Agent Programming in Virtual Worlds.
• Veronica Dahl, Andrew Fall, Stephen Rochefort, and Paul Tarau. (1996). A Hypothetical Reasoning Framework for NL Processing.
• Paul Tarau, Veronica Dahl, and Andrew Fall. (1996). Backtrackable State with Linear Affine Implication and Assumption Grammars.
• Paul Tarau. (1996). Logic Programming and Virtual Worlds.
• Koen De Bosschere, Daniel Perron, and Paul Tarau. (1996). LogiMOO: Prolog Technology for Virtual Worlds.
• Bart Demoen, Geert Engels, and Paul Tarau. (1996). Segment Preserving Copying Garbage Collection for WAM based Prolog.
• Paul Tarau and Koen De Bosschere. (1996). Virtual World Brokerage with BinProlog and Netscape.
• P. Tarau, V. Dahl, and A. Fall. (1995). Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars.
• P. Tarau, V. Dahl, and A. Fall. (1995). Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars.
• J. Andrews, V. Dahl, and P. Tarau. (1995). Continuation Logic Programming: Theory and Practice.
• V. Dahl, P. Tarau, and J. Andrews. (1995). Extending Datalog Grammars.
• Paul Tarau and Bart Demoen. (1995). Higher-Order Programming in an OR-intensive Style.
• Yves Bekkers and Paul Tarau. (1995). Logic Programming with Monads and Comprehensions.
• Yves Bekkers and Paul Tarau. (1995). Monadic Constructs for Logic Programming.
• Bart Demoen, Geert Engels, and Paul Tarau. (1995). Rejuvenating Future Garbage in WAM.
• Andrew Fall, Veronica Dahl, and Paul Tarau. (1995). Resolving Co-specification in Contexts.
• Paul Tarau, Bart Demoen, and Koen De Bosschere. (1995). The Power of Partial Translation: an Experiment with the C-ification of Binary Prolog.
• V. Dahl, P. Tarau, L. Moreno, and M. Palomar. (1995). Treating Coordination with Datalog Grammars.
• Paul Tarau and Ulrich Neumerkel. (1994). A Novel Term Compression Scheme and Data Representation in the BinWAM.
• V. Dahl, P. Tarau, and Y. N. Huang. (1994). Datalog Grammars.
• K. De Bosschere and P. Tarau. (1994). High Performance Continuation Passing Style Prolog-to-C Mapping.
• Paul Tarau and Bart Demoen. (1994). Language Embedding by Dual Compilation and State Mirroring.
• Paul Tarau and Veronica Dahl. (1994). Logic Programming and Logic Grammars with First-order Continuations.
• Paul Tarau. (1994). Low level Issues in Implementing a High-Performance Continuation Passing Binary Prolog Engine.
• P. Tarau, B. Demoen, and K. De Bosschere. (1994). The Power of Partial Translation: an Experiment with the C-ification of Binary Prolog.
• P Tarau. (1993). An Efficient Specialization of the WAM for Continuation Passing Binary programs.
• P. Tarau and K. De Bosschere. (1993). Blackboard Based Logic Programming in BinProlog.
• K. De Bosschere and P. Tarau. (1993). Blackboard Communication in Logic Programming.
• K. De Bosschere and P. Tarau. (1993). Blackboard-based Extensions for Parallel Programming in BinProlog.
• Paul Tarau. (1993). Language Issues and Programming Techniques in BinProlog.
• P. Tarau and K. De Bosschere. (1993). Memoing with Abstract Answers and Delphi Lemmas.
• P. Tarau and K. De Bosschere. (1993). Non-Associative Blackboard Programming.
• Paul Tarau and M. Boyer. (1993). Nonstandard Answers of Elementary Logic Programs.
• Paul Tarau. (1992). BinProlog: a Continuation Passing Style Prolog Engine.
• Paul Tarau. (1992). Ecological Memory Management in a Continuation Passing Prolog Engine.
• Paul Tarau. (1992). Program Transformations and WAM-support for the Compilation of Definite Metaprograms.
• Paul Tarau. (1991). A Simplified Abstract Machine for the Execution of Binary Metaprograms.
• Paul Tarau. (1991). Nonstandard Answers of Elementary Logic Programs.
• Paul Tarau. (1990). A family of logic program transformations and their applications.
• Paul Tarau. (1990). Conditional and Abstract Solutions of Elementary Logic Programs.
• Paul Tarau and Michel Boyer. (1990). Elementary Logic Programs.
• Paul Tarau and Michel Boyer. (1989). Prolog Meta-Programming with Soft Databases.
• J. DeFinney, C. Moghrabi, and P. Tarau. (1987). A Parser and Text Generation System for Argumentative Discourse.
• Paul Tarau. (1987). Adding Theories to Prolog.
• B. Moulin and Paul Tarau. (1987). Un environnement de conception de systemes experts pour des applications grand-public.

Book Chapter

• Tarau, P. (2023). Reflections on automation, learnability and expressiveness in logic-based programming languages. Prolog: The Next 50 Years. 359-371. Springer Nature. https://link.springer.com/chapter/10.1007/978-3-031-35254-6_29
• Tarau, P., Dahl, V. (1999). Towards a logic programming infrastructure for internet programming. Artificial intelligence today. 431--456. Springer Berlin Heidelberg.

Conference Proceeding

• Tarau, P. (2023). Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem. Proceedings 39th International Conference on Logic Programming. 385 141-154. Electronic Proceedings in Theoretical Computer Science. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2023.15
• Guo, Y., Brock, D., Lin, A., Doan, T., Khan, A., Tarau, P. (2022). Dependency Graphs for Summarization and Keyphrase Extraction. Proceedings of International Conference on Natural Language Processing and Information Retrieval, NLPIR'22. http://www.nlpir.net/
• Tarau, P. (2022). A Gaze into the Internal Logic of Graph Neural Networks, with Logic. Haifa, Proceedings 38th International Conference on Logic Programming, Technical Reports, Electronic Proceedings in Theoretical Computer Science. https://www.eptcs.org
• Brock, D., Khan, A., Doan, T., Lin, A., Guo, Y., Tarau, P. (2022). Textstar: a Fast and Lightweight Graph-Based Algorithm for Extractive Summarization and Keyphrase Extraction. Proceedings of The 20th Annual Workshop of the Australasian Language Technology Association, ALTA 2022. 9. https://alta2022.alta.asn.au/files/ALTA_2022_22.pdf
• Guo, Y., Sun, W., Khan, A., Doan, T., Tarau, P. (2021). DocTalk: Combining Dependency-Based Text Graphs and Deep Learning into a Practical Dialog Engine. Flexible Query Answering Systems, Springer, LNCS 12871. 182-195. https://link.springer.com/chapter/10.1007/978-3-030-86967-0_14#citeas
• Tarau, P. Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch. Proceedings 37th International Conference on Logic Programming (Technical Communications). 141-154. https://arxiv.org/html/2109.07914
• Tarau, P. (2021). A Family of Unification-Oblivious Program Transformations and Their Applications. Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021. 3-19. Springer, LNCS.
• Tarau, P. (2020). Training Neural Networks to do Logic, with Logic. Proceedings of LPOP'20. https://www.info.ucl.ac.be/~pvr/LPOP_2020_proceedings.pdf
• Tarau, P. Deriving Theorems in Implicational Linear Logic, Declaratively. Proceedings 36th International Conference on Logic Programming (Technical Communications), {ICLP}.
• Tarau, P. Training Neural Networks as Theorem Provers via the Curry-Howard Isomorphism.
• Tarau, P., Blanco, E. (2020). Interactive Text Graph Mining with a Prolog-based Dialog Engine. Lecture Notes in Computer Science. (12007) 3-19. Springer. https://doi.org/10.1007/978-3-030-05998-9
• Tarau, P., Wielemaker, J., Schrijvers, T. (2019). Lazy Stream Programming in Prolog. 15. https://dblp.org/db/series/eptcs/eptcs306.html
• Tarau, P. (2019). Modality definition synthesis for epistemic intuitionistic logic via a theorem prover.. https://www.semsys.aau.at/events/eelp2019/
• Tarau, P. (2019). A combinatorial testing framework for intuitionistic propositional theorem provers. Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Springer LNCS 11372. 11372 Springer, LNCS 11372. https://link.springer.com/book/10.1007%2F978-3-030-05998-9
• Tarau, P. (2018). Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic. Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom, July 13, 2018.. 2271 16. Germany, CEUR Workshop Proceedings. CEUR-WS.org
• Tarau, P. (2018). On k-colored Lambda Terms and Their Skeletons. International Symposium on Practical Aspects of Declarative Languages. 116--131. Springer, LNCS. https://doi.org/10.1007/978-3-319-73305-0\_8
• Bendkowski, M., Grygiel, K., Tarau, P. (2017). Boltzmann samplers for closed simply-typed lambda terms. International Symposium on Practical Aspects of Declarative Languages. 120--135.
• Tarau, P. (2017). On lambda-term skeletons, with applications to all-term and random-term generation of simply-typed closed lambda terms.
• Tarau, P. (2016). A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Other. Springer LNCS, volume 10184.
• Tarau, P. (2016). A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations. International Symposium on Practical Aspects of Declarative Languages. 99--116.
• Mazidi, K.J., Tarau, P. (2016). Automatic Question Generation: From NLU to NLG. International Conference on Intelligent Tutoring Systems. 23--33.
• Tarau, P. (2016). Computing with catalan families, generically. International Symposium on Practical Aspects of Declarative Languages. 117--134.
• Hamid, F., Haraburda, D., Tarau, P. (2016). Evaluating Text Summarization Systems with a Fair Baseline from Multiple Reference Summaries. European Conference on Information Retrieval. 351--365.
• Mazidi, K.J., Tarau, P. (2016). Infusing NLU into Automatic Question Generation.. INLG. 51--60.
• Hamid, F., Tarau, P. (2015). Anti-Summaries: Enhancing Graph-Based Techniques for Summary Extraction with Sentiment Polarity.. CICLing (2). 375--389.
• Tarau, P. (2015). On a uniform representation of combinators, arithmetic, Lambda terms and types. Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming. 244--255.
• Tarau, P. (2015). On logic programming representations of lambda terms: de Bruijn indices, compression, type inference, combinatorial generation, normalization. International Symposium on Practical Aspects of Declarative Languages. 115--131.
• Tarau, P. (2015). On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees. Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2015 17th International Symposium on. 160--166.
• Tarau, P. (2015). On Type-directed Generation of Lambda Terms.. ICLP (Technical Communications).
• Tarau, P. (2015). Ranking/unranking of Lambda terms with compressed de Bruijn Indices. Conferences on Intelligent Computer Mathematics. 118--133.
• Tarau, P. (2015). The Arithmetic of Even-Odd Trees. Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2015 17th International Symposium on. 90--97.
• Paul Tara. (2014). A Declarative Specification of Giant Number Arithmetic. Proceedings of the Sixteenth International Symposium on Practical Aspects of Declarative Languages PADL'14. 120-135. ACM.
• Tarau, P., Buckles, B. (2014). Arithmetic Algorithms for Hereditarily Binary Natural Numbers. Proceedings of SAC'14, ACM Symposium on Applied Computing, PL track. ACM.
• Tarau, P. (2014). Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. In PPDP '14 : Proceedings of the 16th international ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. ACM.
• Tarau, P. (2014). Computing with Catalan Families. In Proceedings of Language and Automata Theory and Applications, 8th International Conference, LATA 2014. 564-576. Springer, LNCS.
• Tarau, P. (2014). New Arithmetic Algorithms for Hereditarily Binary Natural Numbers. Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. 109--116.
• Hamid, F., Tarau, P. (2014). Text Summarization as an Assistive Technology. In Proceedings of PETRA 2014, The 7th ACM International Conference on Pervasive Technologies Related to Assistive Environments. ACM.
• Tarau, P. (2014). The Arithmetic of Recursively Run-length Compressed Natural Numbers. In Proceedings of 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2014. Springer, LNCS.
• Tarau, P. (2013). A Prolog Specification of Giant Number Arithmetic. Proceedings of the 13th International Colloquium on Implementation of Constraint Logic Programming Systems (CICLOPS 2013).
• Tarau, P. (2013). Two Mechanisms for Generating Infinite Families of Pairing Bijections. Proceedings Research in Adaptive and Convergent Systems, RACS'2013. 57-62. ACM.
• Paul Tarau and Brenda Luderman. (2012). Boolean Evaluation with a Pairing and Unpairing Function, Proceedings of SYNASC 2012.
• Tarau, P., Luderman, B. (2012). Boolean evaluation with a pairing and unpairing function. Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on. 384--390.
• Paul Tarau. (2012). Computing with Free Algebras, Proceedings of SYNASC 2012, Invited Talk.
• Paul Tarau. (2012). Declarative Specification of Tree-based Symbolic Arithmetic Computations..
• Paul Tarau and David Haraburda.. (2012). On Computing with Types..
• Paul Tarau and Arun Majumdar. (2011). - Agent Mobility with Weak Local Inheritance and Transactional Remote Logic Invocation.
• Paul Tarau. (2011). - Concurrent Programming Constructs in Multi-engine Prolog: Parallelism just for the cores (and not more!)..
• Paul Tarau and Brenda Luderman. (2011). - Emulating Boolean Computations with Pairing and Unpairing Functions..
• Paul Tarau. (2011). Bijective Term Encodings..
• Paul Tarau. (2011). Computing with Hereditarily Finite Sequences.
• Paul Tarau. (2011). Coordination and Concurrency in Multi-engine Prolog.
• Paul Tarau. (2011). Emulating Primality with Multiset representations of Natural Numbers..
• Paul Tarau. (2011). Integrated Symbol Table, Engine and Heap Memory Management in Multi-engine Prolog..
• Paul Tarau. (2010). A Unified Formal Description of Arithmetic and Set Theoretical Data Types..
• Paul Tarau. (2010). Declarative modeling of finite mathematics.
• Paul Tarau and Brenda Luderman. (2010). Experimental Mathematics in Haskell: on Pairing/Unpairing Functions and Boolean Evaluation.
• Paul Tarau. (2010). Hereditarily finite representations of natural numbers and self-delimiting codes..
• Tarau, P. (2010). On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types.. ICTAC. 367--381.
• Paul Tarau. (2010). On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. .
• Paul Tarau. (2009). A Groupoid of Isomorphic Data Transformations.
• Paul Tarau. (2009). An Embedded Declarative Data Transformation Language.
• Paul Tarau and Arun Majumdar. (2009). Interoperating Logic Engines.
• Paul Tarau. (2009). Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell.
• Mihalcea, R.F., Tarau, P. (2005). A language independent algorithm for single and multiple document summarization. Proceedings of IJCNLP. 5
• Tarau, P. (2005). Agent oriented logic programming in Jinni 2004. Proceedings of the 2005 ACM symposium on Applied computing. 1427--1428.
• Borman, A., Mihalcea, R.F., Tarau, P. (2005). PicNet: Augmenting Semantic Resources with Pictorial Representations.. AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors. 1--7.
• Mihalcea, R.F., Tarau, P. (2004). Textrank: Bringing order into text. Proceedings of the 2004 conference on empirical methods in natural language processing.
• Tarau, P. (1999). Jinni: Intelligent mobile agent programming at the intersection of java and prolog. Proc. of PAAM. 99 109--123.
• Tarau, P., Dahl, V. (1998). Code Migration with First Order Continuations.. APPIA-GULP-PRODE. 215--226.
• Elbadri, G., Geraert, E., Moens, M. (1998). Morphological differences among Radopholus thorne, 1949 populations from ornamentals in Europe (Pratylenchidae: Nematoda). 50th International symposium on Crop Protection. 63 (2b) 599--608.
• De Bosschere, K., HERMENEGILDO, M., Tarau, P. (1997). ICLP'97 Post-Conference Workshop on Logic Programming Tools for Internet Applications. Proceedings ICLP 97, ELIS, De Bosschere K., Hermenegildo M., Tarau P.(ed.), Leuven, juli pp. 1-148.
• Dahl, V., Fall, A., Rochefort, S., Tarau, P. (1996). A hypothetical reasoning based framework for NL processing. Tools with Artificial Intelligence, 1996., Proceedings Eighth IEEE International Conference on. 67--70.
• Rochefort, Veronica Dahl Andrew Fall Stephen, Tarau, P. (1996). A Hypothetical Reasoning Based Framework for NL Processing. Proceedings of the... International IEEE Conference on Tools for Artificial Intelligence. 67.
• Demoen, B., Engels, G., Tarau, P. (1996). Segment order preserving copying garbage collection for WAM based Prolog. Proceedings of the 1996 ACM symposium on Applied Computing. 380--386.
• Tarau, P., Demsen, B., De Bosschere, K. (1995). Bosschere. The Power of Partial Translation: an Experiment with the C-ification of Binary Prolog. of Binary Prolog. ACM Symposium on Applied Computing.
• Ooms, S., De Zutter, Dani\"el. (1995). Extension of the compression approach to include device metalizations in electromagnetic simulations. Antennas and Propagation Society International Symposium, 1995. AP-S. Digest. 2 1054--1057.
• Tarau, P., Demoen, B., De Bosschere, K. (1995). The power of partial tanslation: an experiment with the C-ification of binary Prolog. Proceedings of the 1995 ACM symposium on Applied computing. 152--156.
• Verschoore, R., Duquesne, F. (1994). Der Einfluss des Ausgleichgetriebes auf die Fl\"achenleistung. Kurzfassung der Vortr\"age, VDI-Tagung Landtechnik 13/14 Oktober, Stuttgart-Hohenheim, pp 11.1-11.3.

Journal Article

• Tarau, P. (2022). Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis. 22 (5) 693--707. Cambridge University Press, https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming
• , P. (2021). Interactive Text Graph Mining with a Prolog-Based Dialog Engine. Theory and Practice of Logic Programming. 21 (2) 244-263.
• Tarau, P. (2020). Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Fundam. Informaticae 177(3-4). (Fundam. Informaticae 177(3-4): 385-415) 30. https://content.iospress.com/articles/fundamenta-informaticae/fi1994
• Tarau, P., Blanco, E. (2020). Interactive Text Graph Mining with a Prolog-Based Dialog Engine. Theory and Practice of Logic Programming. 1–20. Cambridge University Press.
• Tarau, P. (2018). Introduction to the 34-th international conference on logic programming special issue. Theory and Practice of Logic Programming. 18 4. Cambridge, Cambridge University Press. https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/introduction-to-the-34th-international-conference-on-logic-programming-special-issue/5ED65FA948132BA6AF6C4519072E6451
• Tarau, P. (2018). Random generation of closed simply typed lambda-terms: A synergy between logic programming and Boltzmann samplers. Theory and Practice of Logic Programming. 18 (1) 24. Cambridge, Cambridge University Press. https://dblp.org/rec/bib/journals/tplp/BendkowskiGT18
• Bendkowski, M., Grygiel, K., Tarau, P. (2017). Random generation of closed simply typed $\lambda$-terms: A synergy between logic programming and Boltzmann samplers. Theory and Practice of Logic Programming. heory and Practice of Logic Programming. 1--23. Cambridge University Press.
• Tarau, P. (2014). A generic numbering system based on catalan families of combinatorial objects. Other.
• Tarau, P. (2014). Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers, PPDP'14. ACM.
• Tarau, P., Hamid, F. (2014). Interclausal Logic Variables. Other.
• Tarau, P., Hamid, F. (2014). Interclausal Logic Variables, ICLP'2014. Cambridge Univ. Press.
• Tarau, P. (2014). The Arithmetic of Recursively Run-length Compressed Natural Numbers, ICTAC'2014. Springer, LNCS 8687.
• Tarau, P. (2014). Towards a generic view of primality through multiset decompositions of natural numbers. Theoretical Computer Science. 537 105 - 124. Elsevier.
• Tarau, P. (2013). Bijective Size-proportionate G\"odel Numberings for Term Algebras. Other.
• Tarau, P. (2013). Binary Tree Arithmetic with Generalized Constructors. Other.
• Haraburda, D., Tarau, P. (2013). Binary trees as a computational framework. Other. 39 (4) 163--181. Pergamon.
• Haraburda, D., Tarau, P. (2013). Binary trees as a computational framework, in Computer Languages, Systems & Structures. 39 (4) 163-181. Elsevier.
• Paul Tarau. (2013). Compact Serialization of Prolog Terms (with Catalan Skeletons, Cantor Tupling and Goedel Numberings, in Theory and Practice of Logic Programming, 13:4-5, pp. 847-861. 13 (4-5) 847-861. Cambridge Univ. Press.
• Tarau, P. (2013). Compact serialization of prolog terms (with Catalan skeletons, Cantor tupling and G\"odel numberings). Theory and Practice of Logic Programming. 13 (4-5) 847--861. Cambridge University Press.
• Tarau, P. (2013). Modeling Prime Factorization with Bijections between Natural Numbers, Finite Sequences and Multisets.
• Tarau, P. (2013). On Two Infinite Families of Pairing Bijections. Other.
• Tarau, P. (2013). Tree-based Arithmetic and Compressed Representations of Giant Numbers. Other.
• Tarau, P. (2012). A declarative specification of tree-based symbolic arithmetic computations. Other. 273--288. Springer Berlin/Heidelberg.
• Tarau, Paul and Majumdar, Arun and Moura, Paulo. (2012). Agent Spaces: a Scalable Architecture for Distributed Logic Agents.
• Tarau, Paul. (2012). Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection.
• Paul Tarau. (2011). - The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines.
• Tarau, P. (2011). Concurrent programming constructs in multi-engine prolog. Other. 11
• Paul Tarau. (2010). "Everything Is Everything" Revisited: Shapeshifting Data Types with Isomorphisms and Hylomorphisms..
• Tarau, P. (2010). Integrated Symbol, Engine Table and Heap Memory Management in Multi-Engine Prolog.
• Tarau, P. (2008). Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell. Other.
• Tarau, P. (2008). Isomorphic Data Encodings in Haskell and their Generalization to Hylomorphisms on Hereditarily Finite Data Types. Other.
• Tarau, P. (2008). Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog. Other.
• Tarau, P., Dahl, V. (2007). Towards a Logic Programming Infrastructure for. Other. 431. Springer.
• Tarau, P. (2006). BinProlog 2006 version 11. x Professional Edition User Guide. Other.
• Figa, E., Tarau, P., Ephraim, J. (2004). Enhancing the virtual storytelling experience with metadata driven voice enabled conversational agents. Proceedings of the Association for Information Science and Technology. 41 (1) 403--410. Wiley Subscription Services, Inc., A Wiley Company.
• Pankaj, G., Tarau, P. (2002). THE DESIGN AND IMPLEMENTATION OF PROLOG PARSER USING JAVACC..
• Elizabeth Figa and Paul Tarau. (2002). The vista architecture: experiencing stories through virtual storytelling agents.
• Paul Tarau and Veronica Dahl. (2001). High-Level Networking with Mobile Code and First Order AND-Continuations.
• V. Dahl, P. Tarau, S. Rochefort, and M. Scurtescu. (1999). A Spanish Interface to LogiMoo- towards multilingual virtual worlds.
• Paul Tarau, Koen De Bosschere, Veronica Dahl, and Stephen Rochefort. (1999). LogiMOO: an Extensible Multi-User Virtual World with Natural Language Control.
• Paul Tarau. (1999). Multi-Engine Horn Clause Prolog.
• RYAN, C., Vanhaesebrouck, P. (1999). Prenatal and Neonatal Transport in Europe: Report of the European Netwotk for Perinatal Transport (EUROPET). Contribution acknowledged in surveys of Transport practices in European NICU's and Technical aspects of Neonatal transport. Other. 4 125--129.
• V. Dahl, P. Tarau, P. Accuosto, S. Rochefort, and M. Scurtescu. (1998). Assumption Grammars for Knowledge Based Systems.
• Veronica Dahl and Paul Tarau. (1998). From Assumptions to Meaning.
• Govaerts, M., Voet, M., Volckaert, G., Goddeeris, B. (1998). PCR amplification and sequence of the p33 piroplasm surface antigen gene of a Theileria species isolated from cattle in west Java, Indonesia. Annals of the New York Academy of Sciences. 849 (1) 126--136. Blackwell Publishing Ltd.
• P. Tarau, K. De Bosschere, and Bart Demoen. (1997). On Delphi Lemmas And other Memoing Techniques For Deterministic Logic Programs.
• K. De Bosschere and P. Tarau. (1996). Blackboard-based Extensions in Prolog.
• Paul Tarau, Koen De Bosschere, and Bart Demoen. (1996). Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology.
• Moerman, P., Desoppere, E. (1996). Thermo-akoestische koeling. Other.
• Wauters, N. (1995). Functional Representation of Optical Transport Networks and Survellance Monitoring Techniques. Other.
• Vandamme, F. (1995). KIT-watching from Hardware to Contentware.. Other. 9 (7)
• SYS, W. (1995). Response of Blade Roots to High Bending Moments. Other.
• Tarau, P. (1995). Une machine abstraite optimis\'ee \`a passage de continuations: l'exp\'erience BinProlog. Other. 14 (6) 713--731. Lavoisier.
• Paul Tarau. (1995). Une machine abstraite optimisée à passage de continuations: l'expérience BinProlog.
• Tarau, P., De Bosschere, K., Demoen, B. (1994). Improving memoing with abstract answers and Delphi lemmas. Department of Computer Science, KU Leuven, Leuven, Belgium.
• COMMERS, R. (1994). Traditie: bron of kerker?, een wijsgerige briefwisseling met Herman De Dijn. Other.
• Corlatan, D., Van Den Bossche, J., JACQUET, J., Erwin De Ley, V FERRARA, Colpaert, C., Maximus, B., De Meyere, A., BERNARDINI, F., Denecker, K., Desmedt, P., others. (1994). UV induced activator excitation in ZnS: Mn thin film electroluminescent devices with probe layers. Other. 100 250.
• Tarau, P., DAHL, V., DE BOSSCHERE, K. (1993). A Logic Programming Infrastructure for Internet Programming, Mobile Code and Agents. Other. 12 1--199.
• Vanderkerken, K., Van Ranst, H., Bouwens, L., Baekeland, M., VAN DEN BERG, K., WISSE, E., ZS BIRO, H.P., VIANA, R., Delaey, J., Van Loock, W., others. (1993). Effect of irradiation on the binding and cytotoxic capacities of hepatic natural killer cells. Other. 100 250.
• Tarau, P., DE BOSSCHERE, K., DAHL, V., ROCHEFORT, S. (1993). LogiMOO: an Extensible Multi-User Virtual World with Natural Language Control. Other. 12 1--199.
• Degryse, K., Parmentier, J. (1993). Maritime Aspects of the Ostend Trade to Mocha, India and China (1715-1732). Other. 139--175.

Other

• Mihalcea, R.F., Tarau, P. (2010). Graph-based ranking algorithms for text processing.
• Ratau, P., Demoen, B. (1994). Higher-order programming in an OR-intensive style. Katholieke Universiteit Leuven. Departement Computerwetenschappen.
• Moulin, B., Tarau, P. (1986). Projet SEUL: environnement de conception de syst\`emes \`a base de connaissances et comportements st\'er\'eotyp\'es. D\'ep. d'informatique, Universit\'e Laval.
• Tarau, P., Universit\'e Laval. D\'epartement d'informatique. (1986). Projet SEUL: environnement de conception de syst\`emes \`a base de connaissances et comportements st\'er\'eotyp\'es. Qu\'ebec: D\'ep. d'informatique, Universit\'e Laval.
• Hamelin, D., Tarau, P., Universit\'e Laval. D\'epartement d'informatique. (1984). Projet SEUL pour la conception de syst\`emes experts mettant en oeuvre le principe d'autonomie, version vo. 1. Qu\'ebec: D\'ep. d'informatique, Universit\'e Laval.

Ph.D. Thesis

• Tarau, P. (2011). Arithmetic Computations and Memory Management Using a Binary Tree Encoding of Natural Numbers. University of North Texas.
• Dandala, B. (2010). Graph-based keyphrase extraction using Wikipedia. University of North Texas.
• Tarau, P. (2005). An Empirical Evaluation of Communication and Coordination Effectiveness in Autonomous Reactive Multiagent Systems. University of North Texas.
• Tarau, P. (2005). PLANNING TECHNIQUES FOR AGENT BASED 3D ANIMATIONS. UNIVERSITY OF NORTH TEXAS.
• Tarau, P. (2003). AGENT EXTENSIONS FOR PEER-TO-PEER NETWORKS. UNIVERSITY OF NORTH TEXAS.
• Tarau, P. (2003). INTELLIGENT MEMORY MANAGEMENT HEURISTICS. UNIVERSITY OF NORTH TEXAS.
• Tarau, P. (2003). MACHINE LEARNING TECHNIQUES FOR CONVERSATIONAL AGENTS. UNIVERSITY OF NORTH TEXAS.
• Tarau, P. (1985). Cr\'eation d'un environnement de repr\'esentation de structures conceptuelles. Universit\'e Laval.

Popular Press Article

• Paul Tarau. (2009). Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types.
• Paul Tarau. (2008). A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions.
• Paul Tarau. (2008). Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell.
• Paul Tarau. (2008). Executable Set Theory and Arithmetic Encodings in Prolog.
• Paul Tarau. (2008). Logic Engines as Interactors.
• Paul Tarau. (2008). Pairing Functions, Boolean Evaluation and Binary Decision Diagrams.
• Paul Tarau. (2008). Ranking and Unranking of Hereditarily Finite Functions and Permutations.
• Paul Tarau. (2008). Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes.
• Paul Tarau. (2008). The Jinni Prolog Compiler: a fast and flexible Prolog-in-Java.
• Paul Tarau. (2006). BinProlog 11.x Professional Edition: Advanced BinProlog Programming and Extensions Guide.
• Paul Tarau. (2006). BinProlog 11.x Professional Edition: BinProlog Interfaces Guide.
• Paul Tarau. (2006). BinProlog 11.x Professional Edition: Internet Programming Guide.
• Paul Tarau. (2006). BinProlog 11.x Professional Edition: User Guide.
• Stephen Rochefort, Veronica Dahl, and Paul Tarau. (1999). A Framework for Virtual Learning Environments.
• Andrea Schiel, Veronica Dahl, and Paul Tarau. (1998). Generating Internet Based VRML Animations through Natural Language Controlled Partial Order Planners.
• Veronica Dahl, Paul Tarau, Stephen Rochefort, and Marius Scortescu. (1997). A Spanish Interface to LogiMoo- towards multilingual virtual worlds.
• Paul Tarau. (1997). BinProlog 5.75 User Guide.
• Paul Tarau. (1996). BinProlog 5.25 User Guide.
• Paul Tarau, Veronica Dahl, and Andrew Fall. (1995). Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars.
• Paul Tarau. (1995). BinProlog 4.00 User Guide.
• Paul Tarau. (1994). BinProlog 2.20 User Guide.
• Paul Tarau and Bart Demoen. (1994). Higher-Order Programming in an OR-intensive Style.
• Bart Demoen, Geert Engels, and Paul Tarau. (1994). Issues in (copying) garbage collection for (Bin)WAM.
• Paul Tarau. (1993). BinProlog 1.71 User Guide.
• Paul Tarau and Ulrich Neumerkel. (1993). Compact Representation of Terms and Instructions in the BinWAM.
• K. De Bosschere and P. Tarau. (1993). Continuation Passing Style Prolog-to-C Mapping at Native WAM-speed.
• Paul Tarau. (1992). Ecological Memory Management in a Continuation Passing Prolog engine.
• Paul Tarau. (1992). WAM-optimizations in BinProlog: Towards a Realistic Continuation Passing Prolog Engine.
• Paul Tarau. (1990). Transformation de programmes logiques.

Research Report

• Tarau, P. (2023). Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles. 23. arXiv e-prints. https://arxiv.org/abs/2308.15890

Software

• Tarau, P. (2004). Development of the Jinni Prolog compiler and the Prolog3D agent based 3D animation software - about 22,000 lines of Java and Prolog code.
• Tarau, P. (2004). Kernel Prolog: a Refactoring of ISO-Prolog for Interoperation with Object Oriented Languages.
• Tarau, P. (2004). PocketJinni Prolog system for Java-enabled PDAs and Wireless Phones.
• joint work with Bart Demoen from K.U. of Leuven, Belgium. (2004). The jProlog experimental Prolog-to-Java translator.
• Tarau, P. (2004). WordNet Prolog based Voice-enbled Conversational Agent.
• Tarau, P. (1997). Jinni high performance Java based Prolog compiler.
• Tarau, P. (1990). an energy minimization based automatic Tetris player.
• Tarau, P. (1990). an OR-parallel binary program evaluator.
• Tarau, P. (1990). BinProlog Multi-Threaded Prolog Compiler.
• Tarau, P. (1988). an expert system on computer security in Prolog.
• Tarau, P. (1987). a Prolog interpreter and compiler in TurboProlog.
• Tarau, P. (1985). an expert system with natural language interface in Lisp.

Technical Report

• Tarau, P. (1999). BinProlog 7.0 Professional Edition: Internet Programming Guide. Technical report, BinNet Corp., 1998. Available from http://www. binnetcorp. com/BinProlog.
• Tarau, P. (1998). The BinProlog Experience: Implementing a High-Performance Continuation Passing Prolog Engine. Technical report, BinNet Corp.

Contracts, Grants and Sponsored Research

Grant - Research

• Tarau, P. (Principal), "Arithmetic Algorithms and Applications of Hereditarily Binary Numbers," sponsored by NSF Research Grant, Federal, $253161 Funded. (2014 - 2018).
• Tarau, P. (Co-Principal), "Keyphrase Extraction in Document Networks," sponsored by NSF Research Grant, Federal, $324866 Funded. (2014 - 2018).
• Tarau, P. (Principal), "SHF: Small: Application of Hereditarily Binary Numbers," sponsored by National Science Foundation, FED, Funded. (2014 - 2019).
• Tarau, P. (Principal), "Arithmetic Algorithms and Applications of Hereditarily Binary Numbers," sponsored by NSF Research Grant, Federal, Funded. (2014 - 2018).
• Tarau, P. (Co-Principal), "Keyphrase Extraction in Document Networks," sponsored by NSF Research Grant, Federal, Funded. (2014 - 2018).
• Caragea, C.A. (Principal), Tarau, P. (Co-Principal), "III: Small: Collaborative Research: Keyphrase Extraction in Document Networks," sponsored by National Science Foundation, FED, Funded. (2014 - 2017).