Search the dblp DataBase
Paul Tarau :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Verónica Dahl , Paul Tarau , Yan-Nong Huang Datalog Grammars. [Citation Graph (0, 0)][DBLP ] GULP-PRODE (2), 1994, pp:268-282 [Conf ] Paul Tarau Language Issues and Programming Techniques in BinProlog. [Citation Graph (0, 0)][DBLP ] GULP, 1993, pp:173-188 [Conf ] Paul Tarau , Verónica Dahl Code Migration with First Order Continuations. [Citation Graph (0, 0)][DBLP ] APPIA-GULP-PRODE, 1998, pp:215-226 [Conf ] Paul Tarau , Verónica Dahl , Koenraad De Bosschere Towards Logic Programming Based Coordination in Virtual Worlds. [Citation Graph (0, 0)][DBLP ] Coordination Technology for Collaborative Applications, 1996, pp:49-62 [Conf ] Paul Tarau , Verónica Dahl , Andrew Fall Backtrackable State with Linear Affine Implication and Assumption Grammars. [Citation Graph (0, 0)][DBLP ] ASIAN, 1996, pp:53-63 [Conf ] Paul Tarau , Verónica Dahl , Stephen Rochefort , Koenraad De Bosschere LogiMOO: A Multi-User Virtual World with Agents and Natural Language Programming. [Citation Graph (0, 0)][DBLP ] CHI Extended Abstracts, 1997, pp:323-324 [Conf ] Paul Tarau Fluents: A Refactoring of Prolog for Uniform Reflection an Interoperation with External Objects. [Citation Graph (0, 0)][DBLP ] Computational Logic, 2000, pp:1225-1239 [Conf ] Elizabeth Figa , Paul Tarau Conversational Agents as Web Services. [Citation Graph (0, 0)][DBLP ] International Conference on Internet Computing, 2004, pp:773-782 [Conf ] Verónica Dahl , Paul Tarau , Renwei Li Assumption Grammars for Processing Natural Language. [Citation Graph (0, 0)][DBLP ] ICLP, 1997, pp:256-270 [Conf ] Paul Tarau Agent Oriented Logic Programming Constructs in Jinni 2004. [Citation Graph (0, 0)][DBLP ] ICLP, 2004, pp:477-478 [Conf ] Paul Tarau Jinni: a Lightweight Java-based Logic Engine for Internet Programming. [Citation Graph (0, 0)][DBLP ] Implementation Technology for Programming Languages based on Logic, 1998, pp:1-15 [Conf ] Paul Tarau , Michel Boyer Nonstandard Answers of Elementary Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP Workshop on Construction of Logic Programs, 1991, pp:279-300 [Conf ] Paul Tarau , Bart Demoen Language Embedding by Dual Compilation and State Mirroring. [Citation Graph (0, 0)][DBLP ] LPE, 1994, pp:0-0 [Conf ] Verónica Dahl , Andrew Fall , Stephen Rochefort , Paul Tarau A Hypothetical Reasoning-based Framework for NL Processing. [Citation Graph (0, 0)][DBLP ] ICTAI, 1996, pp:67-70 [Conf ] Satyam Tyagi , Paul Tarau , Armin R. Mikler Multicast Protocols for Jinni Agents. [Citation Graph (0, 0)][DBLP ] IICS, 2001, pp:1-18 [Conf ] Paul Tarau Ecological Memory Management in a Continuation Passing Prolog Engine. [Citation Graph (0, 0)][DBLP ] IWMM, 1992, pp:344-356 [Conf ] Paul Tarau Towards Inference and Computation Mobility: The Jinni Experiment. [Citation Graph (0, 0)][DBLP ] JELIA, 1998, pp:385-390 [Conf ] Yves Bekkers , Paul Tarau Logic Programming with Monads and Comprehensions. [Citation Graph (0, 0)][DBLP ] JFPLC, 1995, pp:161-171 [Conf ] Paul Tarau Low-level issues in implementing a high-performance continuation passing Binary Prolog engine. [Citation Graph (0, 0)][DBLP ] JFPLC, 1994, pp:287-0 [Conf ] Paul Tarau , Koenraad De Bosschere Memoing with Abstract Answers and Delphi Lemmas. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1993, pp:196-209 [Conf ] Paul Tarau , Verónica Dahl Logic Programming and Logic Grammars with First-Order Continuations. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1994, pp:215-230 [Conf ] Paul Tarau Program Transformations and WAM-Support for the Compilation of Definite Metaprograms. [Citation Graph (0, 0)][DBLP ] RCLP, 1991, pp:462-473 [Conf ] Paul Tarau , Michel Boyer Prolog Meta-Programming with Soft Databases. [Citation Graph (0, 0)][DBLP ] META, 1988, pp:365-381 [Conf ] Verónica Dahl , Paul Tarau Extending Datalog Grammars. [Citation Graph (0, 0)][DBLP ] NLDB, 1995, pp:0-0 [Conf ] Anima Gupta , Paul Tarau Logic Programming Techniques for Dynamic VRML Web Content Generation. [Citation Graph (0, 0)][DBLP ] PADL, 2001, pp:93-107 [Conf ] Satyam Tyagi , Paul Tarau A Most Specific Method Finding Algorithm for Reflection Based Dynamic Prolog-to-Java Interfaces. [Citation Graph (0, 0)][DBLP ] PADL, 2001, pp:322-336 [Conf ] Qinan Zhou , Paul Tarau Garbage Collection Algorithms for Java-Based Prolog Engines. [Citation Graph (0, 0)][DBLP ] PADL, 2003, pp:304-319 [Conf ] Koen De Bosschere , Paul Tarau Blackboard Communication in Logic Programming. [Citation Graph (0, 0)][DBLP ] PARCO, 1993, pp:257-264 [Conf ] Paul Tarau BinProlog: a Continuation Passing Style Prolog Engine. [Citation Graph (0, 0)][DBLP ] PLILP, 1992, pp:479-480 [Conf ] Paul Tarau , Michel Boyer Elementary Logic Programs. [Citation Graph (0, 0)][DBLP ] PLILP, 1990, pp:159-173 [Conf ] Paul Tarau , Ulrich Neumerkel A Novel Term Compression Scheme and Data Representation in the BinWAM. [Citation Graph (0, 0)][DBLP ] PLILP, 1994, pp:73-87 [Conf ] Koenraad De Bosschere , Paul Tarau High performance continuation passing style Prolog-to-C mapping. [Citation Graph (0, 0)][DBLP ] SAC, 1994, pp:383-387 [Conf ] Bart Demoen , Geert Engels , Paul Tarau Segment order preserving copying garbage collection for WAM based Prolog. [Citation Graph (0, 0)][DBLP ] SAC, 1996, pp:380-386 [Conf ] David Hurt , Paul Tarau An empirical evaluation of communication effectiveness in autonomous reactive multiagent systems. [Citation Graph (0, 0)][DBLP ] SAC, 2005, pp:74-78 [Conf ] Paul Tarau Agent oriented logic programming in Jinni 2004. [Citation Graph (0, 0)][DBLP ] SAC, 2005, pp:1427-1428 [Conf ] Paul Tarau , Bart Demoen , Koenraad De Bosschere The power of partial tanslation: an experiment with the C-ification of binary Prolog. [Citation Graph (0, 0)][DBLP ] SAC, 1995, pp:152-156 [Conf ] Paul Tarau , Elizabeth Figa Knowledge-based conversational agents and virtual storytelling. [Citation Graph (0, 0)][DBLP ] SAC, 2004, pp:39-44 [Conf ] Paul Tarau , Rada Mihalcea , Elizabeth Figa Semantic document engineering with WordNet and PageRank. [Citation Graph (0, 0)][DBLP ] SAC, 2005, pp:782-786 [Conf ] Yves Bekkers , Paul Tarau Monadic Constructs for Logic Programming. [Citation Graph (0, 0)][DBLP ] ILPS, 1995, pp:51-65 [Conf ] Koenraad De Bosschere , Paul Tarau Blackboard-based Extensions for Parallel Programming in BinProlog. [Citation Graph (0, 0)][DBLP ] ILPS, 1993, pp:664- [Conf ] Paul Tarau An Efficient Specialization of the WAM for Continuation Passing Binary Programs. [Citation Graph (0, 0)][DBLP ] ILPS, 1993, pp:652- [Conf ] Paul Tarau Logic Programming Tools for Advanced Internet Programming (Abstract). [Citation Graph (0, 0)][DBLP ] ILPS, 1997, pp:33-34 [Conf ] Paul Tarau , Verónica Dahl , Andrew Fall Backtrackable State with Linear Assumptions, Continuations and Hidden Accumulator Grammars. [Citation Graph (0, 0)][DBLP ] ILPS, 1995, pp:642- [Conf ] Paul Tarau , Verónica Dahl , Koenraad De Bosschere A Logic Programming Infrastructure for Remote Execution, Mobile Code and Agents. [Citation Graph (0, 0)][DBLP ] WETICE, 1997, pp:106-112 [Conf ] Verónica Dahl , Paul Tarau , Lidia Moreno , Manuel Palomar Treating Coordination with Datalog Grammars [Citation Graph (0, 0)][DBLP ] CoRR, 1995, v:0, n:, pp:- [Journal ] Paul Tarau , Verónica Dahl High-Level Networking With Mobile Code And First Order AND-Continuations [Citation Graph (0, 0)][DBLP ] CoRR, 2004, v:0, n:, pp:- [Journal ] Verónica Dahl , Stephen Rochefort , Marius Scurtescu , Paul Tarau A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds. [Citation Graph (0, 0)][DBLP ] Informatica (Slovenia), 1999, v:23, n:4, pp:- [Journal ] Paul Tarau , Koenraad De Bosschere , Bart Demoen Partial Translation: Towards a Protable and Efficient Prolog Implementation Technology. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1996, v:29, n:1-3, pp:65-83 [Journal ] Paul Tarau , Koenraad De Bosschere , Bart Demoen On Delphi Lemmas and other Memoing Techniques for Deterministic Logic Programs. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1997, v:30, n:2, pp:145-163 [Journal ] Paul Tarau , Koenraad De Bosschere , Verónica Dahl , Stephen Rochefort LogiMOO: An Extensible Multi-user Virtual World with Natural Language Control. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1999, v:38, n:3, pp:331-353 [Journal ] Koenraad De Bosschere , Paul Tarau Blackboard-based Extensions in Prolog. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1996, v:26, n:1, pp:49-69 [Journal ] Paul Tarau Multi-engine Horn Clause Prolog. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal ] Paul Tarau , Verónica Dahl High-Level Networking with Mobile Code and First Order AND-Continuations. [Citation Graph (0, 0)][DBLP ] TPLP, 2001, v:1, n:3, pp:359-380 [Journal ] Paul Tarau , Brenda Luderman A Logic Programming Framework for Combinational Circuit Synthesis. [Citation Graph (0, 0)][DBLP ] ICLP, 2007, pp:180-194 [Conf ] A Unified Formal Description of Arithmetic and Set Theoretical Data Types. [Citation Graph (, )][DBLP ] Exact combinational logic synthesis and non-standard circuit design. [Citation Graph (, )][DBLP ] Logic Engines as Interactors. [Citation Graph (, )][DBLP ] On Arithmetic Computations with Hereditarily Finite Sets, Functions and Types. [Citation Graph (, )][DBLP ] A Groupoid of Isomorphic Data Transformations. [Citation Graph (, )][DBLP ] Interoperating Logic Engines. [Citation Graph (, )][DBLP ] Declarative modeling of finite mathematics. [Citation Graph (, )][DBLP ] An embedded declarative data transformation language. [Citation Graph (, )][DBLP ] Revisiting exact combinational circuit synthesis. [Citation Graph (, )][DBLP ] Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell. [Citation Graph (, )][DBLP ] On-Une Resource Discovery Using Natural Language. [Citation Graph (, )][DBLP ] TextRank: Bringing Order into Text. [Citation Graph (, )][DBLP ] A Logic Programming Framework for Combinational Circuit Synthesis [Citation Graph (, )][DBLP ] Executable Set Theory and Arithmetic Encodings in Prolog [Citation Graph (, )][DBLP ] Ranking and Unranking of Hereditarily Finite Functions and Permutations [Citation Graph (, )][DBLP ] Pairing Functions, Boolean Evaluation and Binary Decision Diagrams [Citation Graph (, )][DBLP ] Logic Engines as Interactors [Citation Graph (, )][DBLP ] Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes [Citation Graph (, )][DBLP ] A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions [Citation Graph (, )][DBLP ] Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell [Citation Graph (, )][DBLP ] Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell [Citation Graph (, )][DBLP ] A Unified Formal Description of Arithmetic and Set Theoretical Data Types [Citation Graph (, )][DBLP ] Search in 0.032secs, Finished in 0.037secs