2009 |
70 | EE | Paul Tarau,
Arun Majumdar:
Interoperating Logic Engines.
PADL 2009: 137-151 |
69 | EE | Paul Tarau:
Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell.
SAC 2009: 1898-1902 |
2008 |
68 | EE | Paul Tarau,
Brenda Luderman:
Exact combinational logic synthesis and non-standard circuit design.
Conf. Computing Frontiers 2008: 179-188 |
67 | EE | Paul Tarau:
Logic Engines as Interactors.
ICLP 2008: 703-707 |
66 | EE | Paul Tarau,
Brenda Luderman:
Revisiting exact combinational circuit synthesis.
SAC 2008: 1758-1759 |
65 | EE | Paul Tarau,
Brenda Luderman:
A Logic Programming Framework for Combinational Circuit Synthesis
CoRR abs/0804.2095: (2008) |
64 | EE | Paul Tarau:
Executable Set Theory and Arithmetic Encodings in Prolog
CoRR abs/0808.0540: (2008) |
63 | EE | Paul Tarau:
Ranking and Unranking of Hereditarily Finite Functions and Permutations
CoRR abs/0808.0554: (2008) |
62 | EE | Paul Tarau:
Pairing Functions, Boolean Evaluation and Binary Decision Diagrams
CoRR abs/0808.0555: (2008) |
61 | EE | Paul Tarau:
Logic Engines as Interactors
CoRR abs/0808.0556: (2008) |
60 | EE | Paul Tarau:
Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes
CoRR abs/0808.0753: (2008) |
59 | EE | Paul Tarau:
A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions
CoRR abs/0808.0754: (2008) |
58 | EE | Paul Tarau:
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
CoRR abs/0808.0760: (2008) |
57 | EE | Paul Tarau:
Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell
CoRR abs/0808.2953: (2008) |
2007 |
56 | EE | Paul Tarau,
Brenda Luderman:
A Logic Programming Framework for Combinational Circuit Synthesis.
ICLP 2007: 180-194 |
2005 |
55 | EE | Paul Tarau:
Agent oriented logic programming in Jinni 2004.
SAC 2005: 1427-1428 |
54 | EE | David Hurt,
Paul Tarau:
An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems.
SAC 2005: 74-78 |
53 | EE | Paul Tarau,
Rada Mihalcea,
Elizabeth Figa:
Semantic document engineering with WordNet and PageRank.
SAC 2005: 782-786 |
2004 |
52 | EE | 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 | EE | Paul Tarau,
Elizabeth Figa:
Knowledge-based conversational agents and virtual storytelling.
SAC 2004: 39-44 |
49 | EE | Paul Tarau,
Verónica Dahl:
High-Level Networking With Mobile Code And First Order AND-Continuations
CoRR cs.PL/0405088: (2004) |
2003 |
48 | EE | Qinan Zhou,
Paul Tarau:
Garbage Collection Algorithms for Java-Based Prolog Engines.
PADL 2003: 304-319 |
2001 |
47 | EE | Satyam Tyagi,
Paul Tarau,
Armin R. Mikler:
Multicast Protocols for Jinni Agents.
IICS 2001: 1-18 |
46 | EE | Satyam Tyagi,
Paul Tarau:
A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces.
PADL 2001: 322-336 |
45 | EE | 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 | EE | Paul Tarau:
Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects.
Computational Logic 2000: 1225-1239 |
1999 |
42 | EE | Paul Tarau,
Verónica Dahl:
Towards a Logic Programming Infrastructure for Internet Programming.
Artificial Intelligence Today 1999: 431-457 |
41 | EE | 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 | EE | Paul Tarau:
Towards Inference and Computation Mobility: The Jinni Experiment.
JELIA 1998: 385-390 |
1997 |
35 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |