 | 2009 |
|---|
| 72 |       | Paul Tarau:
A Groupoid of Isomorphic Data Transformations.
Calculemus/MKM 2009: 170-185 |
| 71 | | Paul Tarau,
Arun Majumdar:
Interoperating Logic Engines.
PADL 2009: 137-151 |
| 70 | | Paul Tarau:
An embedded declarative data transformation language.
PPDP 2009: 171-182 |
| 69 | | Paul Tarau:
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell.
SAC 2009: 1898-1902 |
| 2008 |
|---|
| 68 | | Paul Tarau,
Brenda Luderman:
Exact combinational logic synthesis and non-standard circuit design.
Conf. Computing Frontiers 2008: 179-188 |
| 67 | | Paul Tarau:
Logic Engines as Interactors.
ICLP 2008: 703-707 |
| 66 | | Paul Tarau,
Brenda Luderman:
Revisiting exact combinational circuit synthesis.
SAC 2008: 1758-1759 |
| 65 | | Paul Tarau,
Brenda Luderman:
A Logic Programming Framework for Combinational Circuit Synthesis
CoRR abs/0804.2095: (2008) |
| 64 | | Paul Tarau:
Executable Set Theory and Arithmetic Encodings in Prolog
CoRR abs/0808.0540: (2008) |
| 63 | | Paul Tarau:
Ranking and Unranking of Hereditarily Finite Functions and Permutations
CoRR abs/0808.0554: (2008) |
| 62 | | Paul Tarau:
Pairing Functions, Boolean Evaluation and Binary Decision Diagrams
CoRR abs/0808.0555: (2008) |
| 61 | | Paul Tarau:
Logic Engines as Interactors
CoRR abs/0808.0556: (2008) |
| 60 | | Paul Tarau:
Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes
CoRR abs/0808.0753: (2008) |
| 59 | | Paul Tarau:
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
CoRR abs/0808.0754: (2008) |
| 58 | | Paul Tarau:
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
CoRR abs/0808.0760: (2008) |
| 57 | | Paul Tarau:
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
CoRR abs/0808.2953: (2008) |
| 2007 |
|---|
| 56 | | Paul Tarau,
Brenda Luderman:
A Logic Programming Framework for Combinational Circuit Synthesis.
ICLP 2007: 180-194 |
| 2005 |
|---|
| 55 | | Paul Tarau:
Agent oriented logic programming in Jinni 2004.
SAC 2005: 1427-1428 |
| 54 | | David Hurt,
Paul Tarau:
An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems.
SAC 2005: 74-78 |
| 53 | | Paul Tarau,
Rada Mihalcea,
Elizabeth Figa:
Semantic document engineering with WordNet and PageRank.
SAC 2005: 782-786 |
| 2004 |
|---|
| 52 | | Paul Tarau:
Agent Oriented Logic Programming Constructs in Jinni 2004.
ICLP 2004: 477-478 |
| 51 |  | Elizabeth Figa,
Paul Tarau:
Conversational Agents as Web Services.
International Conference on Internet Computing 2004: 773-782 |
| 50 | | Paul Tarau,
Elizabeth Figa:
Knowledge-based conversational agents and virtual storytelling.
SAC 2004: 39-44 |
| 49 | | Paul Tarau,
Verónica Dahl:
High-Level Networking With Mobile Code And First Order AND-Continuations
CoRR cs.PL/0405088: (2004) |
| 2003 |
|---|
| 48 | | Qinan Zhou,
Paul Tarau:
Garbage Collection Algorithms for Java-Based Prolog Engines.
PADL 2003: 304-319 |
| 2001 |
|---|
| 47 | | Satyam Tyagi,
Paul Tarau,
Armin R. Mikler:
Multicast Protocols for Jinni Agents.
IICS 2001: 1-18 |
| 46 | | Satyam Tyagi,
Paul Tarau:
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.
PADL 2001: 322-336 |
| 45 | | Anima Gupta,
Paul Tarau:
Logic Programming Techniques for Dynamic VRML Web Content Generation.
PADL 2001: 93-107 |
| 44 | | Paul Tarau,
Verónica Dahl:
High-Level Networking with Mobile Code and First Order AND-Continuations.
TPLP 1(3): 359-380 (2001) |
| 2000 |
|---|
| 43 | | Paul Tarau:
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects.
Computational Logic 2000: 1225-1239 |
| 1999 |
|---|
| 42 | | Paul Tarau,
Verónica Dahl:
Towards a Logic Programming Infrastructure for Internet Programming.
Artificial Intelligence Today 1999: 431-457 |
| 41 | | Paul Tarau:
Multi-engine Horn Clause Prolog.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
| 40 | | Verónica Dahl,
Stephen Rochefort,
Marius Scurtescu,
Paul Tarau:
A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds.
Informatica (Slovenia) 23(4): (1999) |
| 39 | | Paul Tarau,
Koenraad De Bosschere,
Verónica Dahl,
Stephen Rochefort:
LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control.
J. Log. Program. 38(3): 331-353 (1999) |
| 1998 |
|---|
| 38 | | Paul Tarau,
Verónica Dahl:
Code Migration with First Order Continuations.
APPIA-GULP-PRODE 1998: 215-226 |
| 37 | | Paul Tarau:
Jinni: a Lightweight Java-based Logic Engine for Internet Programming.
Implementation Technology for Programming Languages based on Logic 1998: 1-15 |
| 36 | | Paul Tarau:
Towards Inference and Computation Mobility: The Jinni Experiment.
JELIA 1998: 385-390 |
| 1997 |
|---|
| 35 | | Paul Tarau,
Verónica Dahl,
Stephen Rochefort,
Koenraad De Bosschere:
LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming.
CHI Extended Abstracts 1997: 323-324 |
| 34 | | Verónica Dahl,
Paul Tarau,
Renwei Li:
Assumption Grammars for Processing Natural Language.
ICLP 1997: 256-270 |
| 33 | | Paul Tarau:
Logic Programming Tools for Advanced Internet Programming (Abstract).
ILPS 1997: 33-34 |
| 32 | | Osma R. Zaine,
Andrew Fall,
Stephen Rochefort,
Verónica Dahl,
Paul Tarau:
On-Une Resource Discovery Using Natural Language.
RIAO 1997: 336-356 |
| 31 | | Paul Tarau,
Verónica Dahl,
Koenraad De Bosschere:
A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents.
WETICE 1997: 106-112 |
| 30 | | Paul Tarau,
Koenraad De Bosschere,
Bart Demoen:
On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs.
J. Log. Program. 30(2): 145-163 (1997) |
| 1996 |
|---|
| 29 | | Paul Tarau,
Verónica Dahl,
Andrew Fall:
Backtrackable State with Linear Affine Implication and Assumption Grammars.
ASIAN 1996: 53-63 |
| 28 | | Paul Tarau,
Verónica Dahl,
Koenraad De Bosschere:
Towards Logic Programming Based Coordination in Virtual Worlds.
Coordination Technology for Collaborative Applications 1996: 49-62 |
| 27 | | Verónica Dahl,
Andrew Fall,
Stephen Rochefort,
Paul Tarau:
A Hypothetical Reasoning-based Framework for NL Processing.
ICTAI 1996: 67-70 |
| 26 | | Bart Demoen,
Geert Engels,
Paul Tarau:
Segment order preserving copying garbage collection for WAM based Prolog.
SAC 1996: 380-386 |
| 25 | | Paul Tarau,
Koenraad De Bosschere,
Bart Demoen:
Partial Translation: Towards a Portable and Efficient Prolog Implementation Technology.
J. Log. Program. 29(1-3): 65-83 (1996) |
| 24 | | Koenraad De Bosschere,
Paul Tarau:
Blackboard-based Extensions in Prolog.
Softw., Pract. Exper. 26(1): 49-69 (1996) |
| 1995 |
|---|
| 23 | | Yves Bekkers,
Paul Tarau:
Monadic Constructs for Logic Programming.
ILPS 1995: 51-65 |
| 22 | | Paul Tarau,
Verónica Dahl,
Andrew Fall:
Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars.
ILPS 1995: 642 |
| 21 | | Yves Bekkers,
Paul Tarau:
Logic Programming with Monads and Comprehensions.
JFPLC 1995: 161-171 |
| 20 | | Verónica Dahl,
Paul Tarau:
Extending Datalog Grammars.
NLDB 1995: 0- |
| 19 | | Paul Tarau,
Bart Demoen,
Koenraad De Bosschere:
The power of partial tanslation: an experiment with the C-ification of binary Prolog.
SAC 1995: 152-156 |
| 18 | | Verónica Dahl,
Paul Tarau,
Lidia Moreno,
Manuel Palomar:
Treating Coordination with Datalog Grammars
CoRR cmp-lg/9505006: (1995) |
| 1994 |
|---|
| 17 | | Verónica Dahl,
Paul Tarau,
Yan-Nong Huang:
Datalog Grammars.
GULP-PRODE (2) 1994: 268-282 |
| 16 | | Paul Tarau:
Low-level issues in implementing a high-performance continuation passing Binary Prolog engine.
JFPLC 1994: 287- |
| 15 | | Paul Tarau,
Verónica Dahl:
Logic Programming and Logic Grammars with First-Order Continuations.
LOPSTR 1994: 215-230 |
| 14 | | Paul Tarau,
Bart Demoen:
Language Embedding by Dual Compilation and State Mirroring.
LPE 1994: 0- |
| 13 | | Paul Tarau,
Ulrich Neumerkel:
A Novel Term Compression Scheme and Data Representation in the BinWAM.
PLILP 1994: 73-87 |
| 12 | | Koenraad De Bosschere,
Paul Tarau:
High performance continuation passing style Prolog-to-C mapping.
SAC 1994: 383-387 |
| 1993 |
|---|
| 11 | | Paul Tarau:
Language Issues and Programming Techniques in BinProlog.
GULP 1993: 173-188 |
| 10 | | Paul Tarau:
An Efficient Specialization of the WAM for Continuation Passing Binary Programs.
ILPS 1993: 652 |
| 9 | | Koenraad De Bosschere,
Paul Tarau:
Blackboard-based Extensions for Parallel Programming in BinProlog.
ILPS 1993: 664 |
| 8 | | Paul Tarau,
Koenraad De Bosschere:
Memoing with Abstract Answers and Delphi Lemmas.
LOPSTR 1993: 196-209 |
| 7 | | Koen De Bosschere,
Paul Tarau:
Blackboard Communication in Logic Programming.
PARCO 1993: 257-264 |
| 1992 |
|---|
| 6 | | Paul Tarau:
Ecological Memory Management in a Continuation Passing Prolog Engine.
IWMM 1992: 344-356 |
| 5 | | Paul Tarau:
BinProlog: a Continuation Passing Style Prolog Engine.
PLILP 1992: 479-480 |
| 1991 |
|---|
| 4 | | Paul Tarau,
Michel Boyer:
Nonstandard Answers of Elementary Logic Programs.
ICLP Workshop on Construction of Logic Programs 1991: 279-300 |
| 3 | | Paul Tarau:
Program Transformations and WAM-Support for the Compilation of Definite Metaprograms.
RCLP 1991: 462-473 |
| 1990 |
|---|
| 2 | | Paul Tarau,
Michel Boyer:
Elementary Logic Programs.
PLILP 1990: 159-173 |
| 1988 |
|---|
| 1 | | Paul Tarau,
Michel Boyer:
Prolog Meta-Programming with Soft Databases.
META 1988: 365-381 |
