@inproceedings{tidse:vista,
  title = {{The VISTA Project: An Agent Architecture for Virtual Interactive
Storytelling}},
  author = {Elizabeth Figa and Paul Tarau},
  editor = "N. Braun and U. Spierling",
  booktitle = {{TIDSE'2003}},
  address = "Darmstadt, Germany",
  month = mar,
  year = 2003,
  note="to appear"
}

@inproceedings{tidse:wnet,
  title = {{Story Traces and Projections: Exploring the Patterns of Storytelling}},
  author = {Elizabeth Figa and Paul Tarau},
  editor = "N. Braun and U. Spierling",
  booktitle = {{TIDSE'2003}},
  address = "Darmstadt, Germany",
  month = mar,
  year = 2003,
  note="to appear"
}

@TECHREPORT{cscw2002,
  title = {{The VISTA Project: An Agent Architecture for Virtual Interactive
Storytelling}},
  author = {Elizabeth Figa and Paul Tarau},
  booktitle = {{CSCW 2002 Workshop on Storytelling and Collaborative Activities}},
  address = "New Orleans",
  month = nov,
  year = 2002,
  note="http://www.acm.org/cscw2002/prog-workshops.html"
}

@inproceedings{mascot_ags,
  title = {{Object Oriented Logic Programming as an Agent Building Infrastructure}},
  author = {Paul Tarau},
  editor={Joao Bosco Mangueira Sobral},
  booktitle = {{First  International Workshop on Distributed Computing with Agent Technologies}},
  address = "Fort Worth",
  month = oct,
  year = 2002,
  note="http://www.inf.ufsc.br/~bosco/workshop_program.htm
}

@TECHREPORT{j2k_ug,
   author={BinNet Corporation},
   title = {{Jinni 2002 A High Performance Java and .NET based  Prolog for Object and Agent Oriented Internet Programming}},
   institution = {BinNet Corp.},
   note = "Available at http://www.binnetcorp.com/download/jinnidemo/JinniUserGuide.html",
   year = 2002
}

@inproceedings{padl03gc,
  title = {{Garbage Collection Algorithms for Java-Based Prolog Engines}},
  author = {Qinan Zhou and Paul Tarau},
  editor = "V. Dahl and P. Wadler",
  booktitle = {{Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003}},
  address = "New Orleans, USA",
  month = jan,
  year = 2003,
  pages="304-320",
  publisher = "Springer, LNCS 2562",  
}

@inproceedings{ilmenau2001,
  title = {{Multicast Protocols for Jinni Agents}},
  author = {Tyagi, Satyam and Tarau, Paul and Mikler, Armin},
  editor = "T. Boehme and H. Unger",
  booktitle = {{Innovative Internet Computing Systems, IICS 2001}},
  address = "Ilmenau, Germany",
  month = jun,
  year = 2001,
  pages="1-18",
  publisher = "Springer, LNAI 2060",  
}

@inproceedings{garcia00deliberative,
  author = "A. Garcia and D. Gollapally and P. Tarau and G. Simari",
  title = {{Deliberative stock market agents using Jinni and defeasible logic programming}},
  booktitle = "Proc. of the ECAI Workshop on 
               Engineering Societies in the Agents' World",
  month=aug,
  year = 2000,
  address="Berlin, Germany",
  publisher = "Springer",
  url = "citeseer.nj.nec.com/garcia00deliberative.html" 
  note="http://www.cs.kuleuven.ac.be/~lexe/papers/ESAW17.pdf"
}

@inproceedings{london_vrml,
  title = {{Assumption Grammars for Generating Dynamic VRML Pages}},
  author = {Gupta, Anima and Tarau, Paul},
  editor = "Inês de Castro Dutra",
  booktitle = {{Proceedings of CL2000 Workshop 
    on Parallelism and Implementation Technology
    for (Constraint) 
    Logic Programming}},
  address = "London, UK",
  month = jun,
  year = 2000,
  note= "http://www.cos.ufrj.br/~parimp00"
}

@inproceedings{london_mcast,
  title = {{Multicast Protocols for Jinni Agents}},
  author = {Tyagi, Satyam and Tarau, Paul},
 editor = "Inês de Castro Dutra",
  booktitle = {{Proceedings of CL2000 Workshop 
     on Parallelism and Implementation Technology for (Constraint) Logic Programming}},
  address = "London, UK",
  month = jun,
  year = 2000,
  note= "http://www.cos.ufrj.br/~parimp00"
}

@inproceedings{padl_vrml,
  title = {{Logic Programming Techniques for Dynamic VRML Web Content Generation}},
  author = {Gupta, Anima and Tarau, Paul},
  editor = "I.V. Ramakrishan and Gopal Gupta",
  booktitle = {{Proceedings of PADL'2001}},
  address = "Las Vegas",
  month = mar,
  year = 2001,
  note= "Springer-Verlag"
}

@inproceedings{padl_java,
  title = {{A Most Specific Method Finding Algorithm for Reflection
            Based Dynamic Prolog-to-Java Interfaces}},
  author = {Tyagi, Satyam and Tarau, Paul},
  editor = "I.V. Ramakrishan and Gopal Gupta",
  booktitle = {{Proceedings of PADL'2001}},
  address = "Las Vegas",
  month = mar,
  year = 2001,
  note= "Springer-Verlag"
}

@inproceedings{tarau:cl2000,
  title = {{Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation with External Objects}},
  author = {Paul Tarau},
  editor = "John Lloyd",
  booktitle = {{Proceedings of CL'2000}},
  address = "London",
  month = jul,
  year = 2000,
  note= "LNCS, Springer-Verlag"
}

@article{td:tlp,
  title = {{High-Level Networking with Mobile Code and First Order AND-Continuations}},
  author = {Paul Tarau and Veronica Dahl},
  year = 2001,
  journal = {{Theory and Practice of Logic Programming}},
  volume = 1,
  number = 1,
  month = mar,
  note = "Cambridge University Press"
}

@inproceedings{tarau:dipcl99,
  title = {{A Logic Programming Based Software Architecture for Reactive Intelligent Mobile Agents}},
  author = {Paul Tarau},
  editor = "Van Roy, P. and Tarau, P.",
  booktitle = {{Proceedings of DIPLCL'99}},
  address = "Las Cruces, NM",
  month = nov,
  year = 1999,
  note= "http://www.binnetcorp.com/wshops/ICLP99DistInetWshop.html"
}

@article{tarau:theor99,
  author = {Tarau, Paul},
  title = {{Multi-Engine Horn Clause Prolog}},
  year = 1999,
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = 30,
  number = 3
}

@inproceedings{tarau:parimp99,
  title = {{Multi-Engine Horn Clause Prolog}},
  author = {Paul Tarau},
  editor = "Gopal Gupta and Enrico Pontelli",
  booktitle = {{Proceedings of Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages}},
  address = "Las Cruces, NM",
  month = nov,
  year = 1999,
  note= "http://www.cs.nmsu.edu/lldap/iclp99/"
}

@inproceedings{mikler:hpc99,
  title = {{A Mobile Agent-Based File System for Distributed Networks}},
  author = {Mikler, A.R. and Unger, H. and Tarau, P. and Hopper, A. S. and Chen, F.},
  booktitle  = {{High Performance Computing'99, Special Session on Adaptive and Intelligent Computing Systems}},
  year = 1999
}

@inproceedings{TD99:infra,
  title = {{A Logic Programming Infrastructure for Internet Programming}},
  author = {Paul Tarau and Veronica Dahl},
  booktitle      = {{Artificial Intelligence Today -- Recent Trends and Developments}},
  editor = {M. J. Wooldridge and M. Veloso},
  year           = 1999, 
  pages="431-456",
  publisher = "Springer, LNAI 1600",  
  note = "ISBN 3-540-66428-9"
}

@inproceedings{tarau:shaker,
   author={Tarau, Paul},
   title={{Inference and Computation Mobility with Jinni}},
   booktitle={{The Logic Programming Paradigm: a 25 Year Perspective}},
   editor = {K.R. Apt and V.W. Marek and M. Truszczynski},
   year=1999,
   pages="33-48",
   publisher="Springer",
   note="ISBN 3-540-65463-1"
} 

@article{lm,
  author = "Tarau, Paul and De Boschere, Koen and Dahl, Veronica and Rochefort, Stephen",
  title = {{LogiMOO: an Extensible Multi-User Virtual World with Natural Language Control}},
  year = 1999,
  journal = {Journal of Logic Programming},
  volume = 38,
  number = 3,
  month = mar,
  pages = "331--353"
}

@inproceedings{RDT99,
        author = "Stephen Rochefort and Veronica Dahl and Paul Tarau",
        title = {{A Framework for Virtual Learning Environments}},
        booktitle = "{Proceedings of EMEDIA'99 World Conference on Educational Multimedia, Hypermedia and Telecommunications}",
        address = "Seattle, Washington",
        month = "june",
        year = "1999"
}

@inproceedings{tarau:paam99,
   author={Paul Tarau},
   title={{Intelligent Mobile Agent Programming at the Intersection of Java and Prolog}},
   booktitle={{Proceedings of The Fourth International Conference on 
       The Practical Application of Intelligent Agents and Multi-Agents}},
   address = "London, U.K.",
   year=1999,
   pages="109-123"
} 

@inproceedings{RDT98b,
   author={Stephen Rochefort and Veronica Dahl and Paul Tarau},
   title={{An Agent Communication Protocol for the Feature Interaction Problem}},
   booktitle={{Proceedings of the 11th International Conference on Applications of Prolog}},
   address = "Tokyo, Japan",
   year=1998,
} 

@inproceedings{RDT98,
        author = "Stephen Rochefort and Veronica Dahl and Paul Tarau",
        title = {{A Virtual Environment for Collaborative Learning}},
        booktitle = "World Multiconference on Systemics, Cybernetics, and Informatics",
        address = "Orlando, Florida",
        month = "july",
        year = "1998"
}

@techreport{SDT98,
   author={Schiel, Andrea and Dahl, Veronica and Tarau, Paul},
   title = {{Generating Internet Based VRML Animations through Natural Language Controlled Partial Order
Planners}},
   type = {Technical Report}, 
   institution = "Simon Fraser University",
   year = 1998
}

@inproceedings{ZFRDT:NLDB97,
   author={Zaiane, Osmar and Fall, Andrew and 
   Rochefort, Stephen and Dahl, Veronica and Tarau, Paul},
   title={{Concept-Based Retrieval using Controlled Natural Language}},
   booktitle={Proceedings of NLDB'97},
   year=1997,
   pages="11--26",
   address = "Vancouver"
}

@article{DTRS98a,
  author = {Dahl, V. and Tarau, P. and Accuosto, P. and Rochefort, S. and Scurtescu, M.},
  title = {{Assumption Grammars for Knowledge Based Systems}},
  year = 1998,
  number = 4,
  journal = {Informatica},
  note = "Special Isssue on NLP and Agent Communication"
}

@inproceedings{DTARS97a,
        author = "Veronica Dahl and Paul Tarau and Pablo Accuosto and Stephen Rochefort and 
Marius Scortescu",
        title = "Assumption Grammars for Knowledge Based Systems",
        booktitle = "Natural Language Databases",
        place = "Vancouver, British Columbia",
        month = "june",
        year = "1997"
}

@article( DTRS98b
        ,title          = "A {S}panish {I}nterface to {L}ogi{M}oo- towards multilingual virtual worlds"
        ,author         = "Dahl, V. and Tarau, P. and Rochefort, S. and Scurtescu, M."
        ,key            = "Dahl"
        ,journal        = "Informatica"
        ,number         = 2
        ,month         = jun
        ,year           = 1999
)


@TECHREPORT{TA98:BIN,
   author={Tarau, Paul},
   title = {The {B}in{P}rolog {E}xperience: {I}mplementing
           a {H}igh-{P}erformance {C}ontinuation {P}assing
           {P}rolog {E}ngine},
   institution="BinNet Corp.",
   note = "Available from http://www.binnetcorp.com/BinProlog",
   year = 1998
}

@TECHREPORT{bp7user,
   author={Tarau, Paul},
   title = {{BinProlog 9.x Professional Edition: User Guide}},
   institution = {BinNet Corp.},
   note = "Available from http://www.binnetcorp.com/BinProlog",
   year = 2002
}

@TECHREPORT{bp7internet,
   author={Tarau, Paul},
   title = {{BinProlog 9.x Professional Edition: Internet Programming Guide}},
   institution = {BinNet Corp.},
   note = "Available from http://www.binnetcorp.com/BinProlog.",
   year = 2002
}

@TECHREPORT{bp7advanced,
   author={Tarau, Paul},
   title = {{BinProlog 9.x Professional Edition: Advanced BinProlog Programming and Extensions Guide}},
   institution = {BinNet Corp.},
   note = "Available from http://www.binnetcorp.com/BinProlog.",
   year = 2002
}

@TECHREPORT{bp7interface,
   author={Tarau, Paul},
   title = {{BinProlog 9.x Professional Edition: BinProlog Interfaces Guide}},
   institution = {BinNet Corp.},
   note = "Available from http://www.binnetcorp.com/BinProlog.",
   year = 2002
}

@TECHREPORT{bp7crossref,
   author={Tarau, Paul},
   title = {{BinProlog 7.0 Professional Edition: Predicate Cross-Reference Guide }},
   institution = {BinNet Corp.},
   note = "Available from http://www.binnetcorp.com/BinProlog.",
   year = 1998
}

@inproceedings{T98:jelia,
  title = {{Towards Inference and Computation Mobility: The Jinni Experiment}},
  author = {Paul Tarau},
  booktitle      = {{Proceedings of JELIA'98, LNAI 1489}},
  year           = 1998,
  editor = {J. Dix and U. Furbach},
  pages = "385--390",
  month = oct,
  publisher = "Springer",
  address= "Dagstuhl, Germany",
  note = "invited talk"
}

@inproceedings{T98:Jinni,
  title = {{Jinni: a Lightweight Java-based Logic Engine for Internet Programming}},
  author = {Paul Tarau},
  booktitle      = {{Proceedings of JICSLP'98 Implementation of LP languages Workshop}},
  editor = {Kostis Sagonas},
  year           = 1998, 
  month          = jun,
  note = "invited talk",
  address  = "Manchester, U.K.",
}

@inproceedings{TD98:mobile,
  title = {{Mobile Threads through First Order Continuations}},
  author = {Paul Tarau and Veronica Dahl},
  booktitle      = {{Proceedings of APPAI-GULP-PRODE'98}},
  year           = 1998, 
  month          = jul,
  address  = "Coruna, Spain"
}

@inproceedings{TDD98:coord,
  title = {{Logic Programming Based Coordination in Virtual Worlds}},
  author = {Paul Tarau and Veronica Dahl and Koen De Bosschere},
  booktitle      = {{Coordination Technology for Collaborative Applications -
Organizations, Processes, and Agents}},
  editor = {Wolfram Conen and Gustaf Neumann},
  year           = 1998, 
  month          = mar,
  publisher = "Springer, LNCS 1364",  
   note = "ISBN 3-540-64170-X"
}

@article{canai98,
  author = "Dahl, Veronica and Tarau, Paul",
  title = {{From Assumptions to Meaning}},
  publisher= "Canadian Society for Computational Studies of Intelligence",
  journal = {Canadian Artificial Intelligence},
  year = 1998,
  number = 42,
  month = apr
}

@article{jags,
  author = "Dahl, Veronica and Tarau, Paul",
  title = {{Assumption Grammars: Parsing as Hypothetical Reasoning}},
  year = 1997,
  note = "submitted, http://clement.info.umoncton.ca/ html/JAGS/html.html"
}

@inproceedings{hawai98,
   author={Tarau, Paul},
   title = {{Towards Logic Programming Based Coordination in Virtual Worlds}},
   booktitle={Proceedings of HICSS'98, Software Technology: Coordination Languages, Models, Systems},
   year = 1998,
   month = jan,
   address = "Big Island of Hawaii"
}

@inproceedings{ilps97tut,
   author={Tarau, Paul},
   title = {{Logic Programming Tools for Advanced Internet Programming}},
   booktitle={Logic Programming, 
              Proceedings of the 1997 International Symposium},
   editor={Jan Maluszynski},
   year = 1997,
   pages="33--34",
   address="MIT press",
   note="http://www.cs.unt.edu/~tarau/research/PapersHTML/ptut/art.ps"
}

@inproceedings{riao97,
   author={Zaiane, Osmar and Fall, Andrew and 
   Rochefort Stephen and Dahl Veronica and Tarau, Paul},
   title={On-line {R}esource {D}iscovery {U}sing {N}atural {L}anguage},
   booktitle={Proceedings of RIAO'97},
   year=1997,
   month=jun,
   pages="336--355",
   address = "McGill University, Montreal"
}


@inproceedings{hk97,
   author={Huang, Yan-Nuong and Tarau, Paul},


   title={Efficient {P}oint {D}ata {C}lustering by {D}atabase {O}perations},
   booktitle={Proceedings of the 8th International Database Workshop},
   year=1997,
   month=jul,
   address = "Hong Kong"
}


@inproceedings{NewMexico,
   author={Veronica Dahl and Paul Tarau and Stephen Rochefort and Marius Scortescu},
   title={A {S}panish {I}nterface to {L}ogi{M}oo- towards multilingual virtual worlds},
   booktitle={International Workshop on Spanish Natural Language Processing and
          Spanish Language Technologies},
   year=1997,
   month=jul,
   address  = "New Mexico",
   note = "invited talk"
}

@inproceedings{TDBwetice:97,
   author={Tarau, Paul and  Dahl, Veronica and De Bosschere, Koen},
   title={A {L}ogic {P}rogramming {I}nfrastructure 
          for {R}emote {E}xecution, {M}obile {C}ode and {A}gents},
   booktitle={{Proceedings of WETICE'97}},
   year = 1997,
   month = jun,
   pages = "106--112",
   address = "IEEE Computer Society Press"
}

@inproceedings{TDBwww:97,
   author={Tarau, Paul and  Dahl, Veronica and De Bosschere, Koen},
   title={{Remote Execution, Mobile Code and Agents in BinProlog}},
   booktitle={Electronic Proceedings of {WWW6} {L}ogic {P}rogramming Workshop,
               http://www.cs.vu.nl/~eliens/WWW6/papers.html
   },
   year = 1997,
   month = mar,
   address        = "Santa Clara, California"
}

@proceedings{sclara97,
  editor = "Eliens, A.",
  title = {{Proceedings of the Workshop on logic programming and the Web}},
  booktitle = {{Proceedings of the Workshop on logic programming and the Web
      at the 6th International WWW Conference}},
  address = "Santa Clara, California",
  month = apr,
  year = 1997
}

@inproceedings{TDB:97,
   author={Tarau, Paul and  Dahl, Veronica and De Bosschere, Koen},
   title={{L}ogic {P}rogramming {T}ools for {R}emote {E}xecution, {M}obile {C}ode and {A}gents},
   booktitle={Proceedings of {ICLP'97} 
      {W}orkshop on {L}ogic {P}rogramming and 
      {M}ulti {A}gent {S}ystems
   },
   year = 1997,
   month = jul,
   address        = "Leuven, Belgium"
}

@inproceedings{TDRB97:chi,
   author={Tarau, Paul and  Dahl, Veronica and Rochefort, Stephen and De Bosschere, Koen},
   title={Logi{MOO}:  a  {M}ulti-{U}ser  {V}irtual  {W}orld  with
     {A}gents  and  {N}atural  {L}anguage  {P}rogramming
},
   booktitle="Proceedings of CHI'97",
   editor={S. Pemberton},
   year = 1997,
   month = mar,
   pages="323--324",
   comment="ACM ISBN 0-8979-926-2"
}

@inproceedings{RDT97,
   author={Rochefort, Stephen and Dahl, Veronica and Tarau, Paul},
   title={Controlling {V}irtual {W}orlds through 
          {E}xtensible {N}atural {L}anguage},
   booktitle="AAAI Symposium on NLP for the WWW",
   year = 1997,
   address="Stanford University, CA"
}


@inproceedings{DT97:AGNL,
   author={Dahl, Veronica and Tarau, Paul and Li, Renwei},
   title = {Assumption {G}rammars for {P}rocessing {N}atural {L}anguage},
   booktitle={{Proceedings of the Fourteenth International Conference on Logic
              Programming}},
   editor={Lee Naish},
   year = 1997,
   pages="256--270",
   address="MIT press"
}

@inproceedings{inap96,
  title = {Logic {P}rogramming and {V}irtual {W}orlds},
  author = "Paul Tarau",
  booktitle      = "Proceedings of INAP96",
  month          = nov,
  address        = "Tokyo",
  year           = 1996,
  note           = "keynote address"
}

@inproceedings{TD96:coord,
  title = {A {C}oordination {L}ogic for {A}gent {P}rogramming in {V}irtual {W}orlds},
  author = "Paul Tarau and Veronica Dahl",
  booktitle      = "{Proceedings of  Asian'96 Post-Conference 
Workshop on Coordination Technology for Collaborative Applications}",
  editor = {Wolfram Conen and Gustaf Neumann},
  month          = dec,
  address        = "Singapore",
  year           = 1996
}

@inproceedings{TDF:asian96,
  title = {Backtrackable {S}tate with {L}inear {A}ffine {I}mplication 
  and {A}ssumption {G}rammars},
  author = "Paul Tarau and Veronica Dahl and Andrew Fall",
  booktitle      = "{Concurrency and Parallelism, Programming, Networking, and Security}",
  editor = "Jaffar, Joxan and  Yap, Roland H.C.",
  publisher = {Springer},
  series = {Lecture Notes in Computer Science 1179},
  pages = {53--64},
  month          = dec,
  address        = "Singapore",
  year           = 1996 
}


@inproceedings{DFRT96,
  title = {A {H}ypothetical {R}easoning {F}ramework for {NL} {P}rocessing},
  author = "Veronica Dahl and Andrew Fall and Stephen Rochefort and Paul Tarau",
  booktitle      = "Proc. 8th IEEE International Conference on Tools with Artificial Intelligence",
  month          = "November",
  address        = "Toulouse, France",
  year           = 1996 
}



@inproceedings{lpnet96:virtual,
  author = "Tarau, Paul and De Bosschere, Koen",
  title = "{Virtual {W}orld {B}rokerage with {B}in{P}rolog and {N}etscape}",
  crossref = "lpnet96",
}
  
@inproceedings{lpnet96:virtual1,
  title = {Virtual {W}orld {B}rokerage with {B}in{P}rolog and {N}etscape},
  booktitle = "Proceedings 1st Workshop on Logic Programming Tools
               for INTERNET Applications",
  author = "Tarau, Paul and De Bosschere, Koen",
  editor = "Tarau, Paul and  Davison, Andrew and
            De Bosschere, Koen and Hermenegildo, Manuel",
  address = "Bonn",
  month = sep,
  year = 1996,
  note = "http://clement.info.umoncton.ca/~lpnet"
}

@proceedings{lpnet97,
  editor = "Tarau, Paul and De Bosschere, Koen and Hermenegildo, Manuel",
  title = "Proceedings of the 2nd International Workshop on Logic
           Programming Tools for INTERNET Applications",
  booktitle = "Proceedings of the 2nd  InternationalWorkshop on Logic
           Programming Tools for INTERNET Applications",
  address = "ICLP'97, Leuven",
  month = jul,
  year = 1997,
  note = "http://clement.info.umoncton.ca/~lpnet"
}


@proceedings{lpnet96,
  editor = "Tarau, Paul and  Davison, Andrew and
            De Bosschere, Koen and Hermenegildo, Manuel",
  title = "Proceedings of the 1st Workshop on Logic Programming Tools
           for INTERNET Applications",
  booktitle = "Proceedings of the 1st Workshop on Logic Programming Tools
           for INTERNET Applications",
  address = "JICSLP'96, Bonn",
  month = sep,
  year = 1996,
  note = "http://clement.info.umoncton.ca/~lpnet"
}

@TECHREPORT{Tarau97a:BinProlog,
   author={Tarau, Paul},
   title = {Bin{P}rolog 6.25 {U}ser {G}uide},
   institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
   number = "97-2",
   year = 1997,
   month = oct,
   note = "Available from {\em http://clement.info.umoncton.ca/html}."
}

@TECHREPORT{Tarau97:BinProlog,
   author={Tarau, Paul},
   title = {Bin{P}rolog 5.75 {U}ser {G}uide},
   institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
   number = "97-1",
   year = 1997,
   month = apr,
   note = "Available from {\em http://clement.info.umoncton.ca/BinProlog}."
}

@TECHREPORT{Tarau96:BinProlog,
   author={Tarau, Paul},
   title = {Bin{P}rolog 5.25 {U}ser {G}uide},
   institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
   number = "96-1",
   year = 1996,
   month = apr,
   note = "Available from {\em http://clement.info.umoncton.ca/BinProlog}."
}

@TECHREPORT{Tarau95:BinProlog,
   author={Tarau, Paul},
   title = {Bin{P}rolog 4.00 {U}ser {G}uide},
   institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
   number = "95-1",
   year = 1995,
   month = feb,
   note = "Available by ftp from {\em clement.info.umoncton.ca}."
}


@TECHREPORT{Tarau94:BinProlog,
   author={Tarau, Paul},
   title = {Bin{P}rolog 2.20 {U}ser {G}uide},
   institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
   number = "94-1",
   year = 1994,
   month = feb,
   note = "ftp://clement.info.umoncton.ca/{B}in{P}rolog"
}


@TECHREPORT{Tarau93:BinProlog,
   author={Tarau, Paul},
   title = {Bin{P}rolog 1.71 {U}ser {G}uide},
   institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
   number = "93-1",
   year = 1993,
   month = feb,
   note = "ftp://clement.info.umoncton.ca/{B}in{P}rolog"
}


@inproceedings{DPT96:PAP,
  title = {Logi{MOO}: {P}rolog {T}echnology for {V}irtual {W}orlds},
   author = "De Bosschere, Koen and Perron, Daniel and Tarau, Paul",
  booktitle = "Proceedings of PAP'96",
  address = "London",
  pages = "51--64",
  month = apr,
  year = 1996,
  comment = "ISBN 0 9525554 1 7"
}


@inproceedings{Demoen96:GC,
        title          = {Segment {P}reserving {C}opying {G}arbage
                           {C}ollection for {WAM} based {P}rolog},
        author         = "Bart Demoen and Geert Engels and Paul Tarau",
  booktitle = "Proceedings of the 1996 ACM Symposium on Applied
               Computing",
  publisher = "ACM Press",
  address = "Philadelphia",
  month = feb,
  pages = "380--386",
  year = 1996
}

@inproceedings{TarauDF95
        ,title = {Backtrackable {S}tate with {L}inear
              {A}ssumptions, {C}ontinuations and
              {H}idden {A}ccumulator {G}rammars
           }
        ,author         = "P. Tarau and V. Dahl and A. Fall"
	,year		= 1995
	,month		= nov
        ,booktitle      = "ILPS'95 Workshop on Visions for the Future of Logic Programming"
        ,address          = "Portland, Oregon"
}


@inproceedings{AndrewsDT95
        ,title          = "Continuation {L}ogic {P}rogramming: {T}heory and {P}ractice"
        ,author         = "J. Andrews and V. Dahl and P. Tarau"
	,year		= 1995
	,month		= nov
        ,booktitle      = "ILPS'95 Workshop on Operational and Denotational Semantics of Logic Programs"
        ,address          = "Portland, Oregon"
}


@inproceedings{Demoen95:Benelog
        ,title          = "Rejuvenating {F}uture {G}arbage in {WAM}"
        ,author         = "Bart Demoen and Geert Engels and Paul Tarau"
	,year		= 1995
	,month		= sep
        ,editor         = "Koen De Bosschere"
        ,booktitle      = "Proceedings of BENELOG'1995"
}


@inproceedings{Fall95:Context
        ,title          = "Resolving {C}o-specification in {C}ontexts"
        ,author={Fall, Andrew and Dahl, Veronica and Tarau, Paul}
	,year		= 1995
	,month		= aug
        ,booktitle      = "Proc. of IJCAI'95 Context in Natural Language Workshop"
	,address		= "Montreal"
}



@TECHREPORT{TDF95a,
   author={Tarau, Paul and Dahl, Veronica and Fall, Andrew},
   title = {Backtrackable {S}tate with {L}inear
{A}ssumptions, {C}ontinuations and
{H}idden {A}ccumulator {G}rammars},
   institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
   number = "95-2",
   year = 1995,
   month = apr,
   note = "Available by ftp from {\em clement.info.umoncton.ca}."
}


@TECHREPORT{TDF95b,
   author={Fall, Andrew and Tarau, Paul and Dahl, Veronica},
   title = {Natural {L}anguage {P}rocessing
with {H}ypothetical {A}ssumption
{G}rammars and {S}parse {T}erm {T}axonomies},
   institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
   number = "95-3",
   year = 1995,
   month = apr,
   note = "Available by ftp from {\em clement.info.umoncton.ca}."
}


@inproceedings{DahlT95a
        ,title          = "Extending {D}atalog {G}rammars"
        ,author         = "V. Dahl and P. Tarau and J. Andrews"
	,year		= 1995
	,month		= may
        ,booktitle      = "Proc. of NLDB'95, Paris"
}

@inproceedings{DahlT95b
        ,title          = "Treating {C}oordination with {D}atalog {G}rammars"
        ,author         = "V. Dahl and P. Tarau and L. Moreno and M. Palomar"
        ,booktitle	= "Proceedings of the Joint COMPULOGNET/ELSNET/EAGLES Workshop on Computational Logic For Natural Language Processing"
        ,year           = 1995
	,month		= apr
	,address		= "Edinburgh"
}


@ARTICLE{dbt95a,
  author = "De Bosschere, K. and Tarau, P.",
  title = "Blackboard-based {E}xtensions in {P}rolog",
  journal = "Software --- Practice and Experience",
  volume = 26,
  number = 1,
  pages = "49--69",
  month = jan,
  year = 1996
}

@ARTICLE{TBD95:memo,
  class = "int-journal",
  author = "Tarau, P. and De Bosschere, K. and Demoen, Bart",
  title = "On {D}elphi {L}emmas {A}nd Other {M}emoing {T}echniques {F}or
{D}eterministic {L}ogic {P}rograms",
   journal = "Journal of Logic Programming",
  year = 1997,
  volume = 30,
  number = "2",
  month = feb,
  pages="145--163"
}

@ARTICLE{tdb95rev,
  author = {Tarau, Paul and De Bosschere, Koen and Demoen, Bart},
  title = {Partial {T}ranslation: Towards a {P}ortable 
           and {E}fficient  {P}rolog {I}mplementation {T}echnology},
   journal = "Journal of Logic Programming",
   volume=29,
   number="1--3",
   pages="65--83",
   month=nov,
   year = 1996
}

@inproceedings{TD95:OR,
   author={Tarau, Paul and Demoen, Bart},
   title = {Higher-{O}rder {P}rogramming in an {OR}-intensive {S}tyle},  
   booktitle= {Proceedings of the 1995 COMPULOG-NET Workshop 
              and Area Meeting on Parallelism and
              Implementation Technology},
   editor = "Manuel Hermenegildo and Pedro Lopez",
   year = 1995
}

@techreport{Leuven95:GC,
   author={Demoen, Bart and Engels, Geert and Tarau, Paul},
   title = {Issues in (copying) garbage collection for {(Bin)WAM}},
   type = {Technical Report}, 
   number = {CW-202},
   institution = "KU Leuven",
   year = 1994
}

@techreport{Leuven94:OR,
   author={Tarau, Paul and Demoen, Bart},
   title = {Higher-{O}rder {P}rogramming in an {OR}-intensive {S}tyle},
   type = {Technical Report}, 
   number = {CW-192},
   institution = "KU Leuven",
   year = 1994
}

@inproceedings{tdb95,
  author = {Tarau, Paul and Demoen, Bart and De Bosschere, Koen},
  title = "The {P}ower of {P}artial {T}ranslation: an {E}xperiment with 
           the {C}-ification of {B}inary {P}rolog",
  booktitle = "Proceedings of the 1995 ACM Symposium on Applied
               Computing",
  publisher = "ACM Press",
  address = "Nashville",
  editor = "K.M. George and J.H. Carrol and  E. Deaton and  D. Oppenheim and J. Hightower",

  pages = "152--176",
  month = feb,
  year = 1995
}


@ARTICLE{TN95:EJ,
   author={Tarau, Paul and Neumerkel, Ulrich},
   title = {A {N}ovel {T}erm {C}ompression {S}cheme and {D}ata
     {R}epresentation in the {B}in{WAM}},
     note="manuscript"
}


@ARTICLE{TA95:TSI,
   author={Tarau, Paul},
   title = {Une machine abstraite optimis\'ee \`a 
            passage de continuations: l'exp\'erience {B}in{P}rolog},
   journal =  "Technique et Science Informatique",
   volume = 14,
   number = 6,
   pages = "713--731",
   year = 1995,
   publisher = "Hermes",
   comment  = "Num\'ero special JFPL'95"
}


@inproceedings{BT95a:ILPS,
   author={Bekkers, Yves and Tarau, Paul},
   title = {Monadic {C}onstructs for {L}ogic {P}rogramming},
   booktitle = {Proceedings of ILPS'95},
   editor = "Lloyd, John",
   year = 1995,
   month = dec,
   address = "Portland, Oregon",
   pages = "51-65",
   publisher = "MIT Press"
}

@inproceedings{TarauDF95a
        ,title = {Backtrackable {S}tate with {L}inear
              {A}ssumptions, {C}ontinuations and
              {H}idden {A}ccumulator {G}rammars
           }
        ,author         = "P. Tarau and V. Dahl and A. Fall"
	,year		= 1995
	,month		= nov

   ,booktitle = {Proceedings of ILPS'95}
   ,editor = "Lloyd, John"
   ,address  = "Portland, Oregon"
   ,pages = "642"
   ,note = "poster abstract"
}

@inproceedings{BT95:JFPL,
   author={Bekkers, Yves and Tarau, Paul},
   title = {Logic {P}rogramming with {M}onads and {C}omprehensions},
   booktitle = {Proceedings of JFPL'95},
   year = 1995,
   month = may,
   address = "Dijon",
}


@inproceedings{TN94:PLILP,
   author={Tarau, Paul and Neumerkel, Ulrich},
   title = {A {N}ovel {T}erm {C}ompression {S}cheme and {D}ata 
   {R}epresentation in the
   {B}in{WAM}},
editor={M. Hermenegildo and J. Penjam},
booktitle = {Proceedings of Programming Language Implementation and
           Logic Programming},
year = 1994,
month = sep,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
number="844",
pages = {73--87},
keywords = {Logic Programming},
}


@inproceedings{DTN:Gulp94
        ,title          = "Datalog {G}rammars"
        ,author         = "V. Dahl and P. Tarau and  Y. N. Huang"
        ,key            = "Dahl"
        ,booktitle      = "Proc. 1994 Joint Conference on Declarative Programming"
        ,month          = "September"
        ,address        = "Peniscola, Spain"
        ,pages          = "268--282"
        ,year           = 1994  }

@inproceedings{tdb94,
  author = "Tarau, P. and Demoen, B. and De Bosschere, K.",
  title = "The {P}ower of {P}artial {T}ranslation: 
           an {E}xperiment with the {C}-ification of 
           {B}inary {P}rolog",
  booktitle = "Proceedings of the First COMPULOG-NOE 
    Area Meeting on Parallelism and Implementation Technology",
  editor = "Garc\'\i a de la Banda, J., M. and Hermenegildo M.",
  address = "Madrid/Spain",
  month = sep,
  pages = "3--17",
  year = 1994
}


@inproceedings{td94:LOPSTR,
  author = "Tarau, Paul and Dahl, Veronica",
  title = "Logic {P}rogramming and {L}ogic {G}rammars with 
   {F}irst-order {C}ontinuations",
  booktitle = "Proceedings of LOPSTR'94, LNCS, Springer",
  address = "Pisa",
  month = jun,
  year = 1994
}

@inproceedings{TD94:WE,
   author={Tarau, Paul and Demoen, Bart},
   title = {Language {E}mbedding by {D}ual {C}ompilation and {S}tate {M}irroring},
booktitle = {Proceedings of 6-th Workshop on Logic Programming Environments, Santa Margherita Ligure, 1994},
year = 1994,
editor = "M. Fromherz and A. Kusalik and O. Nytro",
month = jun,
pages = "15--20",
note = "also available as TR N-7034 Norges Tek. Hogscole, TRONDHEIM",
comment = "describes the BinProlog Tcl/Tk interface and its design principles"
}


@inproceedings{TA94:JFPL,
   author={Tarau, Paul},
   title = {Low Level {I}ssues in {I}mplementing a {H}igh-{P}erformance {C}ontinuation {P}assing {B}inary {P}rolog {E}ngine},
booktitle = {Proceedings of JFPL'94},

year = 1994,
month = jun,
editor = {M.-M. Corsini}
}


@TECHREPORT{Tarau93:comp,
   author={Tarau, Paul and Neumerkel, Ulrich},
   title = {Compact {R}epresentation of {T}erms and {I}nstructions in the
  {B}in{WAM}},
   institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
   number = "93-3",
   year = 1993,
   month = nov,
   note = "available by ftp from clement.info.umoncton.ca"
}


@inproceedings{Tarau93a,
  class = "int-conference",
  author = "Tarau, P",
  title = "An {E}fficient {S}pecialization of the {WAM} for {C}ontinuation {P}assing {B}inary Programs",
  booktitle = "Proceedings of the 1993 ILPS Conference",
  address = "Vancouver, Canada",
  year = 1993,
  publisher = "MIT Press",
  note = "poster"
}

@inproceedings{pt93a,
  author = "Tarau, P. and De Bosschere, K.",
  title = "Blackboard {B}ased {L}ogic {P}rogramming in {B}in{P}rolog",
  booktitle = "Proceedings of the fifth University of New Brunswick
               Artificial Intelligence Symposium",
  editor = "Goldfarb, L.",
  address = "Fredericton, N.B.",
  pages = "137--147",
  month = aug,
  year = 1993
}

@inproceedings{kdb93j,
  author = "De Bosschere, K. and Tarau, P.",
  title = "{H}igh {P}erformance {C}ontinuation {P}assing {S}tyle
            {P}rolog-to-{C} {M}apping",
  booktitle = "Proceedings of the 1994 ACM Symposium on Applied
               Computing",
  publisher = "ACM Press",
  editor = "Deaton, E. and Oppenheim, D. and Urban, J. and Berghel, H.",
  address = "Phoenix/AZ",
  pages = "383--387",
  month = mar,
  year = 1994
}

@techreport{kdb93l,
  author = "De Bosschere, K. and Tarau, P.",
  title = "Continuation {P}assing {S}tyle {P}rolog-to-{C} 
           {M}apping at {N}ative {WAM}-speed",
  type = "{ELIS} {T}echnical {R}eport",
  number = "{DG} 93-15", 
  address = "Universiteit Gent", 
  institution = "Vakgroep Elektronica en Informatiesystemen",
  month = nov,
  year = 1993
}

@inproceedings{pt93b,
  class = "int-conference",
  author = "Tarau, P. and De Bosschere, K.",
  title = "{Memoing with Abstract Answers and Delphi Lemmas}",
  editor = "Deville, Yves",
  booktitle = "{Logic Program Synthesis and Transformation}",
  address = "Louvain-la-Neuve",
  month = jul,
  year = 1993,
  series = "Springer-Verlag",
  pages = "196-209",
  comment = "ISBN 3-540-19864-4,ISBN 0-387-19864-4 LOPSTR'93"
}

@inproceedings{kdb93f,
  class = "int-conference",
  author = "De Bosschere, K. and Tarau, P.",
  title = "Blackboard-based {E}xtensions for {P}arallel {P}rogramming 
           in {B}in{P}rolog",
  booktitle = "Proceedings of the 1993 ILPS Conference",
  address = "Vancouver, Canada",
  pages = "664",
  year = 1993,
  note = "Poster Abstract"
}



@inproceedings{kdb93d,
  class = "int-conference",
  author = "De Bosschere, K. and Tarau, P.",
  title = "{B}lackboard {C}ommunication in {L}ogic {P}rogramming",
  booktitle = "Proceedings of the PARCO'93 Conference",
  address = "Grenoble, France",
  month = sep,
  year = 1993,
  pages = "257-264"
}


@inproceedings{kdb93h,
  class = "localpub",
  author = "De Bosschere, K. and Tarau, P.",
  title = "Some {I}ssues in the {I}mplementation of a {U}nix-based 
	   {B}lackboard",
  crossref = "kdb93k",
  pages = "91--104"
}
  
  
@inproceedings{pt93c,
  class = "localpub",
  author = "Tarau, P. and De Bosschere, K.",
  title = "Non-{A}ssociative {B}lackboard {P}rogramming",
  crossref = "kdb93k",
  pages = "77--89"
}


@incollection{Tarau93:CONS,
title={Nonstandard  {A}nswers of  {E}lementary  {L}ogic {P}rograms},
author={Tarau, Paul and Boyer, M.},
booktitle={Constructing Logic  Programs},
editor={J.M.  Jacquet},
year=1993,
pages={279--300},
publisher={J.Wiley}
}

@InProceedings{Tarau93:GULP,
title={Language {I}ssues and {P}rogramming {T}echniques in {B}in{P}rolog },
author={Tarau, Paul},
editor={Sacca, Domenico},
booktitle={Proceeding of the GULP'93 Conference},
year=1993,
month=Jun,
address = {Gizzeria Lido, Italy}
}

@TECHREPORT{Tarau92:WAMOpt,
   author={Tarau, Paul},
   title = {{WAM}-optimizations in {B}in{P}rolog: {T}owards a {R}ealistic {C}ontinuation {P}assing {P}rolog {E}ngine},
   institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
   number = "92-3",
   year = 1992,
   month = jul,
   note = "available by ftp from clement.info.umoncton.ca"
}

@inproceedings{Tarau92:ECO,
   author={Tarau, Paul},
   title = {{E}cological {M}emory {M}anagement in a {C}ontinuation {P}assing
 {P}rolog {E}ngine},
pages = {344--356},
editor = {Y. Bekkers and J. Cohen},
booktitle = {Memory Management International Workshop IWMM 92 Proceedings},
year = 1992,
month = Sep,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {Logic Programming},
number = 637}
}

@TECHREPORT{Tarau92:ECOold,
   author={Tarau, Paul},
   title = "Ecological {M}emory {M}anagement in a {C}ontinuation {P}assing {P}rolog Engine",
   institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
   number = "92-1",
   month = Feb,
   year = 1992
}

@inproceedings{Tarau92:PLILP,
title = {{B}in{P}rolog: a {C}ontinuation {P}assing {S}tyle {P}rolog {E}ngine},
author = {Tarau, Paul},
pages = {479--480},
editor = {M. Bruynooghe and M. Wirsing},
booktitle = {Proceedings of Programming Language Implementation and
           Logic Programming},
year = 1992,
month = Aug,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {Logic Programming},
number = 631,
note="poster"
}

@inproceedings{Tarau91:JAP,
title={A  {S}implified {A}bstract  {M}achine for  the {E}xecution of
   {B}inary  {M}etaprograms},
author={Paul Tarau},
pages={119--128},
booktitle={Proceedings of the Logic Programming Conference'91},
year=1991,
month=7,
publisher={ICOT, Tokyo}}


@inproceedings{Tarau91:RU,
title={{P}rogram {T}ransformations  and  {WAM}-support  for  the
   {C}ompilation of  {D}efinite {M}etaprograms},
author={Paul Tarau},
pages={462--473},
  booktitle = {Logic Programming, RCLP Proceedings},
  year =        {1992},
  editor =      {Voronkov, Andrei},
  publisher =   {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  number = {592},
  address =     {Berlin, Heidelberg}
}

@inproceedings{Tarau91:CONS,
title={Nonstandard  {A}nswers of  {E}lementary  {L}ogic {P}rograms},
author={Tarau, Paul},
booktitle={Proceedings  of  the  ICLP'91
   Workshop on  Constructing Logic  Programs},
editor={J.M.  Jacquet},
year=1991,
publisher={Paris}
}

@inproceedings{Tarau90:PLILP,
title={{E}lementary {L}ogic {P}rograms},
author={Tarau, Paul and Boyer, Michel},
pages={159--173},
editor={P. Deransart and J. Maluszy{\'n}ski},
booktitle={Proceedings of Programming Language Implementation and
           Logic Programming},
year=1990,
month=Aug,
publisher={Springer},
series={Lecture Notes in Computer Science},
keywords={Logic Programming},
number=456}

@PHDTHESIS{TarauPhD,
   author = {Paul Tarau},
   title = {Transformation de programmes logiques. 
            {B}ases s\'{e}mantiques et applications},
   type={PhD thesis},
   school={Universit\'{e} de Montr\'{e}al},
   month = {november},
   year = 1990
}

@inproceedings{Tarau90:UNB,
title={Conditional and {A}bstract {S}olutions of {E}lementary {L}ogic
   {P}rograms},
author={Tarau, Paul},
booktitle={Proceedings  of The  Third UNB  Artificial  Intelligence
   Workshop},
year=1990,
month=Aug,
publisher={Fredericton, N.B}
}

@inproceedings{Tarau90:Apics,
title={A Family of  Logic Program  Transformations and Their
  Applications},
  author={Tarau, Paul},
  booktitle={APICS  1990 Computer  Science Conference},
  year=1990,
  month=Aug,
  publisher={Universite de Moncton}
}


@inproceedings{Tarau89:Soft,
title={{P}rolog  {M}eta-{P}rogramming  with  {S}oft {D}atabases},
author={Tarau, Paul and Boyer, Michel},
pages={365--382},
editor={Harvey Abramson and M.H. Rogers},
booktitle={Meta-Programming in Logic Programming},
year=1989,
publisher={MIT Press},
keywords={Logic Programming},
}

@inproceedings{Tarau87:Theo,
title={Adding  {T}heories to  {P}rolog},
author={Tarau, Paul},
pages={293-298},
editor={J.A.  Bates and  D.  Kemp},
booktitle={Proceedings  of CIPS  Congress'87},
year=1987,
keywords={Logic Programming},
}

@inproceedings{MT87:Seul,
title={Un environnement  de conception de
   systemes experts  pour des  applications grand-public},
author={Moulin, B. and Tarau, Paul},
pages={305-316},
editor={J.A.  Bates,  D.  Kemp},
booktitle={Proceedings  of CIPS  Congress'87},
year=1987
}

@inproceedings{DMT87:Parda,
title={A  {P}arser  and  {T}ext
   {G}eneration {S}ystem for {A}rgumentative {D}iscourse},
author={J. DeFinney and  C. Moghrabi and P. Tarau},
pages={305-316},
editor={J.A.  Bates,  D.  Kemp},
booktitle={proceedings of ICCAI, Calgary 1987},
year=1987
}


@proceedings{kdb93k,
  editor = "De Bosschere, K. and Jacquet, J.M. and Tarau, P.",
  title = "Proceedings of the ICLP'93 Post-Conference Workshop on
               Blackboard-Based Logic Programming",
  booktitle = "Proceedings of the ICLP'93 Post-Conference Workshop on
               Blackboard-Based Logic Programming",
  address = "Budapest, Hungary",
  month = jun,
  year = 1993
}

@proceedings{kdb94g,
  editor = "De Bosschere, K. and Demoen, B. and Tarau, P.",
  title = "Proceedings of the ILPS'94 Post-Conference workshop on 
           Implementation Techniques for Logic Programming Languages",
  booktitle = "Implementation Techniques for Logic Programming Languages",
  address = "Ithaca, NY",
  month = nov,
  year = 1994,
}

@proceedings{idl99,
  editor = "Sagonas, K. and Tarau, P.",
  title = "Proceedings of IDL'99",
  booktitle = "Proceedings of IDL'99",
  address = "Paris, France",
  month = sept,
  year = 1999,
  note= "http://www.binnetcorp.com/wshops/IDL99.html"
}

@proceedings{dipcl99,
  editor = "Van Roy, P. and Tarau, P.",
  title = "Proceedings of DIPLCL'99 ",
  booktitle = "Proceedings of DIPLCL'99",
  address = "Las Cruces, NM",
  month = nov,
  year = 1999,
  note= "http://www.binnetcorp.com/wshops/ICLP99DistInetWshop.html"
}