Paul Tarau - RankMe

179 papers A* 1A 1B 11C 35Misc 19Journal 51Unranked 55

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication. CoRR Paul Tarau
2025	C	`conf`	Focusing Recursive LLM Descents with Plans Expressed as Logic Programs. LOPSTR Paul Tarau
2025	C	`conf`	Leveraging LLM Reasoning with Dual Horn Programs. PADL Paul Tarau
2024	B	`conf`	On LLM-generated Logic Programs and their Inference Execution Methods. ICLP Paul Tarau
2024	—	`conf`	On Teaching Logic Programming in the Era of Generative AI. ICLP Workshops Paul Tarau
2024	Misc	`conf`	System Description: DeepLLM, Casting Dialog Threads into Logic Programs. FLOPS Paul Tarau
2024	J	`jnl`	Through the Looking Glass, and what Horn Clause Programs Found There. CoRR Paul Tarau
2023	J	`jnl`	Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles. CoRR Paul Tarau
2023	B	`conf`	Natlog: Embedding Logic Programming into the Python Deep-Learning Ecosystem. ICLP Paul Tarau
2023	—	`ch.`	Reflections on Automation, Learnability and Expressiveness in Logic-Based Programming Languages. Prolog: The Next 50 Years Paul Tarau
2022	—	`conf`	A Gaze into the Internal Logic of Graph Neural Networks, with Logic. ICLP Technical Communications / Doctoral Consortium Paul Tarau
2022	J	`jnl`	Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis. CoRR Paul Tarau
2022	J	`jnl`	Abductive Reasoning in Intuitionistic Propositional Logic via Theorem Synthesis. Theory Pract. Log. Program. Paul Tarau
2022	—	`conf`	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 Yifan Guo, David Brock, Alicia Lin, Tam Doan, Ali Y. Khan, Paul Tarau
2022	Misc	`conf`	Textstar: a Fast and Lightweight Graph-Based Algorithm for Extractive Summarization and Keyphrase Extraction. ALTA David Brock, Ali Y. Khan, Tam Doan, Alicia Lin, Yifan Guo, Paul Tarau
2021	C	`conf`	A Family of Unification-Oblivious Program Transformations and Their Applications. PADL Paul Tarau
2021	C	`conf`	DocTalk: Combining Dependency-Based Text Graphs and Deep Learning into a Practical Dialog Engine. FQAS Yifan Guo, Weilun Sun, Ali Y. Khan, Tam Doan, Paul Tarau
2021	J	`jnl`	Interactive Text Graph Mining with a Prolog-Based Dialog Engine. Theory Pract. Log. Program. Paul Tarau, Eduardo Blanco
2021	—	`conf`	Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch. ICLP Technical Communications Paul Tarau
2020	J	`jnl`	Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms. Fundam. Informaticae Paul Tarau
2020	—	`conf`	Deriving Theorems in Implicational Linear Logic, Declaratively. ICLP Technical Communications Paul Tarau, Valeria de Paiva
2020	C	`conf`	Interactive Text Graph Mining with a Prolog-based Dialog Engine. PADL Paul Tarau, Eduardo Blanco
2020	J	`jnl`	Interactive Text Graph Mining with a Prolog-based Dialog Engine. CoRR Paul Tarau, Eduardo Blanco
2020	C	`conf`	Synthesis of Modality Definitions and a Theorem Prover for Epistemic Intuitionistic Logic. LOPSTR Paul Tarau
2019	C	`conf`	A Combinatorial Testing Framework for Intuitionistic Propositional Theorem Provers. PADL Paul Tarau
2019	J	`jnl`	Dependency-based Text Graphs for Keyphrase and Summary Extraction with Applications to Interactive Content Retrieval. CoRR Paul Tarau, Eduardo Blanco
2019	J	`jnl`	Formula Transformers and Combinatorial Test Generators for Propositional Intuitionistic Theorem Provers. CoRR Paul Tarau
2019	—	`conf`	Lazy Stream Programming in Prolog. ICLP Technical Communications Paul Tarau, Jan Wielemaker, Tom Schrijvers
2019	J	`jnl`	Modality Definition Synthesis for Epistemic Intuitionistic Logic via a Theorem Prover. CoRR Paul Tarau
2018	Misc	`conf`	Declarative algorithms for generation, counting and random sampling of term algebras. SAC Paul Tarau
2018	J	`jnl`	Introduction to the 34-th international conference on logic programming special issue. Theory Pract. Log. Program. Alessandro Dal Palù, Paul Tarau
2018	C	`conf`	On k-colored Lambda Terms and Their Skeletons. PADL Paul Tarau
2018	J	`jnl`	Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers. Theory Pract. Log. Program. Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
2018	—	`conf`	Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic. RCRA@FLoC Paul Tarau
2018	—	`ed.`	Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, Oxford, United Kingdom, July 14-17, 2018 ICLP (Technical Communications) Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor
2017	—	`conf`	A Hitchhiker's Guide to Reinventing a Prolog Machine. ICLP (Technical Communications) Paul Tarau
2017	C	`conf`	Boltzmann Samplers for Closed Simply-Typed Lambda Terms. PADL Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
2017	C	`conf`	On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. LOPSTR Olivier Bodini, Paul Tarau
2017	J	`jnl`	On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms. CoRR Olivier Bodini, Paul Tarau
2016	C	`conf`	A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. LOPSTR Paul Tarau
2016	J	`jnl`	A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms. CoRR Paul Tarau
2016	C	`conf`	A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan Objects Endowed with Arithmetic Operations. PADL Paul Tarau
2016	B	`conf`	Automatic Question Generation: From NLU to NLG. ITS Karen Mazidi, Paul Tarau
2016	C	`conf`	Computing with Catalan Families, Generically. PADL Paul Tarau
2016	A	`conf`	Evaluating Text Summarization Systems with a Fair Baseline from Multiple Reference Summaries. ECIR Fahmida Hamid, David Haraburda, Paul Tarau
2016	B	`conf`	Infusing NLU into Automatic Question Generation. INLG Karen Mazidi, Paul Tarau
2016	J	`jnl`	Random generation of closed simply-typed $λ$-terms: a synergy between logic programming and Boltzmann samplers. CoRR Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
2015	J	`jnl`	A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations. CoRR Paul Tarau
2015	—	`conf`	Anti-Summaries: Enhancing Graph-Based Techniques for Summary Extraction with Sentiment Polarity. CICLing (2) Fahmida Hamid, Paul Tarau
2015	C	`conf`	On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization. PADL Paul Tarau
2015	Misc	`conf`	On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees. SYNASC Paul Tarau
2015	—	`conf`	On Type-directed Generation of Lambda Terms. ICLP (Technical Communications) Paul Tarau
2015	C	`conf`	On a uniform representation of combinators, arithmetic, lambda terms and types. PPDP Paul Tarau
2015	C	`conf`	Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices. CICM Paul Tarau
2015	Misc	`conf`	The Arithmetic of Even-Odd Trees. SYNASC Paul Tarau
2014	C	`conf`	A Declarative Specification of Giant Number Arithmetic. PADL Paul Tarau
2014	J	`jnl`	A Generic Numbering System based on Catalan Families of Combinatorial Objects. CoRR Paul Tarau
2014	Misc	`conf`	Arithmetic algorithms for hereditarily binary natural numbers. SAC Paul Tarau, Bill P. Buckles
2014	J	`jnl`	Arithmetic and Boolean Operations on Recursively Run-Length Compressed Natural Numbers. Sci. Ann. Comput. Sci. Paul Tarau
2014	C	`conf`	Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. PPDP Paul Tarau
2014	C	`conf`	Computing with Catalan Families. LATA Paul Tarau
2014	J	`jnl`	Interclausal Logic Variables. CoRR Paul Tarau, Fahmida Hamid
2014	Misc	`conf`	New Arithmetic Algorithms for Hereditarily Binary Natural Numbers. SYNASC Paul Tarau
2014	—	`conf`	Text summarization as an assistive technology. PETRA Fahmida Hamid, Paul Tarau
2014	C	`conf`	The Arithmetic of Recursively Run-Length Compressed Natural Numbers. ICTAC Paul Tarau
2014	J	`jnl`	Towards a generic view of primality through multiset decompositions of natural numbers. Theor. Comput. Sci. Paul Tarau
2013	J	`jnl`	A Prolog Specification of Giant Number Arithmetic. CoRR Paul Tarau
2013	J	`jnl`	Arithmetic Algorithms for Hereditarily Binary Natural Numbers. CoRR Paul Tarau
2013	J	`jnl`	Binary Tree Arithmetic with Generalized Constructors CoRR Paul Tarau
2013	J	`jnl`	Binary trees as a computational framework. Comput. Lang. Syst. Struct. David Haraburda, Paul Tarau
2013	J	`jnl`	Compact serialization of Prolog terms (with catalan skeletons, cantor tupling and Gödel numberings). Theory Pract. Log. Program. Paul Tarau
2013	J	`jnl`	On Two Infinite Families of Pairing Bijections CoRR Paul Tarau
2013	J	`jnl`	Tree-based Arithmetic and Compressed Representations of Giant Numbers CoRR Paul Tarau
2013	—	`conf`	Two mechanisms for generating infinite families of pairing bijections. RACS Paul Tarau
2012	C	`conf`	A Declarative Specification of Tree-Based Symbolic Arithmetic Computations. PADL Paul Tarau
2012	—	`conf`	Agent spaces: a scalable architecture for distributed logic agents. RACS Paul Tarau, Arun K. Majumdar, Paulo Moura
2012	Misc	`conf`	Boolean Evaluation with a Pairing and Unpairing Function. SYNASC Paul Tarau, Brenda Luderman
2012	Misc	`conf`	Computing with Free Algebras. SYNASC Paul Tarau
2012	—	`conf`	Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection. ICLP (Technical Communications) Paul Tarau
2012	Misc	`conf`	On computing with types. SAC Paul Tarau, David Haraburda
2012	—	`conf`	Symbolic modeling of a universal reconfigurable logic gate and its applications to circuit synthesis. RACS Paul Tarau, Brenda Luderman
2012	J	`jnl`	The BinProlog experience: Architecture and implementation choices for continuation passing Prolog and first-class logic engines. Theory Pract. Log. Program. Paul Tarau
2011	J	`jnl`	Bijective Term Encodings CoRR Paul Tarau
2011	J	`jnl`	Computing with Hereditarily Finite Sequences CoRR Paul Tarau
2011	—	`conf`	Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!). DAMP Paul Tarau
2011	C	`conf`	Coordination and Concurrency in Multi-engine Prolog. COORDINATION Paul Tarau
2011	C	`conf`	Emulating Primality with Multiset Representations of Natural Numbers. ICTAC Paul Tarau
2011	C	`conf`	Integrated symbol table, engine and heap memory management in multi-engine prolog. ISMM Paul Tarau
2011	J	`jnl`	The BinProlog Experience: Architecture and Implementation Choices for Continuation Passing Prolog and First-Class Logic Engines CoRR Paul Tarau
2010	J	`jnl`	"Everything Is Everything" Revisited: Shapeshifting Data Types with Isomorphisms and Hylomorphisms. Complex Syst. Paul Tarau
2010	J	`jnl`	A Unified Formal Description of Arithmetic and Set Theoretical Data Types CoRR Paul Tarau
2010	—	`conf`	A Unified Formal Description of Arithmetic and Set Theoretical Data Types. AISC/MKM/Calculemus Paul Tarau
2010	C	`conf`	Declarative modeling of finite mathematics. PPDP Paul Tarau
2010	—	`conf`	Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes. MSFP@ICFP Paul Tarau
2010	C	`conf`	On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. ICTAC Paul Tarau
2009	—	`conf`	A Groupoid of Isomorphic Data Transformations. Calculemus/MKM Paul Tarau
2009	C	`conf`	An embedded declarative data transformation language. PPDP Paul Tarau
2009	C	`conf`	Interoperating Logic Engines. PADL Paul Tarau, Arun K. Majumdar
2009	Misc	`conf`	Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. SAC Paul Tarau
2008	J	`jnl`	A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions CoRR Paul Tarau
2008	J	`jnl`	A Logic Programming Framework for Combinational Circuit Synthesis CoRR Paul Tarau, Brenda Luderman
2008	J	`jnl`	Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell CoRR Paul Tarau
2008	J	`jnl`	Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell CoRR Paul Tarau
2008	—	`conf`	Exact combinational logic synthesis and non-standard circuit design. Conf. Computing Frontiers Paul Tarau, Brenda Luderman
2008	J	`jnl`	Executable Set Theory and Arithmetic Encodings in Prolog CoRR Paul Tarau
2008	J	`jnl`	Logic Engines as Interactors CoRR Paul Tarau
2008	B	`conf`	Logic Engines as Interactors. ICLP Paul Tarau
2008	J	`jnl`	Pairing Functions, Boolean Evaluation and Binary Decision Diagrams CoRR Paul Tarau
2008	J	`jnl`	Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes CoRR Paul Tarau
2008	J	`jnl`	Ranking and Unranking of Hereditarily Finite Functions and Permutations CoRR Paul Tarau
2008	Misc	`conf`	Revisiting exact combinational circuit synthesis. SAC Paul Tarau, Brenda Luderman
2007	B	`conf`	A Logic Programming Framework for Combinational Circuit Synthesis. ICLP Paul Tarau, Brenda Luderman
2005	—	`conf`	A Language Independent Algorithm for Single and Multiple Document Summarization. IJCNLP (companion) Rada Mihalcea, Paul Tarau
2005	Misc	`conf`	Agent oriented logic programming in Jinni 2004. SAC Paul Tarau
2005	Misc	`conf`	An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems. SAC David Hurt, Paul Tarau
2005	—	`conf`	PicNet: Augmenting Semantic Resources with Pictorial Representations. AAAI Spring Symposium: Knowledge Collection from Volunteer Contributors Andy Borman, Rada Mihalcea, Paul Tarau
2005	Misc	`conf`	Semantic document engineering with WordNet and PageRank. SAC Paul Tarau, Rada Mihalcea, Elizabeth Figa
2004	B	`conf`	Agent Oriented Logic Programming Constructs in Jinni 2004. ICLP Paul Tarau
2004	—	`conf`	Conversational Agents as Web Services. International Conference on Internet Computing Elizabeth Figa, Paul Tarau
2004	—	`conf`	Enhancing the virtual storytelling experience with metadata driven voice enabled conversational agents. ASIST Elizabeth Figa, Paul Tarau, Jesse Ephraim
2004	J	`jnl`	High-Level Networking With Mobile Code And First Order AND-Continuations CoRR Paul Tarau, Verónica Dahl
2004	Misc	`conf`	Knowledge-based conversational agents and virtual storytelling. SAC Paul Tarau, Elizabeth Figa
2004	B	`conf`	PageRank on Semantic Networks, with Application to Word Sense Disambiguation. COLING Rada Mihalcea, Paul Tarau, Elizabeth Figa
2004	A*	`conf`	TextRank: Bringing Order into Text. EMNLP Rada Mihalcea, Paul Tarau
2003	C	`conf`	Garbage Collection Algorithms for Java-Based Prolog Engines. PADL Qinan Zhou, Paul Tarau
2003	—	`conf`	Lexical inference mechanisms for text understanding and classification. ASIST Elizabeth Figa, Paul Tarau
2001	C	`conf`	A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. PADL Satyam Tyagi, Paul Tarau
2001	J	`jnl`	High-Level Networking with Mobile Code and First Order AND-Continuations. Theory Pract. Log. Program. Paul Tarau, Verónica Dahl
2001	C	`conf`	Logic Programming Techniques for Dynamic VRML Web Content Generation. PADL Anima Gupta, Paul Tarau
2001	—	`conf`	Multicast Protocols for Jinni Agents. IICS Satyam Tyagi, Paul Tarau, Armin R. Mikler
2000	—	`conf`	Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. Computational Logic Paul Tarau
1999	J	`jnl`	A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. Informatica (Slovenia) Verónica Dahl, Stephen Rochefort, Marius Scurtescu, Paul Tarau
1999	—	`ch.`	Inference and Computation Mobility with Jinni. The Logic Programming Paradigm Paul Tarau
1999	J	`jnl`	LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. J. Log. Program. Paul Tarau, Koenraad De Bosschere, Verónica Dahl, Stephen Rochefort
1999	—	`conf`	Multi-engine Horn Clause Prolog. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP Paul Tarau
1999	—	`ch.`	Towards a Logic Programming Infrastructure for Internet Programming. Artificial Intelligence Today Paul Tarau, Verónica Dahl
1998	—	`conf`	Code Migration with First Order Continuations. APPIA-GULP-PRODE Paul Tarau, Verónica Dahl
1998	—	`conf`	Jinni: a Lightweight Java-based Logic Engine for Internet Programming. Implementation Technology for Programming Languages based on Logic Paul Tarau
1998	B	`conf`	Towards Inference and Computation Mobility: The Jinni Experiment. JELIA Paul Tarau
1998	—	`conf`	Towards Logic Programming Based Coordination in Virtual Worlds. HICSS (7) Paul Tarau, Verónica Dahl, Koen De Bosschere
1997	C	`conf`	A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. WETICE Paul Tarau, Verónica Dahl, Koenraad De Bosschere
1997	B	`conf`	Assumption Grammars for Processing Natural Language. ICLP Verónica Dahl, Paul Tarau, Renwei Li
1997	—	`conf`	LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming. CHI Extended Abstracts Paul Tarau, Verónica Dahl, Stephen Rochefort, Koenraad De Bosschere
1997	—	`conf`	Logic Programming Tools for Advanced Internet Programming (Abstract). ILPS Paul Tarau
1997	J	`jnl`	On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. J. Log. Program. Paul Tarau, Koenraad De Bosschere, Bart Demoen
1997	—	`conf`	On-Une Resource Discovery Using Natural Language. RIAO Osma R. Zaine, Andrew Fall, Stephen Rochefort, Verónica Dahl, Paul Tarau
1996	B	`conf`	A Hypothetical Reasoning-based Framework for NL Processing. ICTAI Verónica Dahl, Andrew Fall, Stephen Rochefort, Paul Tarau
1996	—	`conf`	Backtrackable State with Linear Affine Implication and Assumption Grammars. ASIAN Paul Tarau, Verónica Dahl, Andrew Fall
1996	J	`jnl`	Blackboard-based Extensions in Prolog. Softw. Pract. Exp. Koenraad De Bosschere, Paul Tarau
1996	J	`jnl`	Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology. J. Log. Program. Paul Tarau, Koenraad De Bosschere, Bart Demoen
1996	Misc	`conf`	Segment order preserving copying garbage collection for WAM based Prolog. SAC Bart Demoen, Geert Engels, Paul Tarau
1996	—	`conf`	Towards Logic Programming Based Coordination in Virtual Worlds. Coordination Technology for Collaborative Applications Paul Tarau, Verónica Dahl, Koenraad De Bosschere
1995	—	`conf`	Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. ILPS Paul Tarau, Verónica Dahl, Andrew Fall
1995	C	`conf`	Extending Datalog Grammars. NLDB Verónica Dahl, Paul Tarau
1995	—	`conf`	Logic Programming with Monads and Comprehensions. JFPLC Yves Bekkers, Paul Tarau
1995	—	`conf`	Monadic Constructs for Logic Programming. ILPS Yves Bekkers, Paul Tarau
1995	Misc	`conf`	The power of partial tanslation: an experiment with the C-ification of binary Prolog. SAC Paul Tarau, Bart Demoen, Koenraad De Bosschere
1995	J	`jnl`	Treating Coordination with Datalog Grammars CoRR Verónica Dahl, Paul Tarau, Lidia Moreno, Manuel Palomar
1994	—	`conf`	A Novel Term Compression Scheme and Data Representation in the BinWAM. PLILP Paul Tarau, Ulrich Neumerkel
1994	—	`conf`	Datalog Grammars. GULP-PRODE (2) Verónica Dahl, Paul Tarau, Yan-Nong Huang
1994	Misc	`conf`	High performance continuation passing style Prolog-to-C mapping. SAC Koenraad De Bosschere, Paul Tarau
1994	—	`ed.`	ILPS 1994, Workshop 4: Implementation Techniques for Logic Programming Languages, Ithaca, New York, USA, November 17, 1994 ILPS Workshop: Implementation Techniques for Logic Programming Languages Koenraad De Bosschere, Bart Demoen, Paul Tarau
1994	—	`conf`	Language Embedding by Dual Compilation and State Mirroring. LPE Paul Tarau, Bart Demoen
1994	C	`conf`	Logic Programming and Logic Grammars with First-Order Continuations. LOPSTR Paul Tarau, Verónica Dahl
1994	—	`conf`	Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. JFPLC Paul Tarau
1993	—	`conf`	An Efficient Specialization of the WAM for Continuation Passing Binary Programs. ILPS Paul Tarau
1993	—	`conf`	Blackboard Communication in Logic Programming. PARCO Koen De Bosschere, Paul Tarau
1993	—	`conf`	Blackboard-based Extensions for Parallel Programming in BinProlog. ILPS Koenraad De Bosschere, Paul Tarau
1993	—	`conf`	Language Issues and Programming Techniques in BinProlog. GULP Paul Tarau
1993	C	`conf`	Memoing with Abstract Answers and Delphi Lemmas. LOPSTR Paul Tarau, Koenraad De Bosschere
1993	—	`conf`	Non-Associative Blackboard Programming. ICLP Workshop on Blackboard-Based Logic Programming Paul Tarau, Koenraad De Bosschere
1993	—	`ed.`	Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based Logic Programming, Budapest, Hungary, June 24, 1993 ICLP Workshop on Blackboard-Based Logic Programming Koen De Bosschere, Jean-Marie Jacquet, Paul Tarau
1993	—	`conf`	Some Issues in the Implementation of a Unix-based Blackboard. ICLP Workshop on Blackboard-Based Logic Programming Koenraad De Bosschere, Paul Tarau
1992	—	`conf`	BinProlog: a Continuation Passing Style Prolog Engine. PLILP Paul Tarau
1992	—	`conf`	Ecological Memory Management in a Continuation Passing Prolog Engine. IWMM Paul Tarau
1991	—	`conf`	Nonstandard Answers of Elementary Logic Programs. ICLP Workshop on Construction of Logic Programs Paul Tarau, Michel Boyer
1991	—	`conf`	Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. RCLP Paul Tarau
1990	—	`conf`	Elementary Logic Programs. PLILP Paul Tarau, Michel Boyer
1988	—	`conf`	Prolog Meta-Programming with Soft Databases. META Paul Tarau, Michel Boyer