% This file was created with JabRef 2.3.1.
% Encoding: Cp1252

@INPROCEEDINGS{ppdp09pISO,
  author = {Tarau, Paul},
  title = {{An Embedded Declarative Data Transformation Language}},
  booktitle = {{Proceedings of 11th International ACM SIGPLAN Symposium PPDP 2009}},
  year = {2009},
  address = {Coimbra, Portugal},
  month = sep,
  publisher = {ACM},
  pages = {171-182},
}

@INPROCEEDINGS{calc09fiso,
  author = {Tarau, Paul},
  title = {{A Groupoid of Isomorphic Data Transformations}},
  booktitle = {{Intelligent Computer Mathematics,
   16th Symposium, Calculemus 2009,
   8th International Conference MKM 2009
   }},
  editor = {Carette, J. and Dixon, L. and Coen, C. S. and Watt, S. M.},
  year = {2009},
  address = {Grand Bend, Canada},
  month = jul,
  publisher = {Springer, LNAI 5625},
  pages = {170-185},
}

@INPROCEEDINGS{calc09bdd,
  author = {Tarau, Paul and Luderman, Brenda},
  title = {{Computing Ranking and Unranking Functions for BDDs}},
  booktitle = {{Proceedings of 16th Symposium on the Integration of
   Symbolic Computation and Mechanised Reasoning,
   Calculemus 2009 - Emerging trends}},
  year = {2009},
  address = {Grand Bend, Canada},
  month = jul,
  pages={31-42},
  note={http://www.calculemus.net/meetings/ontario09/trends-09.pdf}
}

@INPROCEEDINGS{sac09fISO,
  author = {Tarau, Paul},
  title = {{Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types
  in Haskell}},
  booktitle = {{Proceedings of ACM SAC'09}},
  year = {2009},
  address = {Honolulu, Hawaii},
  month = mar,
  pages = {1898-1903},
  publisher = {ACM}
}

@MISC{arxiv:fISO,
  author = {Paul Tarau},
  title = {{Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily Finite Data Types in Haskell}},
  note = {http://arXiv.org/abs/0808.2953, unpublished draft, 104 pages},
  month = jan,
  year = {2009}
}

@INPROCEEDINGS{padl09inter,
  author = {Tarau, Paul and Majumdar, Arun},
  title = {{Interoperating Logic Engines}},
  booktitle = {{Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009}},
  year = {2009},
  address = {Savannah, Georgia},
  month = jan,
  pages = {137-151},
  publisher = {Springer, LNCS 5418}
}


@INPROCEEDINGS{iclp08:inter,
  author = {Tarau, Paul},
  title = {{ Logic Engines as Interactors}},
  booktitle = {{Logic Programming, 24-th International Conference, ICLP}},
  year = {2008},
  editor = {Garcia de la Banda, Maria and Pontelli, Enrico},
  address = {Udine, Italy},
  month = dec,
   pages     = {703-707},
  publisher = {Springer, LNCS}
}

@INPROCEEDINGS{ciclops08:pINTER,
  author = {Paul Tarau},
  title = {{Interactors: Logic Engine Interoperation with Pure Prolog Semantics}},
  booktitle = {Proceedings of CICLOPS 2008, 8th International Colloquium on Implementation of 
  Constraint and LOgic Programming Systems},
  editor = {Carro, Manuel and Demoen, Bart},
  month = dec,
  year = {2008},
  pages = {17-32},
  url={http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-proceedings.pdf}
}

@INPROCEEDINGS{ciclops08:pISO,
  author = {Paul Tarau},
  title = {{Declarative Combinatorics in Prolog: ShapeShifting Data Objects with 
Isomorphisms and Hylomorphisms}},
  booktitle = {Proceedings of CICLOPS 2008, 8th International Colloquium on Implementation of 
  Constraint and LOgic Programming Systems},
  editor = {Carro, Manuel and Demoen, Bart},
  month = dec,
  year = {2008},
  pages = {107-123},
  url={http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-proceedings.pdf}
}

@INPROCEEDINGS{ciclops08:pBDD,
  author = {Paul Tarau},
  title = {{Pairing Functions, Boolean Evaluation and Binary Decision Diagrams}},
  booktitle = {Proceedings of CICLOPS 2008, 8th International Colloquium on Implementation of 
  Constraint and LOgic Programming Systems},
  editor = {Carro, Manuel and Demoen, Bart},
  month = dec,
  year = {2008},
  pages = {139-153},
  url={http://clip.dia.fi.upm.es/Conferences/CICLOPS-2008/CICLOPS-2008-proceedings.pdf}
}
	
@MISC{arxiv:interactors,
  author = {Paul Tarau},
  title = {{Logic Engines as Interactors}},
  note = {http://arXiv.org/abs/0808.0556},
  year = {2008}
}

@MISC{arxiv:fBDD,
  author = {Paul Tarau},
  title = {{Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell}},
  note = {http://arXiv.org/abs/0808.0760},
  year = {2008}
}

@MISC{arxiv:fSET,
  author = {Paul Tarau},
  title = {{A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions}},
  note = {http://arXiv.org/abs/0808.0754},
  year = {2008}
}

@MISC{arxiv:fFUN,
  author = {Paul Tarau},
  title = {{Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite   Datatypes}},
  note = {http://arXiv.org/abs/0808.0753},
  year = {2008}
}

@MISC{arxiv:pBDD,
  author = {Paul Tarau},
  title = {{Pairing Functions, Boolean Evaluation and Binary Decision Diagrams}},
  note = {http://arXiv.org/abs/0808.0555},
  year = {2008}
}

@MISC{arxiv:pFUN,
  author = {Paul Tarau},
  title = {{Ranking and Unranking of Hereditarily Finite Functions and Permutations}},
  note = {http://arXiv.org/abs/0808.0554},
  year = {2008}
}

@MISC{arxiv:pSET,
  author = {Paul Tarau},
  title = {{Executable Set Theory and Arithmetic Encodings in Prolog}},
  note = {http://arXiv.org/abs/0808.0540},
  year = {2008}
}

@INPROCEEDINGS{kdb93h,
  author = {De Bosschere, K. and Tarau, P.},
  title = {Some {I}ssues in the {I}mplementation of a {U}nix-based {B}lackboard},
  pages = {91--104},
  class = {localpub},
  crossref = {kdb93k}
}

@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{pt93c,
  author = {Tarau, P. and De Bosschere, K.},
  title = {Non-{A}ssociative {B}lackboard {P}rogramming},
  pages = {77--89},
  class = {localpub},
  crossref = {kdb93k}
}

@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}},
  year = {2000},
  address = {Berlin, Germany},
  month = aug,
  publisher = {Springer},
  url = {http://www.cs.kuleuven.ac.be/~lexe/papers/ESAW17.pdf}
}

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

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

@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},
  address = {Dijon},
  month = may
}

@INPROCEEDINGS{picnet,
  author = {Borman, Andy and Mihalcea, Rada and Tarau, Paul},
  title = {{PicNet: Pictorial Representations for Illustrated Semantic Networks}},
  booktitle = {{Proceedings of the AAAI Spring Symposium on Knowledge Collection
	from Volunteer Contributors)}},
  year = {2005},
  address = {Stanford, CA},
  month = mar
}

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

@INPROCEEDINGS{asai04,
  author = {Dahl, Veronica and Tarau, Paul},
  title = {{Assumptive Logic Programming}},
  booktitle = {{Proceedings of ASAI 2004 VI Argentine Symposium on Artificial Intelligence}},
  year = {2004},
  address = {Cordoba, Argentina},
  month = sep
}

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

@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},
  year = {1995},
  number = {95-3},
  month = apr,
}

@TECHREPORT{jags,
  author = {Dahl, Veronica and Tarau, Paul},
  title = {{Assumption Grammars: Parsing as Hypothetical Reasoning}},
  institution = {D\'{e}partement d'Informatique, Universit\'{e} de Moncton},
  year = {1997},
  number = {97-1},
  month = apr, 
}

@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},
  year = {1997},
  month = {june},
  place = {Vancouver, British Columbia}
}

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

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

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

@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}},
  year = {1997},
  editor = {Lee Naish},
  pages = {256--270},
  address = {MIT press}
}

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

@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},
  address = {New Mexico},
  month = jul,
  note = {invited talk}
}

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

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

@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},
  year = {1994},
  editor = {Deaton, E. and Oppenheim, D. and Urban, J. and Berghel, H.},
  pages = {383--387},
  address = {Phoenix/AZ},
  month = mar,
  publisher = {ACM Press}
}

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

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

@INPROCEEDINGS{kdb93f,
  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},
  year = {1993},
  pages = {664},
  address = {Vancouver, Canada},
  class = {int-conference}
}

@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},
  institution = {Vakgroep Elektronica en Informatiesystemen},
  year = {1993},
  type = {{ELIS} {T}echnical {R}eport},
  number = {{DG} 93-15},
  address = {Universiteit Gent},
  month = nov
}

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

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

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

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

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

@INPROCEEDINGS{isws04:web,
  author = {Elizabeth Figa and Paul Tarau},
  title = {{Conversational Agents as Web Services}},
  booktitle = {{Proceedings of The International Symosium On Web Services and Applications
	ISWS''04}},
  year = {2004},
  editor = {H.R. Arabnia and S. Chatterjee},
  pages = {773-782},
  address = {Las Vegas, Nevada, USA},
  month = jun
}

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

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

@INPROCEEDINGS{aamas:emb,
  author = {Elizabeth Figa and Paul Tarau},
  title = {{Knowledge Assimilation and Web Deployment Techniques for Conversational
	Agents}},
  booktitle = {{Proceedings of the AAMAS 2004 Workshop On Embodied Conversational
	Agents: Balanced Perception and Action}},
  year = {2004},
  editor = {C. Pelachaud, Zsofia Ruttkay and Kris Thorisson},
  pages = {108-114},
  address = {New York, USA},
  month = jul
}

@INPROCEEDINGS{asist:lex,
  author = {Elizabeth Figa and Paul Tarau},
  title = {{Lexical Inference Mechanisms for Text Understanding and Classification}},
  booktitle = {{Proceedings of the 66th Annual Meeting of American Society for Information
	Science and Technology}},
  year = {2003},
  editor = {Ross J. Todd},
  pages = {165-173},
  address = {Long Beach, California},
  month = oct
}

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

@ARTICLE{sig:story,
  author = {Elizabeth Figa and Paul Tarau},
  title = {The VISTA architecture: experiencing stories through virtual storytelling
	agents},
  journal = {SIGGROUP Bull.},
  year = {2002},
  volume = {23},
  pages = {27--28},
  number = {2},
  url = {http://doi.acm.org/10.1145/962185.962196},
  publisher = {ACM Press}
}

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

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

@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},
  address = {Hong Kong},
  month = jul
}

@INPROCEEDINGS{sac05hurt,
  author = {Hurt, David and Tarau, Paul},
  title = {{An empirical evaluation of communication effectiveness in autonomous
	reactive multiagent systems}},
  booktitle = {{ Proceedings of the ACM Conference on Applied Computing (ACM-SAC
	2005) }},
  year = {2005},
  pages = {74-78},
  address = {Santa Fe, NM},
  month = mar,
  howpublished = {acceptance 36p}
}

@INPROCEEDINGS{kccp07,
  author = {Majumdar, Arun and Keeler, Mary and Tarau, Paul and Sowa, John},
  title = {{Semantic Distances As Knowledge Capture Constraints}},
  booktitle = {{First Workshop on Knowledge Capture and Constraint Programming (KCCP-2007)}},
  year = {2007},
  address = {Whistler, BC},
  month = sep,
  howpublished = {http://4c.ucc.ie/creeds/kcapWorkshop.html}
}

@INPROCEEDINGS{ia05,
  author = {Mihalcea, Rada and Tarau, Paul},
  title = {{Multi-Document Summarization with Iterative Graph-based Algorithms}},
  booktitle = {{Proceedings of the First International Conference on Intelligent
	Analysis Methods and Tools (IA 2005)}},
  year = {2005},
  address = {McLean, VA},
  month = may
}

@INPROCEEDINGS{ijcnlp05,
  author = {Mihalcea, Rada and Tarau, Paul},
  title = {{An Algorithm for Language Independent Single and Multiple Document
	Summarization}},
  booktitle = {{Proceedings of the International Joint Conference on Natural Language
	Processing (IJCNLP)}},
  year = {2005},
  address = {Korea},
  month = oct,
  howpublished = {acceptance 31p}
}

@INPROCEEDINGS{coling04:pr,
  author = {Mihalcea, Rada and Tarau, Paul and Figa, Elizabeth},
  title = {{PageRank on Semantic Networks, with application to Word Sense Disambiguation}},
  booktitle = {{Proceedings of The 20st International Conference on Computational
	Linguistics (COLING 2004)}},
  year = {2004},
  address = {Geneva, Switzerland},
  month = aug,
  url = {http://www.issco.unige.ch/coling2004/}
}

@INPROCEEDINGS{EMNLP:TR,
  author = {Mihalcea, Rada and Tarau, Paul and Figa, Elizabeth},
  title = {{TextRank: Bringing Order into Texts}},
  booktitle = {{Proceedings of the Conference on Empirical Methods in Natural Language
	Processing (EMNLP 2004)}},
  year = {2004},
  address = {Barcelona, Spain},
  month = jul,
  howpublished = {acceptance 23p}
}

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

@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}},
  year = {1999},
  address = {Seattle, Washington},
  month = {june}
}

@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},
  year = {1998},
  address = {Orlando, Florida},
  month = {july}
}

@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}},
  year = {1998},
  address = {Tokyo, Japan}
}

@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}
}

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

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

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

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

@INPROCEEDINGS{ciclops:jinni,
  author = {Tarau, Paul},
  title = {{Orthogonal Language Constructs for Agent Oriented Logic Programming}},
  booktitle = {{Proceedings of CICLOPS 2004, Fourth Colloquium on Implementation
	of Constraint and Logic Programming Systems}},
  year = {2004},
  editor = {Carro, Manuel and Morales, Jose F.},
  address = {Saint-Malo, France},
  month = sep,
  url = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004/}
}

@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},
  editor = {M.-M. Corsini},
  month = jun
}

@INPROCEEDINGS{iclp04:jinni,
  author = {Tarau, Paul},
  title = {{Agent Oriented Logic Programming Constructs in Jinni 2004}},
  booktitle = {{Logic Programming, 20-th International Conference, ICLP 2004}},
  year = {2004},
  editor = {Demoen, Bart and Lifschitz, Vladimir},
  pages = {477-478},
  address = {Saint-Malo, France},
  month = sep,
  publisher = {Springer, LNCS 3132}
}

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

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

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

@INPROCEEDINGS{tarau:cl2000,
  author = {Paul Tarau},
  title = {{Fluents: A Refactoring of Prolog for Uniform Reflection and Interoperation
	with External Objects}},
  booktitle = {{Computational Logic--CL 2000: First International Conference}},
  year = {2000},
  editor = {John Lloyd},
  address = {London, UK},
  month = jul,
  note = {LNCS 1861, Springer-Verlag}
}

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

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

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

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

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

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

@TECHREPORT{bp7advanced,
  author = {Tarau, Paul},
  title = {{BinProlog 11.x Professional Edition: Advanced BinProlog Programming
	and Extensions Guide}},
  institution = {BinNet Corp.},
  year = {2006},
  url = {http://www.binnetcorp.com/BinProlog.}
}

@TECHREPORT{bp7crossref,
  author = {Tarau, Paul},
  title = {{BinProlog 11.x Professional Edition: Predicate Cross-Reference Guide
	}},
  institution = {BinNet Corp.},
  year = {2006},
  url = {http://www.binnetcorp.com/BinProlog.}
}

@TECHREPORT{bp7interface,
  author = {Tarau, Paul},
  title = {{BinProlog 11.x Professional Edition: BinProlog Interfaces Guide}},
  institution = {BinNet Corp.},
  year = {2006},
  url = {http://www.binnetcorp.com/BinProlog.}
}

@TECHREPORT{bp7internet,
  author = {Tarau, Paul},
  title = {{BinProlog 11.x Professional Edition: Internet Programming Guide}},
  institution = {BinNet Corp.},
  year = {2006},
  url = {http://www.binnetcorp.com/BinProlog.}
}

@TECHREPORT{bp7user,
  author = {Tarau, Paul},
  title = {{BinProlog 11.x Professional Edition: User Guide}},
  institution = {BinNet Corp.},
  year = {2006},
  url = {http://www.binnetcorp.com/BinProlog}
}

@MISC{j2k_ug,
  author = {Paul Tarau},
  title = {{The Jinni Prolog Compiler: a fast and flexible Prolog-in-Java}},
  institution = {BinNet Corp.},
  year = {2008},
  note = {http://www.binnetcorp.com/download/jinnidemo/JinniUserGuide.html}
}

@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}},
  year = {1999},
  pages = {109-123},
  address = {London, U.K.}
}

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

@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},
  address = {Big Island of Hawaii},
  month = jan
}

@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.},
  year = {1998},
  url = {http://www.binnetcorp.com/BinProlog}
}

@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},
  year = {1997},
  number = {97-1},
  month = apr,
  url = {http://clement.info.umoncton.ca/BinProlog}
}

@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},
  year = {1997},
  number = {97-2},
  month = oct,
  url = {http://clement.info.umoncton.ca/html}
}

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

@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},
  year = {1996},
  number = {96-1},
  month = apr,
  url = {http://clement.info.umoncton.ca/BinProlog}
}

@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},
  year = {1995},
  volume = {14},
  pages = {713--731},
  number = {6},
  comment = {Num\'ero special JFPL'95},
  publisher = {Hermes}
}

@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},
  year = {1995},
  number = {95-1},
  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},
  year = {1994},
  number = {94-1},
  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},
  year = {1993},
  number = {93-1},
  month = feb,
  note = {ftp://clement.info.umoncton.ca/{B}in{P}rolog}
}

@INPROCEEDINGS{Tarau93a,
  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},
  year = {1993},
  address = {Vancouver, Canada},
  publisher = {MIT Press},
  note = {poster},
  class = {int-conference}
}

@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},
  year = {1992},
  number = {92-1},
  month = feb
}

@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},
  year = {1992},
  number = {92-3},
  month = jul,
  note = {available by ftp from clement.info.umoncton.ca}
}

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

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

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

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

@INPROCEEDINGS{tb:ambients,
  author = {Tarau, Paul and Bouckerche, Azzedine},
  title = {{Agents and Ambient Intelligence in the Jinni Infrastructure}},
  booktitle = {{International Workshop on Ambient Intelligence Computing}},
  year = {2003},
  editor = {P. Spirakis, A. Kameas, and S. Nikoletseas},
  pages = {83-99},
  address = {Santorini, Greece},
  month = jun,
  publisher = {CTI Press},
  note = {ISBN 940-406-462-2}
}

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

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

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

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

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

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

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

@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},
  year = {1994},
  address = {Pisa},
  month = jun
}

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

@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},
  address = {Leuven, Belgium},
  month = jul
}

@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},
  pages = {106--112},
  address = {IEEE Computer Society Press},
  month = jun
}

@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},
  address = {Santa Clara, California},
  month = mar
}

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

@INPROCEEDINGS{TarauDF95a,
  author = {P. Tarau and V. Dahl and A. Fall},
  title = {Backtrackable {S}tate with {L}inear {A}ssumptions, {C}ontinuations
	and {H}idden {A}ccumulator {G}rammars },
  booktitle = {Proceedings of ILPS'95},
  year = {1995},
  editor = {Lloyd, John},
  pages = {642},
  address = {Portland, Oregon},
  month = nov,
  note = {poster abstract}
}

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

@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},
  year = {1995},
  number = {95-2},
  month = apr,
  note = {Available by ftp from {\em clement.info.umoncton.ca}.}
}

@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},
  year = {1997},
  editor = {S. Pemberton},
  pages = {323--324},
  month = mar,
  comment = {ACM ISBN 0-8979-926-2}
}

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

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

@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},
  year = {1993},
  editor = {Goldfarb, L.},
  pages = {137--147},
  address = {Fredericton, N.B.},
  month = aug
}

@INPROCEEDINGS{lpnet96:virtual1,
  author = {Tarau, Paul and De Bosschere, Koen},
  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},
  year = {1996},
  editor = {Tarau, Paul and Davison, Andrew and De Bosschere, Koen and Hermenegildo,
	Manuel},
  address = {Bonn},
  month = sep,
  url = {http://clement.info.umoncton.ca/~lpnet}
}

@ARTICLE{TBD95:memo,
  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},
  pages = {145--163},
  number = {2},
  month = feb,
  class = {int-journal}
}

@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},
  year = {1996},
  volume = {29},
  pages = {65--83},
  number = {1--3},
  month = nov
}

@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},
  pages = {15--20},
  month = jun,
  note = {also available as TR N-7034 Norges Tek. Hogscole, TRONDHEIM},
  comment = {describes the BinProlog Tcl/Tk interface and its design principles}
}

@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},
  year = {1995},
  editor = {Manuel Hermenegildo and Pedro Lopez}
}

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

@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},
  year = {1994},
  editor = {Garc\'\i a de la Banda, J., M. and Hermenegildo M.},
  pages = {3--17},
  address = {Madrid/Spain},
  month = sep
}

@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},
  year = {1995},
  editor = {K.M. George and J.H. Carrol and E. Deaton and D. Oppenheim and J.
	Hightower},
  pages = {152--176},
  address = {Nashville},
  month = feb,
  publisher = {ACM Press}
}

@INPROCEEDINGS{sac04:conv,
  author = {Paul Tarau and Elizabeth Figa},
  title = {{Knowledge Based Conversational Agents and Virtual Storytelling}},
  booktitle = {{Proceedings of the 2004 ACM Symposium on Applied Computing}},
  year = {2004},
  address = {Nicosia, Cyprus},
  month = mar,
  publisher = {ACM Press},
  url = {http://www.acm.org/conferences/sac/sac2004/TuesdayPapers.htm}
}


@inproceedings{cf08,
 author = {Paul Tarau and Brenda Luderman},
 title = {Exact combinational logic synthesis and non-standard circuit design},
 booktitle = {CF '08: Proceedings of the 2008 conference on Computing frontiers},
 year = {2008},
 isbn = {978-1-60558-077-7},
 pages = {179--188},
 location = {Ischia, Italy},
 doi = {http://doi.acm.org/10.1145/1366230.1366263},
 publisher = {ACM},
 address = {New York, NY, USA},
 }


@INPROCEEDINGS{sac08,
  author = {Tarau, Paul and Luderman, Brenda},
  title = {{Revisiting Exact Combinational Circuit Synthesis}},
  booktitle = {{Proceedings of the 2008 ACM symposium on Applied computing}},
  year = {2008},
  address = {Fortalezza, Brazil},
  month = mar,
  pages= "1758-1759",
  howpublished = {ISBN:978-1-59593-753-7}
}

@INPROCEEDINGS{iclp07,
  author = {Tarau, Paul and Luderman, Brenda},
  title = {{A Logic Programming Framework for Combinational Circuit Synthesis}},
  booktitle = {{23rd International Conference on Logic Programming (ICLP), LNCS
	4670}},
  year = {2007},
  pages = {180-194},
  address = {Porto, Portugal},
  month = sep,
  publisher = {Springer},
  howpublished = {ISBN 978-3-540-74608-9}
}

@INPROCEEDINGS{ciclops:pr,
  author = {Tarau, Paul and Mihalcea, Rada and Figa, Elizabeth},
  title = {{A Logic Programming Framework for Semantic Interpretation with WordNet
	and PageRank}},
  booktitle = {{Proceedings of CICLOPS 2004, Fourth Colloquium on Implementation
	of Constraint and Logic Programming Systems}},
  year = {2004},
  editor = {Carro, Manuel and Morales, Jose F.},
  address = {Saint-Malo, France},
  month = sep,
  url = {http://clip.dia.fi.upm.es/Conferences/CICLOPS-2004/}
}

@INPROCEEDINGS{sac05,
  author = {Tarau, Paul and Mihalcea, Rada and Figa, Elizabeth},
  title = {{Semantic document engineering with WordNet and PageRank}},
  booktitle = {{Proceedings of the ACM Conference on Applied Computing (ACM-SAC
	2005)}},
  year = {2005},
  pages = {782-786},
  address = {Santa Fe, NM},
  month = mar,
  howpublished = {acceptance 36p}
}

@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}},
  booktitle = {Proceedings of Programming Language Implementation and Logic Programming},
  year = {1994},
  editor = {M. Hermenegildo and J. Penjam},
  number = {844},
  series = {Lecture Notes in Computer Science},
  pages = {73--87},
  month = sep,
  publisher = {Springer},
  keywords = {Logic Programming}
}


@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},
  year = {1993},
  number = {93-3},
  month = nov,
  note = {available by ftp from clement.info.umoncton.ca}
}

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

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

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

@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}
}

@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},
  pages = {336--355},
  address = {McGill University, Montreal},
  month = jun
}

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

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

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

@PROCEEDINGS{sclara97,
  title = {{LogiMOO: a Prolog based Virtual World}},
  year = {1997},
  editor = {Eliens, A.},
  address = {Santa Clara, California},
  month = apr,
  booktitle = {{Proceedings of the Workshop on logic programming and the Web at
	the 6th International WWW Conference}}
}

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

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

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

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

@article{metadata04,
  title={{Enhancing the virtual storytelling experience with metadata driven voice enabled conversational agents}},
  author={Figa, E. and Tarau, P. and Ephraim, J.},
  journal={Proceedings of the American Society for Information Science and Technology},
  volume={41},
  number={1},
  year={2004},
  publisher={Wiley Subscription Services, Inc., A Wiley Company Hoboken}
}

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

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

@article{tarau81,
 title={{A Wittgenstein Type Approach to the Semantics of Natural Languages}},
 author={Paul Tarau},
 journal={Revue Roumaine de Linguistique},
 year={1981},
 volume={26},
 number={2},
 pages={151-160},
}