Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Paul Tarau
@inproceedings{DBLP:journals/corr/abs-2308-15890,
author = {Paul Tarau},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Natlog: Embedding Logic Programming into the Python Deep-Learning
Ecosystem},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {141--154},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.15},
doi = {10.4204/EPTCS.385.15},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15890.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Tarau23,
author = {Paul Tarau},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Reflections on Automation, Learnability and Expressiveness in Logic-Based
Programming Languages},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {359--371},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_29},
doi = {10.1007/978-3-031-35254-6\_29},
timestamp = {Tue, 23 Jan 2024 13:25:47 +0100},
biburl = {https://dblp.org/rec/series/lncs/Tarau23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-14077,
author = {Paul Tarau},
title = {Full Automation of Goal-driven {LLM} Dialog Threads with And-Or Recursors
and Refiner Oracles},
journal = {CoRR},
volume = {abs/2306.14077},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.14077},
doi = {10.48550/ARXIV.2306.14077},
eprinttype = {arXiv},
eprint = {2306.14077},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-14077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Tarau22,
author = {Paul Tarau},
title = {Abductive Reasoning in Intuitionistic Propositional Logic via Theorem
Synthesis},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {5},
pages = {693--707},
year = {2022},
url = {https://doi.org/10.1017/S1471068422000254},
doi = {10.1017/S1471068422000254},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Tarau22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlpir/GuoBLDKT22,
author = {Yifan Guo and
David Brock and
Alicia Lin and
Tam Doan and
Ali Khan and
Paul Tarau},
title = {Dependency Graphs for Summarization and Keyphrase Extraction: We present
a real-time long document summarization and key-phrase extraction
algorithm that utilizes a unified dependency graph},
booktitle = {Proceedings of the 2022 6th International Conference on Natural Language
Processing and Information Retrieval, {NLPIR} 2022, Bangkok, Thailand,
December 16-18, 2022},
pages = {181--186},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3582768.3582792},
doi = {10.1145/3582768.3582792},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nlpir/GuoBLDKT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-03093,
author = {Paul Tarau},
editor = {Yuliya Lierler and
Jos{\'{e}} F. Morales and
Carmine Dodaro and
Ver{\'{o}}nica Dahl and
Martin Gebser and
K. Tuncay Tekle},
title = {A Gaze into the Internal Logic of Graph Neural Networks, with Logic},
booktitle = {Proceedings 38th International Conference on Logic Programming, {ICLP}
2022 Technical Communications / Doctoral Consortium, Haifa, Israel,
31st July 2022 - 6th August 2022},
series = {{EPTCS}},
volume = {364},
pages = {93--106},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.364.9},
doi = {10.4204/EPTCS.364.9},
timestamp = {Mon, 21 Aug 2023 17:48:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-03093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-05728,
author = {Paul Tarau},
title = {Abductive Reasoning in Intuitionistic Propositional Logic via Theorem
Synthesis},
journal = {CoRR},
volume = {abs/2205.05728},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.05728},
doi = {10.48550/ARXIV.2205.05728},
eprinttype = {arXiv},
eprint = {2205.05728},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-05728.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TarauB21,
author = {Paul Tarau and
Eduardo Blanco},
title = {Interactive Text Graph Mining with a Prolog-Based Dialog Engine},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {244--263},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000137},
doi = {10.1017/S1471068420000137},
timestamp = {Thu, 29 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/TarauB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fqas/GuoSKDT21,
author = {Yifan Guo and
Weilun Sun and
Ali Khan and
Tam Doan and
Paul Tarau},
editor = {Troels Andreasen and
Guy De Tr{\'{e}} and
Janusz Kacprzyk and
Henrik Legind Larsen and
Gloria Bordogna and
Slawomir Zadrozny},
title = {DocTalk: Combining Dependency-Based Text Graphs and Deep Learning
into a Practical Dialog Engine},
booktitle = {Flexible Query Answering Systems - 14th International Conference,
{FQAS} 2021, Bratislava, Slovakia, September 19-24, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12871},
pages = {182--195},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-86967-0\_14},
doi = {10.1007/978-3-030-86967-0\_14},
timestamp = {Mon, 28 Aug 2023 21:17:46 +0200},
biburl = {https://dblp.org/rec/conf/fqas/GuoSKDT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tarau21,
author = {Paul Tarau},
editor = {Jos{\'{e}} F. Morales and
Dominic A. Orchard},
title = {A Family of Unification-Oblivious Program Transformations and Their
Applications},
booktitle = {Practical Aspects of Declarative Languages - 23rd International Symposium,
{PADL} 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12548},
pages = {3--19},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67438-0\_1},
doi = {10.1007/978-3-030-67438-0\_1},
timestamp = {Fri, 23 Apr 2021 09:00:31 +0200},
biburl = {https://dblp.org/rec/conf/padl/Tarau21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08291,
author = {Paul Tarau},
editor = {Andrea Formisano and
Yanhong Annie Liu and
Bart Bogaerts and
Alex Brik and
Ver{\'{o}}nica Dahl and
Carmine Dodaro and
Paul Fodor and
Gian Luca Pozzato and
Joost Vennekens and
Neng{-}Fa Zhou},
title = {Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic
Touch},
booktitle = {Proceedings 37th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2021, Porto (virtual
event), 20-27th September 2021},
series = {{EPTCS}},
volume = {345},
pages = {141--154},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.345.27},
doi = {10.4204/EPTCS.345.27},
timestamp = {Mon, 03 Jan 2022 22:03:23 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08291.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Tarau20,
author = {Paul Tarau},
title = {Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed
Lambda Terms and Normal Forms},
journal = {Fundam. Informaticae},
volume = {177},
number = {3-4},
pages = {385--415},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1994},
doi = {10.3233/FI-2020-1994},
timestamp = {Mon, 21 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/Tarau20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Tarau20,
author = {Paul Tarau},
editor = {Maribel Fern{\'{a}}ndez},
title = {Synthesis of Modality Definitions and a Theorem Prover for Epistemic
Intuitionistic Logic},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {329--344},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_17},
doi = {10.1007/978-3-030-68446-4\_17},
timestamp = {Mon, 15 Feb 2021 15:03:56 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/Tarau20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/TarauB20,
author = {Paul Tarau and
Eduardo Blanco},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {Interactive Text Graph Mining with a Prolog-based Dialog Engine},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {3--19},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_1},
doi = {10.1007/978-3-030-39197-3\_1},
timestamp = {Tue, 21 Jan 2020 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/padl/TarauB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2009-10241,
author = {Paul Tarau and
Valeria de Paiva},
editor = {Francesco Ricca and
Alessandra Russo and
Sergio Greco and
Nicola Leone and
Alexander Artikis and
Gerhard Friedrich and
Paul Fodor and
Angelika Kimmig and
Francesca A. Lisi and
Marco Maratea and
Alessandra Mileo and
Fabrizio Riguzzi},
title = {Deriving Theorems in Implicational Linear Logic, Declaratively},
booktitle = {Proceedings 36th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2020, (Technical
Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
series = {{EPTCS}},
volume = {325},
pages = {110--123},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.325.18},
doi = {10.4204/EPTCS.325.18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-10241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-00956,
author = {Paul Tarau and
Eduardo Blanco},
title = {Interactive Text Graph Mining with a Prolog-based Dialog Engine},
journal = {CoRR},
volume = {abs/2008.00956},
year = {2020},
url = {https://arxiv.org/abs/2008.00956},
eprinttype = {arXiv},
eprint = {2008.00956},
timestamp = {Fri, 07 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-00956.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tarau19,
author = {Paul Tarau},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {A Combinatorial Testing Framework for Intuitionistic Propositional
Theorem Provers},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {115--132},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_8},
doi = {10.1007/978-3-030-05998-9\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/Tarau19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1907-11354,
author = {Paul Tarau and
Jan Wielemaker and
Tom Schrijvers},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Lazy Stream Programming in Prolog},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {224--237},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.26},
doi = {10.4204/EPTCS.306.26},
timestamp = {Mon, 03 Jan 2022 22:03:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11354.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11838,
author = {Paul Tarau},
title = {Modality Definition Synthesis for Epistemic Intuitionistic Logic via
a Theorem Prover},
journal = {CoRR},
volume = {abs/1907.11838},
year = {2019},
url = {http://arxiv.org/abs/1907.11838},
eprinttype = {arXiv},
eprint = {1907.11838},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11838.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-09742,
author = {Paul Tarau and
Eduardo Blanco},
title = {Dependency-based Text Graphs for Keyphrase and Summary Extraction
with Applications to Interactive Content Retrieval},
journal = {CoRR},
volume = {abs/1909.09742},
year = {2019},
url = {http://arxiv.org/abs/1909.09742},
eprinttype = {arXiv},
eprint = {1909.09742},
timestamp = {Tue, 08 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-09742.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-01775,
author = {Paul Tarau},
title = {Formula Transformers and Combinatorial Test Generators for Propositional
Intuitionistic Theorem Provers},
journal = {CoRR},
volume = {abs/1910.01775},
year = {2019},
url = {http://arxiv.org/abs/1910.01775},
eprinttype = {arXiv},
eprint = {1910.01775},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-01775.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BendkowskiGT18,
author = {Maciej Bendkowski and
Katarzyna Grygiel and
Paul Tarau},
title = {Random generation of closed simply typed {\(\lambda\)}-terms: {A}
synergy between logic programming and Boltzmann samplers},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {97--119},
year = {2018},
url = {https://doi.org/10.1017/S147106841700045X},
doi = {10.1017/S147106841700045X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BendkowskiGT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PaluT18,
author = {Alessandro Dal Pal{\`{u}} and
Paul Tarau},
title = {Introduction to the 34-th international conference on logic programming
special issue},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {296--300},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000352},
doi = {10.1017/S1471068418000352},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/PaluT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tarau18,
author = {Paul Tarau},
editor = {Francesco Calimeri and
Kevin W. Hamlen and
Nicola Leone},
title = {On k-colored Lambda Terms and Their Skeletons},
booktitle = {Practical Aspects of Declarative Languages - 20th International Symposium,
{PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10702},
pages = {116--131},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73305-0\_8},
doi = {10.1007/978-3-319-73305-0\_8},
timestamp = {Fri, 27 Mar 2020 08:57:16 +0100},
biburl = {https://dblp.org/rec/conf/padl/Tarau18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/Tarau18,
author = {Paul Tarau},
editor = {Marco Maratea and
Mauro Vallati},
title = {Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for
Minimal Logic},
booktitle = {Proceedings of the Workshop on Experimental Evaluation of Algorithms
for Solving Problems with Combinatorial Explosion co-located with
the Federated Logic Conference, RCRA@FLOC 2018, Oxford, United Kingdom,
July 13, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2271},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2271/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/Tarau18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Tarau18,
author = {Paul Tarau},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Declarative algorithms for generation, counting and random sampling
of term algebras},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1203--1210},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167262},
doi = {10.1145/3167132.3167262},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/Tarau18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2018,
editor = {Alessandro Dal Pal{\`{u}} and
Paul Tarau and
Neda Saeedloei and
Paul Fodor},
title = {Technical Communications of the 34th International Conference on Logic
Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
series = {OASIcs},
volume = {64},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-090-3},
isbn = {978-3-95977-090-3},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tarau17,
author = {Paul Tarau},
editor = {Ricardo Rocha and
Tran Cao Son and
Christopher Mears and
Neda Saeedloei},
title = {A Hitchhiker's Guide to Reinventing a Prolog Machine},
booktitle = {Technical Communications of the 33rd International Conference on Logic
Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
Australia},
series = {OASIcs},
volume = {58},
pages = {10:1--10:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.ICLP.2017.10},
doi = {10.4230/OASICS.ICLP.2017.10},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Tarau17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BodiniT17,
author = {Olivier Bodini and
Paul Tarau},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {252--268},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_15},
doi = {10.1007/978-3-319-94460-9\_15},
timestamp = {Wed, 25 Sep 2019 18:04:28 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BodiniT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/BendkowskiGT17,
author = {Maciej Bendkowski and
Katarzyna Grygiel and
Paul Tarau},
editor = {Yuliya Lierler and
Walid Taha},
title = {Boltzmann Samplers for Closed Simply-Typed Lambda Terms},
booktitle = {Practical Aspects of Declarative Languages - 19th International Symposium,
{PADL} 2017, Paris, France, January 16-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10137},
pages = {120--135},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51676-9\_8},
doi = {10.1007/978-3-319-51676-9\_8},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/BendkowskiGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-04302,
author = {Olivier Bodini and
Paul Tarau},
title = {On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms},
journal = {CoRR},
volume = {abs/1709.04302},
year = {2017},
url = {http://arxiv.org/abs/1709.04302},
eprinttype = {arXiv},
eprint = {1709.04302},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-04302.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecir/HamidHT16,
author = {Fahmida Hamid and
David Haraburda and
Paul Tarau},
editor = {Nicola Ferro and
Fabio Crestani and
Marie{-}Francine Moens and
Josiane Mothe and
Fabrizio Silvestri and
Giorgio Maria Di Nunzio and
Claudia Hauff and
Gianmaria Silvello},
title = {Evaluating Text Summarization Systems with a Fair Baseline from Multiple
Reference Summaries},
booktitle = {Advances in Information Retrieval - 38th European Conference on {IR}
Research, {ECIR} 2016, Padua, Italy, March 20-23, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9626},
pages = {351--365},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30671-1\_26},
doi = {10.1007/978-3-319-30671-1\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecir/HamidHT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inlg/MazidiT16,
author = {Karen Mazidi and
Paul Tarau},
editor = {Amy Isard and
Verena Rieser and
Dimitra Gkatzia},
title = {Infusing {NLU} into Automatic Question Generation},
booktitle = {{INLG} 2016 - Proceedings of the Ninth International Natural Language
Generation Conference, September 5-8, 2016, Edinburgh, {UK}},
pages = {51--60},
publisher = {The Association for Computer Linguistics},
year = {2016},
url = {https://doi.org/10.18653/v1/w16-6609},
doi = {10.18653/V1/W16-6609},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inlg/MazidiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/its/MazidiT16,
author = {Karen Mazidi and
Paul Tarau},
editor = {Alessandro Micarelli and
John C. Stamper and
Kitty Panourgia},
title = {Automatic Question Generation: From {NLU} to {NLG}},
booktitle = {Intelligent Tutoring Systems - 13th International Conference, {ITS}
2016, Zagreb, Croatia, June 7-10, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9684},
pages = {23--33},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39583-8\_3},
doi = {10.1007/978-3-319-39583-8\_3},
timestamp = {Thu, 14 Oct 2021 09:58:59 +0200},
biburl = {https://dblp.org/rec/conf/its/MazidiT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Tarau16,
author = {Paul Tarau},
editor = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {A Hiking Trip Through the Orders of Magnitude: Deriving Efficient
Generators for Closed Simply-Typed Lambda Terms and Normal Forms},
booktitle = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10184},
pages = {240--255},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-63139-4\_14},
doi = {10.1007/978-3-319-63139-4\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Tarau16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tarau16,
author = {Paul Tarau},
editor = {Marco Gavanelli and
John H. Reppy},
title = {A Size-Proportionate Bijective Encoding of Lambda Terms as Catalan
Objects Endowed with Arithmetic Operations},
booktitle = {Practical Aspects of Declarative Languages - 18th International Symposium,
{PADL} 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9585},
pages = {99--116},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28228-2\_7},
doi = {10.1007/978-3-319-28228-2\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/Tarau16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tarau16a,
author = {Paul Tarau},
editor = {Marco Gavanelli and
John H. Reppy},
title = {Computing with Catalan Families, Generically},
booktitle = {Practical Aspects of Declarative Languages - 18th International Symposium,
{PADL} 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9585},
pages = {117--134},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-28228-2\_8},
doi = {10.1007/978-3-319-28228-2\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/Tarau16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Tarau16,
author = {Paul Tarau},
title = {A Hiking Trip Through the Orders of Magnitude: Deriving Efficient
Generators for Closed Simply-Typed Lambda Terms and Normal Forms},
journal = {CoRR},
volume = {abs/1608.03912},
year = {2016},
url = {http://arxiv.org/abs/1608.03912},
eprinttype = {arXiv},
eprint = {1608.03912},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tarau16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BendkowskiGT16,
author = {Maciej Bendkowski and
Katarzyna Grygiel and
Paul Tarau},
title = {Random generation of closed simply-typed {\textdollar}{\(\lambda\)}{\textdollar}-terms:
a synergy between logic programming and Boltzmann samplers},
journal = {CoRR},
volume = {abs/1612.07682},
year = {2016},
url = {http://arxiv.org/abs/1612.07682},
eprinttype = {arXiv},
eprint = {1612.07682},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BendkowskiGT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cicling/HamidT15,
author = {Fahmida Hamid and
Paul Tarau},
editor = {Alexander F. Gelbukh},
title = {Anti-Summaries: Enhancing Graph-Based Techniques for Summary Extraction
with Sentiment Polarity},
booktitle = {Computational Linguistics and Intelligent Text Processing - 16th International
Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9042},
pages = {375--389},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-18117-2\_28},
doi = {10.1007/978-3-319-18117-2\_28},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cicling/HamidT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tarau15,
author = {Paul Tarau},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {On Type-directed Generation of Lambda Terms},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_12.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Tarau15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Tarau15,
author = {Paul Tarau},
editor = {Manfred Kerber and
Jacques Carette and
Cezary Kaliszyk and
Florian Rabe and
Volker Sorge},
title = {Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices},
booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9150},
pages = {118--133},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-20615-8\_8},
doi = {10.1007/978-3-319-20615-8\_8},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Tarau15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tarau15,
author = {Paul Tarau},
editor = {Enrico Pontelli and
Tran Cao Son},
title = {On Logic Programming Representations of Lambda Terms: de Bruijn Indices,
Compression, Type Inference, Combinatorial Generation, Normalization},
booktitle = {Practical Aspects of Declarative Languages - 17th International Symposium,
{PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9131},
pages = {115--131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19686-2\_9},
doi = {10.1007/978-3-319-19686-2\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/Tarau15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Tarau15,
author = {Paul Tarau},
editor = {Moreno Falaschi and
Elvira Albert},
title = {On a uniform representation of combinators, arithmetic, lambda terms
and types},
booktitle = {Proceedings of the 17th International Symposium on Principles and
Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
pages = {244--255},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2790449.2790526},
doi = {10.1145/2790449.2790526},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Tarau15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Tarau15,
author = {Paul Tarau},
editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {The Arithmetic of Even-Odd Trees},
booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
pages = {90--97},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SYNASC.2015.23},
doi = {10.1109/SYNASC.2015.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Tarau15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Tarau15a,
author = {Paul Tarau},
editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {On Synergies between Type Inference, Generation and Normalization
of SK-Combinator Trees},
booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
pages = {160--166},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SYNASC.2015.33},
doi = {10.1109/SYNASC.2015.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Tarau15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Tarau15,
author = {Paul Tarau},
title = {A Logic Programming Playground for Lambda Terms, Combinators, Types
and Tree-based Arithmetic Computations},
journal = {CoRR},
volume = {abs/1507.06944},
year = {2015},
url = {http://arxiv.org/abs/1507.06944},
eprinttype = {arXiv},
eprint = {1507.06944},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tarau15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Tarau14,
author = {Paul Tarau},
title = {Arithmetic and Boolean Operations on Recursively Run-Length Compressed
Natural Numbers},
journal = {Sci. Ann. Comput. Sci.},
volume = {24},
number = {2},
pages = {287--323},
year = {2014},
url = {https://doi.org/10.7561/SACS.2014.2.287},
doi = {10.7561/SACS.2014.2.287},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Tarau14,
author = {Paul Tarau},
title = {Towards a generic view of primality through multiset decompositions
of natural numbers},
journal = {Theor. Comput. Sci.},
volume = {537},
pages = {105--124},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.04.025},
doi = {10.1016/J.TCS.2014.04.025},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Tarau14,
author = {Paul Tarau},
editor = {Gabriel Ciobanu and
Dominique M{\'{e}}ry},
title = {The Arithmetic of Recursively Run-Length Compressed Natural Numbers},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {406--423},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10882-7\_24},
doi = {10.1007/978-3-319-10882-7\_24},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lata/Tarau14,
author = {Paul Tarau},
editor = {Adrian{-}Horia Dediu and
Carlos Mart{\'{\i}}n{-}Vide and
Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and
Bianca Truthe},
title = {Computing with Catalan Families},
booktitle = {Language and Automata Theory and Applications - 8th International
Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8370},
pages = {565--575},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04921-2\_46},
doi = {10.1007/978-3-319-04921-2\_46},
timestamp = {Sun, 02 Oct 2022 16:11:11 +0200},
biburl = {https://dblp.org/rec/conf/lata/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tarau14,
author = {Paul Tarau},
editor = {Matthew Flatt and
Hai{-}Feng Guo},
title = {A Declarative Specification of Giant Number Arithmetic},
booktitle = {Practical Aspects of Declarative Languages - 16th International Symposium,
{PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8324},
pages = {120--135},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04132-2\_9},
doi = {10.1007/978-3-319-04132-2\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/HamidT14,
author = {Fahmida Hamid and
Paul Tarau},
editor = {Fillia Makedon and
Mark Clements and
Catherine Pelachaud and
Vana Kalogeraki and
Ilias Maglogiannis},
title = {Text summarization as an assistive technology},
booktitle = {Proceedings of the 7th International Conference on PErvasive Technologies
Related to Assistive Environments, {PETRA} 2014, Island of Rhodes,
Greece, May 27 - 30, 2014},
pages = {60:1--60:4},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2674396.2674440},
doi = {10.1145/2674396.2674440},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/petra/HamidT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Tarau14,
author = {Paul Tarau},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Bijective Collection Encodings and Boolean Operations with Hereditarily
Binary Natural Numbers},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {31--42},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643139},
doi = {10.1145/2643135.2643139},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TarauB14,
author = {Paul Tarau and
Bill P. Buckles},
editor = {Yookun Cho and
Sung Y. Shin and
Sang{-}Wook Kim and
Chih{-}Cheng Hung and
Jiman Hong},
title = {Arithmetic algorithms for hereditarily binary natural numbers},
booktitle = {Symposium on Applied Computing, {SAC} 2014, Gyeongju, Republic of
Korea - March 24 - 28, 2014},
pages = {1593--1600},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2554850.2555040},
doi = {10.1145/2554850.2555040},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/TarauB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Tarau14,
author = {Paul Tarau},
editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {New Arithmetic Algorithms for Hereditarily Binary Natural Numbers},
booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
22-25, 2014},
pages = {109--116},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SYNASC.2014.23},
doi = {10.1109/SYNASC.2014.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TarauH14,
author = {Paul Tarau and
Fahmida Hamid},
title = {Interclausal Logic Variables},
journal = {CoRR},
volume = {abs/1406.1393},
year = {2014},
url = {http://arxiv.org/abs/1406.1393},
eprinttype = {arXiv},
eprint = {1406.1393},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TarauH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Tarau14,
author = {Paul Tarau},
title = {A Generic Numbering System based on Catalan Families of Combinatorial
Objects},
journal = {CoRR},
volume = {abs/1406.1796},
year = {2014},
url = {http://arxiv.org/abs/1406.1796},
eprinttype = {arXiv},
eprint = {1406.1796},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tarau14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/HaraburdaT13,
author = {David Haraburda and
Paul Tarau},
title = {Binary trees as a computational framework},
journal = {Comput. Lang. Syst. Struct.},
volume = {39},
number = {4},
pages = {163--181},
year = {2013},
url = {https://doi.org/10.1016/j.cl.2013.08.002},
doi = {10.1016/J.CL.2013.08.002},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/HaraburdaT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Tarau13,
author = {Paul Tarau},
title = {Compact serialization of Prolog terms (with catalan skeletons, cantor
tupling and G{\"{o}}del numberings)},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {847--861},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000537},
doi = {10.1017/S1471068413000537},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Tarau13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/racs/Tarau13,
author = {Paul Tarau},
editor = {Ching Y. Suen and
Amir G. Aghdam and
Minyi Guo and
Jiman Hong and
Esmaeil S. Nadimi},
title = {Two mechanisms for generating infinite families of pairing bijections},
booktitle = {Research in Adaptive and Convergent Systems, RACS'13, Montreal, QC,
Canada, October 1-4, 2013},
pages = {57--62},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2513228.2513264},
doi = {10.1145/2513228.2513264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/racs/Tarau13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-0114,
author = {Paul Tarau},
title = {Tree-based Arithmetic and Compressed Representations of Giant Numbers},
journal = {CoRR},
volume = {abs/1301.0114},
year = {2013},
url = {http://arxiv.org/abs/1301.0114},
eprinttype = {arXiv},
eprint = {1301.0114},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-0114.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-0128,
author = {Paul Tarau},
title = {Binary Tree Arithmetic with Generalized Constructors},
journal = {CoRR},
volume = {abs/1301.0128},
year = {2013},
url = {http://arxiv.org/abs/1301.0128},
eprinttype = {arXiv},
eprint = {1301.0128},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-0128.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-0129,
author = {Paul Tarau},
title = {On Two Infinite Families of Pairing Bijections},
journal = {CoRR},
volume = {abs/1301.0129},
year = {2013},
url = {http://arxiv.org/abs/1301.0129},
eprinttype = {arXiv},
eprint = {1301.0129},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-0129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Tarau13,
author = {Paul Tarau},
title = {Arithmetic Algorithms for Hereditarily Binary Natural Numbers},
journal = {CoRR},
volume = {abs/1306.1128},
year = {2013},
url = {http://arxiv.org/abs/1306.1128},
eprinttype = {arXiv},
eprint = {1306.1128},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tarau13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Tarau13a,
author = {Paul Tarau},
title = {A Prolog Specification of Giant Number Arithmetic},
journal = {CoRR},
volume = {abs/1307.4642},
year = {2013},
url = {http://arxiv.org/abs/1307.4642},
eprinttype = {arXiv},
eprint = {1307.4642},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Tarau13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Tarau12,
author = {Paul Tarau},
title = {The BinProlog experience: Architecture and implementation choices
for continuation passing Prolog and first-class logic engines},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {1-2},
pages = {97--126},
year = {2012},
url = {https://doi.org/10.1017/S1471068411000433},
doi = {10.1017/S1471068411000433},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Tarau12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tarau12,
author = {Paul Tarau},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Deriving a Fast Inverse of the Generalized Cantor N-tupling Bijection},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {312--322},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.312},
doi = {10.4230/LIPICS.ICLP.2012.312},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Tarau12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Tarau12,
author = {Paul Tarau},
editor = {Claudio V. Russo and
Neng{-}Fa Zhou},
title = {A Declarative Specification of Tree-Based Symbolic Arithmetic Computations},
booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7149},
pages = {273--288},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27694-1\_20},
doi = {10.1007/978-3-642-27694-1\_20},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/Tarau12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/racs/TarauMM12,
author = {Paul Tarau and
Arun K. Majumdar and
Paulo Moura},
editor = {Yookun Cho and
Rex E. Gantenbein and
Tei{-}Wei Kuo and
Vahid Tarokh},
title = {Agent spaces: a scalable architecture for distributed logic agents},
booktitle = {Research in Applied Computation Symposium, {RACS} '12, San Antonio,
TX, USA, October 23-26, 2012},
pages = {263--268},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2401603.2401662},
doi = {10.1145/2401603.2401662},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/racs/TarauMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/racs/TarauL12,
author = {Paul Tarau and
Brenda Luderman},
editor = {Yookun Cho and
Rex E. Gantenbein and
Tei{-}Wei Kuo and
Vahid Tarokh},
title = {Symbolic modeling of a universal reconfigurable logic gate and its
applications to circuit synthesis},
booktitle = {Research in Applied Computation Symposium, {RACS} '12, San Antonio,
TX, USA, October 23-26, 2012},
pages = {389--394},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2401603.2401688},
doi = {10.1145/2401603.2401688},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/racs/TarauL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TarauH12,
author = {Paul Tarau and
David Haraburda},
editor = {Sascha Ossowski and
Paola Lecca},
title = {On computing with types},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1889--1896},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2232087},
doi = {10.1145/2245276.2232087},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/TarauH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Tarau12,
author = {Paul Tarau},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Computing with Free Algebras},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {15--22},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.19},
doi = {10.1109/SYNASC.2012.19},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/Tarau12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/TarauL12,
author = {Paul Tarau and
Brenda Luderman},
editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Boolean Evaluation with a Pairing and Unpairing Function},
booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
pages = {384--390},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SYNASC.2012.20},
doi = {10.1109/SYNASC.2012.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/TarauL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/Tarau11,
author = {Paul Tarau},
editor = {Wolfgang De Meuter and
Gruia{-}Catalin Roman},
title = {Coordination and Concurrency in Multi-engine Prolog},
booktitle = {Coordination Models and Languages - 13th International Conference,
{COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6721},
pages = {157--171},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21464-6\_11},
doi = {10.1007/978-3-642-21464-6\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/Tarau11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Tarau11,
author = {Paul Tarau},
editor = {Antonio Cerone and
Pekka Pihlajasaari},
title = {Emulating Primality with Multiset Representations of Natural Numbers},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2011 - 8th International
Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6916},
pages = {218--238},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23283-1\_15},
doi = {10.1007/978-3-642-23283-1\_15},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Tarau11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/Tarau11,
author = {Paul Tarau},
editor = {Hans{-}Juergen Boehm and
David F. Bacon},
title = {Integrated symbol table, engine and heap memory management in multi-engine
prolog},
booktitle = {Proceedings of the 10th International Symposium on Memory Management,
{ISMM} 2011, San Jose, CA, USA, June 04 - 05, 2011},
pages = {129--138},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993478.1993497},
doi = {10.1145/1993478.1993497},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/Tarau11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Tarau11,
author = {Paul Tarau},
editor = {Manuel Carro and
John H. Reppy},
title = {Concurrent programming constructs in multi-engine prolog: parallelism
just for the cores (and not more!)},
booktitle = {Proceedings of the {POPL} 2011 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2011, Austin, TX, USA, January 23, 2011},
pages = {55--64},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1926354.1926364},
doi = {10.1145/1926354.1926364},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Tarau11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-1178,
author = {Paul Tarau},
title = {The BinProlog Experience: Architecture and Implementation Choices
for Continuation Passing Prolog and First-Class Logic Engines},
journal = {CoRR},
volume = {abs/1102.1178},
year = {2011},
url = {http://arxiv.org/abs/1102.1178},
eprinttype = {arXiv},
eprint = {1102.1178},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-1178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-3782,
author = {Paul Tarau},
title = {Computing with Hereditarily Finite Sequences},
journal = {CoRR},
volume = {abs/1112.3782},
year = {2011},
url = {http://arxiv.org/abs/1112.3782},
eprinttype = {arXiv},
eprint = {1112.3782},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-3782.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-3788,
author = {Paul Tarau},
title = {Bijective Term Encodings},
journal = {CoRR},
volume = {abs/1112.3788},
year = {2011},
url = {http://arxiv.org/abs/1112.3788},
eprinttype = {arXiv},
eprint = {1112.3788},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1112-3788.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsys/Tarau10,
author = {Paul Tarau},
title = {"Everything Is Everything" Revisited: Shapeshifting Data
Types with Isomorphisms and Hylomorphisms},
journal = {Complex Syst.},
volume = {18},
number = {4},
year = {2010},
url = {https://doi.org/10.25088/complexsystems.18.4.475},
doi = {10.25088/COMPLEXSYSTEMS.18.4.475},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsys/Tarau10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/Tarau10,
author = {Paul Tarau},
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {A Unified Formal Description of Arithmetic and Set Theoretical Data
Types},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {247--261},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7\_21},
doi = {10.1007/978-3-642-14128-7\_21},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/Tarau10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/Tarau10,
author = {Paul Tarau},
editor = {Venanzio Capretta and
James Chapman},
title = {Hereditarily Finite Representations of Natural Numbers and Self-Delimiting
Codes},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} Workshop on Mathematically
Structured Functional Programming, MSFP@ICFP 2010, Baltimore, MD,
USA, September 25, 2010},
pages = {11--18},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1863597.1863602},
doi = {10.1145/1863597.1863602},
timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
biburl = {https://dblp.org/rec/conf/icfp/Tarau10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Tarau10,
author = {Paul Tarau},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {On Arithmetic Computations with Hereditarily Finite Sets, Functions
and Types},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {367--381},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_25},
doi = {10.1007/978-3-642-14808-8\_25},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/Tarau10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Tarau10,
author = {Paul Tarau},
editor = {Temur Kutsia and
Wolfgang Schreiner and
Maribel Fern{\'{a}}ndez},
title = {Declarative modeling of finite mathematics},
booktitle = {Proceedings of the 12th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 26-28, 2010,
Hagenberg, Austria},
pages = {131--142},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1836089.1836107},
doi = {10.1145/1836089.1836107},
timestamp = {Tue, 27 Nov 2018 15:52:28 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Tarau10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-5768,
author = {Paul Tarau},
title = {A Unified Formal Description of Arithmetic and Set Theoretical Data
Types},
journal = {CoRR},
volume = {abs/1006.5768},
year = {2010},
url = {http://arxiv.org/abs/1006.5768},
eprinttype = {arXiv},
eprint = {1006.5768},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-5768.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Tarau09,
author = {Paul Tarau},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {A Groupoid of Isomorphic Data Transformations},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {170--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_17},
doi = {10.1007/978-3-642-02614-0\_17},
timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
biburl = {https://dblp.org/rec/conf/mkm/Tarau09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/TarauM09,
author = {Paul Tarau and
Arun K. Majumdar},
editor = {Andy Gill and
Terrance Swift},
title = {Interoperating Logic Engines},
booktitle = {Practical Aspects of Declarative Languages, 11th International Symposium,
{PADL} 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5418},
pages = {137--151},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92995-6\_10},
doi = {10.1007/978-3-540-92995-6\_10},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/TarauM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Tarau09,
author = {Paul Tarau},
editor = {Ant{\'{o}}nio Porto and
Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {An embedded declarative data transformation language},
booktitle = {Proceedings of the 11th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, September 7-9,
2009, Coimbra, Portugal},
pages = {171--182},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1599410.1599432},
doi = {10.1145/1599410.1599432},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Tarau09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Tarau09,
author = {Paul Tarau},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Isomorphisms, hylomorphisms and hereditarily finite data types in
Haskell},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {1898--1902},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529706},
doi = {10.1145/1529282.1529706},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/Tarau09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cf/TarauL08,
author = {Paul Tarau and
Brenda Luderman},
editor = {Alex Ram{\'{\i}}rez and
Gianfranco Bilardi and
Michael Gschwind},
title = {Exact combinational logic synthesis and non-standard circuit design},
booktitle = {Proceedings of the 5th Conference on Computing Frontiers, 2008, Ischia,
Italy, May 5-7, 2008},
pages = {179--188},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1366230.1366263},
doi = {10.1145/1366230.1366263},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cf/TarauL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tarau08,
author = {Paul Tarau},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Logic Engines as Interactors},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {703--707},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_61},
doi = {10.1007/978-3-540-89982-2\_61},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Tarau08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TarauL08,
author = {Paul Tarau and
Brenda Luderman},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Revisiting exact combinational circuit synthesis},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {1758--1759},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1364106},
doi = {10.1145/1363686.1364106},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/TarauL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-2095,
author = {Paul Tarau and
Brenda Luderman},
title = {A Logic Programming Framework for Combinational Circuit Synthesis},
journal = {CoRR},
volume = {abs/0804.2095},
year = {2008},
url = {http://arxiv.org/abs/0804.2095},
eprinttype = {arXiv},
eprint = {0804.2095},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-2095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-0540,
author = {Paul Tarau},
title = {Executable Set Theory and Arithmetic Encodings in Prolog},
journal = {CoRR},
volume = {abs/0808.0540},
year = {2008},
url = {http://arxiv.org/abs/0808.0540},
eprinttype = {arXiv},
eprint = {0808.0540},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-0540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-0554,
author = {Paul Tarau},
title = {Ranking and Unranking of Hereditarily Finite Functions and Permutations},
journal = {CoRR},
volume = {abs/0808.0554},
year = {2008},
url = {http://arxiv.org/abs/0808.0554},
eprinttype = {arXiv},
eprint = {0808.0554},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-0554.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-0555,
author = {Paul Tarau},
title = {Pairing Functions, Boolean Evaluation and Binary Decision Diagrams},
journal = {CoRR},
volume = {abs/0808.0555},
year = {2008},
url = {http://arxiv.org/abs/0808.0555},
eprinttype = {arXiv},
eprint = {0808.0555},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-0555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-0556,
author = {Paul Tarau},
title = {Logic Engines as Interactors},
journal = {CoRR},
volume = {abs/0808.0556},
year = {2008},
url = {http://arxiv.org/abs/0808.0556},
eprinttype = {arXiv},
eprint = {0808.0556},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-0556.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-0753,
author = {Paul Tarau},
title = {Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite
Datatypes},
journal = {CoRR},
volume = {abs/0808.0753},
year = {2008},
url = {http://arxiv.org/abs/0808.0753},
eprinttype = {arXiv},
eprint = {0808.0753},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-0753.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-0754,
author = {Paul Tarau},
title = {A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann
Encodings and Pairing Functions},
journal = {CoRR},
volume = {abs/0808.0754},
year = {2008},
url = {http://arxiv.org/abs/0808.0754},
eprinttype = {arXiv},
eprint = {0808.0754},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-0754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-0760,
author = {Paul Tarau},
title = {Declarative Combinatorics: Boolean Functions, Circuit Synthesis and
BDDs in Haskell},
journal = {CoRR},
volume = {abs/0808.0760},
year = {2008},
url = {http://arxiv.org/abs/0808.0760},
eprinttype = {arXiv},
eprint = {0808.0760},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-0760.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-2953,
author = {Paul Tarau},
title = {Declarative Combinatorics: Isomorphisms, Hylomorphisms and Hereditarily
Finite Data Types in Haskell},
journal = {CoRR},
volume = {abs/0808.2953},
year = {2008},
url = {http://arxiv.org/abs/0808.2953},
eprinttype = {arXiv},
eprint = {0808.2953},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-2953.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TarauL07,
author = {Paul Tarau and
Brenda Luderman},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {A Logic Programming Framework for Combinational Circuit Synthesis},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {180--194},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_13},
doi = {10.1007/978-3-540-74610-2\_13},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/TarauL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BormanMT05,
author = {Andy Borman and
Rada Mihalcea and
Paul Tarau},
title = {PicNet: Augmenting Semantic Resources with Pictorial Representations},
booktitle = {Knowledge Collection from Volunteer Contributors, Papers from the
2005 {AAAI} Spring Symposium, Technical Report SS-05-03, Stanford,
California, USA, March 21-23, 2005},
pages = {1--7},
publisher = {{AAAI}},
year = {2005},
url = {http://www.aaai.org/Library/Symposia/Spring/2005/ss05-03-001.php},
timestamp = {Sat, 18 Feb 2012 12:26:24 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/BormanMT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcnlp/MihalceaT05,
author = {Rada Mihalcea and
Paul Tarau},
title = {A Language Independent Algorithm for Single and Multiple Document
Summarization},
booktitle = {Natural Language Processing - {IJCNLP} 2005, Second International
Joint Conference, Jeju Island, Republic of Korea, October 11-13, 2005
- Companion Volume to the Proceedings of Conference including Posters/Demos
and tutorial abstracts},
publisher = {Asian Federation of Natural Language Processing},
year = {2005},
url = {https://aclanthology.org/I05-2004/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcnlp/MihalceaT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HurtT05,
author = {David Hurt and
Paul Tarau},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {An empirical evaluation of communication effectiveness in autonomous
reactive multiagent systems},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {74--78},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066698},
doi = {10.1145/1066677.1066698},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/HurtT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TarauMF05,
author = {Paul Tarau and
Rada Mihalcea and
Elizabeth Figa},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Semantic document engineering with WordNet and PageRank},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {782--786},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066855},
doi = {10.1145/1066677.1066855},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/TarauMF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Tarau05,
author = {Paul Tarau},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Agent oriented logic programming in Jinni 2004},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {1427--1428},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1067000},
doi = {10.1145/1066677.1067000},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/Tarau05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asist/FigaTE04,
author = {Elizabeth Figa and
Paul Tarau and
Jesse Ephraim},
title = {Enhancing the virtual storytelling experience with metadata driven
voice enabled conversational agents},
booktitle = {Managing and Enhancing Information: Cultures and Conflicts - Proceedings
of the 67th ASIS{\&}T Annual Meeting, {ASIST} 2004, Providence,
Rhode Island, USA, November 12-17, 2004},
series = {Proc. Assoc. Inf. Sci. Technol.},
volume = {41},
number = {1},
pages = {403--410},
publisher = {Wiley},
year = {2004},
url = {https://doi.org/10.1002/meet.1450410147},
doi = {10.1002/MEET.1450410147},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asist/FigaTE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/MihalceaTF04,
author = {Rada Mihalcea and
Paul Tarau and
Elizabeth Figa},
title = {PageRank on Semantic Networks, with Application to Word Sense Disambiguation},
booktitle = {{COLING} 2004, 20th International Conference on Computational Linguistics,
Proceedings of the Conference, 23-27 August 2004, Geneva, Switzerland},
year = {2004},
url = {https://aclanthology.org/C04-1162/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/MihalceaTF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/MihalceaT04,
author = {Rada Mihalcea and
Paul Tarau},
title = {TextRank: Bringing Order into Text},
booktitle = {Proceedings of the 2004 Conference on Empirical Methods in Natural
Language Processing , {EMNLP} 2004, {A} meeting of SIGDAT, a Special
Interest Group of the ACL, held in conjunction with {ACL} 2004, 25-26
July 2004, Barcelona, Spain},
pages = {404--411},
publisher = {{ACL}},
year = {2004},
url = {https://aclanthology.org/W04-3252/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emnlp/MihalceaT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/FigaT04,
author = {Elizabeth Figa and
Paul Tarau},
editor = {Hamid R. Arabnia and
Olaf Droegehorn and
S. Chatterjee},
title = {Conversational Agents as Web Services},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} '04, Volume 2 {\&} Proceedings of the International Symposium
on Web Services {\&} Applications, {ISWS} '04, Las Vegas, Nevada,
USA, June 21-24, 2004},
pages = {773--782},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 19 Nov 2004 14:34:52 +0100},
biburl = {https://dblp.org/rec/conf/ic/FigaT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tarau04,
author = {Paul Tarau},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Agent Oriented Logic Programming Constructs in Jinni 2004},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {477--478},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_46},
doi = {10.1007/978-3-540-27775-0\_46},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Tarau04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TarauF04,
author = {Paul Tarau and
Elizabeth Figa},
editor = {Hisham Haddad and
Andrea Omicini and
Roger L. Wainwright and
Lorie M. Liebrock},
title = {Knowledge-based conversational agents and virtual storytelling},
booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
Nicosia, Cyprus, March 14-17, 2004},
pages = {39--44},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/967900.967913},
doi = {10.1145/967900.967913},
timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
biburl = {https://dblp.org/rec/conf/sac/TarauF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0405088,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl},
title = {High-Level Networking With Mobile Code And First Order AND-Continuations},
journal = {CoRR},
volume = {cs.PL/0405088},
year = {2004},
url = {http://arxiv.org/abs/cs/0405088},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0405088.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asist/FigaT03,
author = {Elizabeth Figa and
Paul Tarau},
title = {Lexical inference mechanisms for text understanding and classification},
booktitle = {Humanizing Information Technology: From Ideas to Bits and Back - Proceedings
of the 66th ASIS{\&}T Annual Meeting, {ASIST} 2003, Long Beach,
CA, USA, October 19-22, 2003},
series = {Proc. Assoc. Inf. Sci. Technol.},
volume = {40},
number = {1},
pages = {165--173},
publisher = {Wiley},
year = {2003},
url = {https://doi.org/10.1002/meet.1450400121},
doi = {10.1002/MEET.1450400121},
timestamp = {Fri, 21 Jan 2022 13:55:35 +0100},
biburl = {https://dblp.org/rec/conf/asist/FigaT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ZhouT03,
author = {Qinan Zhou and
Paul Tarau},
editor = {Ver{\'{o}}nica Dahl and
Philip Wadler},
title = {Garbage Collection Algorithms for Java-Based Prolog Engines},
booktitle = {Practical Aspects of Declarative Languages, 5th International Symposium,
{PADL} 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2562},
pages = {304--319},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36388-2\_21},
doi = {10.1007/3-540-36388-2\_21},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/ZhouT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TarauD01,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl},
title = {High-Level Networking with Mobile Code and First Order AND-Continuations},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {3},
pages = {359--380},
year = {2001},
url = {https://doi.org/10.1017/S1471068401001193},
doi = {10.1017/S1471068401001193},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/TarauD01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iics/TyagiTM01,
author = {Satyam Tyagi and
Paul Tarau and
Armin R. Mikler},
editor = {Thomas B{\"{o}}hme and
Herwig Unger},
title = {Multicast Protocols for Jinni Agents},
booktitle = {Innovative Internet Computing Systems, International Workshop {IICS}
2001, Ilmenau, Germany, June 21-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2060},
pages = {1--18},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48206-7\_1},
doi = {10.1007/3-540-48206-7\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/iics/TyagiTM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GuptaT01,
author = {Anima Gupta and
Paul Tarau},
editor = {I. V. Ramakrishnan},
title = {Logic Programming Techniques for Dynamic {VRML} Web Content Generation},
booktitle = {Practical Aspects of Declarative Languages, Third International Symposium,
{PADL} 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1990},
pages = {93--107},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45241-9\_7},
doi = {10.1007/3-540-45241-9\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/GuptaT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/TyagiT01,
author = {Satyam Tyagi and
Paul Tarau},
editor = {I. V. Ramakrishnan},
title = {A Most Specific Method Finding Algorithm for Reflection Based Dynamic
Prolog-to-Java Interfaces},
booktitle = {Practical Aspects of Declarative Languages, Third International Symposium,
{PADL} 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1990},
pages = {322--336},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45241-9\_22},
doi = {10.1007/3-540-45241-9\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/TyagiT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Tarau00,
author = {Paul Tarau},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Fluents: {A} Refactoring of Prolog for Uniform Reflection an Interoperation
with External Objects},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1225--1239},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_82},
doi = {10.1007/3-540-44957-4\_82},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/Tarau00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informaticaSI/DahlRST99,
author = {Ver{\'{o}}nica Dahl and
Stephen Rochefort and
Marius Scurtescu and
Paul Tarau},
title = {A Spanish Interface To LogiMoo: Towards Multilingual Virtual Worlds},
journal = {Informatica (Slovenia)},
volume = {23},
number = {4},
year = {1999},
timestamp = {Mon, 15 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informaticaSI/DahlRST99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/TarauBDR99,
author = {Paul Tarau and
Koenraad De Bosschere and
Ver{\'{o}}nica Dahl and
Stephen Rochefort},
title = {LogiMOO: An Extensible Multi-user Virtual World with Natural Language
Control},
journal = {J. Log. Program.},
volume = {38},
number = {3},
pages = {331--353},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10028-6},
doi = {10.1016/S0743-1066(98)10028-6},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/TarauBDR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/Tarau99,
author = {Paul Tarau},
editor = {In{\^{e}}s de Castro Dutra and
V{\'{\i}}tor Santos Costa and
Gopal Gupta and
Enrico Pontelli and
Manuel Carro and
P{\'{e}}ter Kacsuk},
title = {Multi-engine Horn Clause Prolog},
booktitle = {Parallelism and Implementation Technology for (Constraint) Logic Programming,
in connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {3},
pages = {143},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80104-5},
doi = {10.1016/S1571-0661(05)80104-5},
timestamp = {Wed, 23 Nov 2022 16:40:54 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Tarau99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/Tarau99,
author = {Paul Tarau},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Inference and Computation Mobility with Jinni},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {33--52},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_2},
doi = {10.1007/978-3-642-60085-2\_2},
timestamp = {Mon, 29 Jul 2019 13:50:28 +0200},
biburl = {https://dblp.org/rec/books/sp/99/Tarau99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/wooldridgeV99/TarauD99,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl},
editor = {Michael J. Wooldridge and
Manuela M. Veloso},
title = {Towards a Logic Programming Infrastructure for Internet Programming},
booktitle = {Artificial Intelligence Today: Recent Trends and Developments},
series = {Lecture Notes in Computer Science},
volume = {1600},
pages = {431--457},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48317-9\_18},
doi = {10.1007/3-540-48317-9\_18},
timestamp = {Sat, 03 Aug 2019 17:52:01 +0200},
biburl = {https://dblp.org/rec/books/sp/wooldridgeV99/TarauD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/TarauD98,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Code Migration with First Order Continuations},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {215--226},
year = {1998},
timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
biburl = {https://dblp.org/rec/conf/agp/TarauD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/TarauDB98,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl and
Koen De Bosschere},
title = {Towards Logic Programming Based Coordination in Virtual Worlds},
booktitle = {Thirty-First Annual Hawaii International Conference on System Sciences,
Kohala Coast, Hawaii, USA, January 6-9, 1998},
pages = {236--244},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/HICSS.1998.649218},
doi = {10.1109/HICSS.1998.649218},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/TarauDB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tarau98,
author = {Paul Tarau},
editor = {Konstantinos Sagonas},
title = {Jinni: a Lightweight Java-based Logic Engine for Internet Programming},
booktitle = {Proceedings of the International Workshop on Implementation Technology
for Programming Languages based on Logic, held in conjunction with
the Joint International Conference and Symposium on Logic Programming,
Manchester, UK, Saturday 20th June, 1998},
pages = {1--15},
year = {1998},
timestamp = {Wed, 20 Jun 2018 17:50:49 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Tarau98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Tarau98,
author = {Paul Tarau},
editor = {J{\"{u}}rgen Dix and
Luis Fari{\~{n}}as del Cerro and
Ulrich Furbach},
title = {Towards Inference and Computation Mobility: The Jinni Experiment},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '98,
Dagstuhl, Germany, October 12-15, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1489},
pages = {385--390},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49545-2\_27},
doi = {10.1007/3-540-49545-2\_27},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Tarau98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/TarauBD97,
author = {Paul Tarau and
Koenraad De Bosschere and
Bart Demoen},
title = {On Delphi Lemmas and other Memoing Techniques for Deterministic Logic
Programs},
journal = {J. Log. Program.},
volume = {30},
number = {2},
pages = {145--163},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00105-7},
doi = {10.1016/S0743-1066(96)00105-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/TarauBD97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chi/TarauDRB97,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl and
Stephen Rochefort and
Koenraad De Bosschere},
editor = {Alan Edwards and
Steven Pemberton},
title = {LogiMOO: {A} Multi-User Virtual World with Agents and Natural Language
Programming},
booktitle = {Human Factors in Computing Systems, {CHI} '97: Looking to the Future,
Extended Abstracts, Atlanta, Georgia, USA, March 22-27, 1997},
pages = {323--324},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/1120212.1120415},
doi = {10.1145/1120212.1120415},
timestamp = {Fri, 12 Mar 2021 15:27:48 +0100},
biburl = {https://dblp.org/rec/conf/chi/TarauDRB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DahlTL97,
author = {Ver{\'{o}}nica Dahl and
Paul Tarau and
Renwei Li},
editor = {Lee Naish},
title = {Assumption Grammars for Processing Natural Language},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {256--270},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DahlTL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/riao/ZaineFRDT97,
author = {Osma R. Zaine and
Andrew Fall and
Stephen Rochefort and
Ver{\'{o}}nica Dahl and
Paul Tarau},
editor = {Luc Devroye and
Claude Chrisment},
title = {On-Une Resource Discovery Using Natural Language},
booktitle = {Computer-Assisted Information Retrieval (Recherche d'Information et
ses Applications) - {RIAO} 1997, 5th International Conference, McGill
University, Montreal, Canada, June 25-27, 1997. Proceedings},
pages = {336--355},
year = {1997},
url = {https://dl.acm.org/doi/10.5555/2856695.2856726},
doi = {10.5555/2856695.2856726},
timestamp = {Wed, 04 May 2022 13:02:27 +0200},
biburl = {https://dblp.org/rec/conf/riao/ZaineFRDT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Tarau97,
author = {Paul Tarau},
editor = {Jan Maluszynski},
title = {Logic Programming Tools for Advanced Internet Programming (Abstract)},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {33--34},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/Tarau97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/TarauDB97,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl and
Koenraad De Bosschere},
title = {A Logic Programming Infrastructure for Remote Execution, Mobile Code
and Agents},
booktitle = {6th Workshop on Enabling Technologies {(WET-ICE} '97), Infrastructure
for Collaborative Enterprises, 18-20 June 1997, MIT, Cambridge, MA,
USA, Proceedings},
pages = {106--112},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ENABL.1997.630799},
doi = {10.1109/ENABL.1997.630799},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wetice/TarauDB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/TarauBD96,
author = {Paul Tarau and
Koenraad De Bosschere and
Bart Demoen},
title = {Partial Translation: Towards a Portable and Efficient Prolog Implementation
Technology},
journal = {J. Log. Program.},
volume = {29},
number = {1-3},
pages = {65--83},
year = {1996},
url = {https://doi.org/10.1016/S0743-1066(96)00063-5},
doi = {10.1016/S0743-1066(96)00063-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/TarauBD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BosschereT96,
author = {Koenraad De Bosschere and
Paul Tarau},
title = {Blackboard-based Extensions in Prolog},
journal = {Softw. Pract. Exp.},
volume = {26},
number = {1},
pages = {49--69},
year = {1996},
url = {https://doi.org/10.1002/(SICI)1097-024X(199601)26:1\&\#60;49::AID-SPE995\&\#62;3.0.CO;2-C},
doi = {10.1002/(SICI)1097-024X(199601)26:1\&\#60;49::AID-SPE995\&\#62;3.0.CO;2-C},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BosschereT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/TarauDB96,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl and
Koenraad De Bosschere},
editor = {Wolfram Conen and
Gustaf Neumann},
title = {Towards Logic Programming Based Coordination in Virtual Worlds},
booktitle = {Coordination Technology for Collaborative Applications - Organizations,
Processes, and Agents {[ASIAN} 1996 Workshop]},
series = {Lecture Notes in Computer Science},
volume = {1364},
pages = {49--62},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027099},
doi = {10.1007/BFB0027099},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/TarauDB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/TarauDF96,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl and
Andrew Fall},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Backtrackable State with Linear Affine Implication and Assumption
Grammars},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {53--63},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027779},
doi = {10.1007/BFB0027779},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/TarauDF96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/DahlFRT96,
author = {Ver{\'{o}}nica Dahl and
Andrew Fall and
Stephen Rochefort and
Paul Tarau},
title = {A Hypothetical Reasoning-based Framework for {NL} Processing},
booktitle = {Eigth International Conference on Tools with Artificial Intelligence,
{ICTAI} '96, Toulouse, France, November 16-19, 1996},
pages = {67--70},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/TAI.1996.560402},
doi = {10.1109/TAI.1996.560402},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/DahlFRT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/DemoenET96,
author = {Bart Demoen and
Geert Engels and
Paul Tarau},
editor = {K. M. George and
Janice H. Carroll and
Dave Oppenheim and
Jim Hightower},
title = {Segment order preserving copying garbage collection for {WAM} based
Prolog},
booktitle = {Proceedings of the 1996 {ACM} Symposium on Applied Computing, SAC'96,
Philadelphia, PA, USA, February 17-19, 1996},
pages = {380--386},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/331119.331210},
doi = {10.1145/331119.331210},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/DemoenET96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/BekkersT95,
author = {Yves Bekkers and
Paul Tarau},
editor = {Jean{-}Jacques Chabrier},
title = {Logic Programming with Monads and Comprehensions},
booktitle = {JFPLC'95, IV{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
en Logique {\&} Journ{\'{e}}e d'{\'{e}}tude Programmation
par Contraintes et applications industrielles, 17-19 mai 1995, Dijon,
France},
pages = {161--171},
year = {1995},
timestamp = {Fri, 28 May 2004 07:52:18 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/BekkersT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nldb/DahlT95,
author = {Ver{\'{o}}nica Dahl and
Paul Tarau},
editor = {Mokrane Bouzeghoub and
Elisabeth M{\'{e}}tais},
title = {Extending Datalog Grammars},
booktitle = {First International Workshop on Applications of Natural Language to
Data Bases, {NLDB} 1995, Versailles, France, June 28-29th 1995},
publisher = {{AFCET}},
year = {1995},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nldb/DahlT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/TarauDB95,
author = {Paul Tarau and
Bart Demoen and
Koenraad De Bosschere},
editor = {Jim Hightower and
Ed Deaton and
K. M. George and
Janice H. Carroll and
Dave Oppenheim},
title = {The power of partial tanslation: an experiment with the C-ification
of binary Prolog},
booktitle = {Proceedings of the 1995 {ACM} symposium on applied computing, SAC'95,
Nashville, TN, USA, February 26-28, 1995},
pages = {152--156},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/315891.315943},
doi = {10.1145/315891.315943},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/TarauDB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BekkersT95,
author = {Yves Bekkers and
Paul Tarau},
editor = {John W. Lloyd},
title = {Monadic Constructs for Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {51--65},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299963},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/BekkersT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/TarauDF95,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl and
Andrew Fall},
editor = {John W. Lloyd},
title = {Backtrackable State with Linear Assumptions, Continuations and Hidden
Accumulator Grammars},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {642},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299953},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/TarauDF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cmp-lg-9505006,
author = {Ver{\'{o}}nica Dahl and
Paul Tarau and
Lidia Moreno and
Manuel Palomar},
title = {Treating Coordination with Datalog Grammars},
journal = {CoRR},
volume = {cmp-lg/9505006},
year = {1995},
url = {http://arxiv.org/abs/cmp-lg/9505006},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cmp-lg-9505006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DahlTH94,
author = {Ver{\'{o}}nica Dahl and
Paul Tarau and
Yan{-}Nong Huang},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {Datalog Grammars},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 2},
pages = {268--282},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:41 +0100},
biburl = {https://dblp.org/rec/conf/agp/DahlTH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TarauD94,
author = {Paul Tarau and
Bart Demoen},
title = {Language Embedding by Dual Compilation and State Mirroring},
booktitle = {Sixth Workshop on Logic Programming Environments, {ICLP} 1994 post
Conference Workshop W4, Technical Report, Institutt for datateknikk
og telematikk, Norges},
publisher = {Tekniske H{\o}gskole, University of Trondheim, Trondheim, Norway},
year = {1994},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TarauD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Tarau94,
author = {Paul Tarau},
editor = {Marc{-}Michel Corsini},
title = {Low-level issues in implementing a high-performance continuation passing
Binary Prolog engine},
booktitle = {JFPLC'94, III{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et Programmation par Contraintes, 1994, Bordeaux, France},
pages = {287},
year = {1994},
timestamp = {Mon, 07 Jun 2004 11:16:21 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/Tarau94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/TarauD94,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl},
editor = {Laurent Fribourg and
Franco Turini},
title = {Logic Programming and Logic Grammars with First-Order Continuations},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {215--230},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_14},
doi = {10.1007/3-540-58792-6\_14},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/TarauD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/TarauN94,
author = {Paul Tarau and
Ulrich Neumerkel},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {A Novel Term Compression Scheme and Data Representation in the BinWAM},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {73--87},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_7},
doi = {10.1007/3-540-58402-1\_7},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/TarauN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BosschereT94,
author = {Koenraad De Bosschere and
Paul Tarau},
editor = {Hal Berghel and
Terry Hlengl and
Joseph E. Urban},
title = {High performance continuation passing style Prolog-to-C mapping},
booktitle = {Proceedings of the 1994 {ACM} Symposium on Applied Computing, SAC'94,
Phoenix, AZ, USA, March 6-8, 1994},
pages = {383--387},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/326619.326786},
doi = {10.1145/326619.326786},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/BosschereT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1994w4,
editor = {Koenraad De Bosschere and
Bart Demoen and
Paul Tarau},
title = {{ILPS} 1994, Workshop 4: Implementation Techniques for Logic Programming
Languages, Ithaca, New York, USA, November 17, 1994},
year = {1994},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/1994w4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Tarau93,
author = {Paul Tarau},
editor = {Domenico Sacc{\`{a}}},
title = {Language Issues and Programming Techniques in BinProlog},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
June 15-18, 1993},
pages = {173--188},
year = {1993},
timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/Tarau93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BosschereT93,
author = {Koenraad De Bosschere and
Paul Tarau},
editor = {Koen De Bosschere and
Jean{-}Marie Jacquet and
Paul Tarau},
title = {Some Issues in the Implementation of a Unix-based Blackboard},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based
Logic Programming, Budapest, Hungary, June 24, 1993},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BosschereT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TarauB93,
author = {Paul Tarau and
Koenraad De Bosschere},
editor = {Koen De Bosschere and
Jean{-}Marie Jacquet and
Paul Tarau},
title = {Non-Associative Blackboard Programming},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based
Logic Programming, Budapest, Hungary, June 24, 1993},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TarauB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/TarauB93,
author = {Paul Tarau and
Koenraad De Bosschere},
editor = {Yves Deville},
title = {Memoing with Abstract Answers and Delphi Lemmas},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
93, International Workshop on Logic Program Synthesis and Transformation,
Louvain-la-Neuve, Belgium, 7-9 July 1993},
series = {Workshops in Computing},
pages = {196--209},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/TarauB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parco/BosschereT93,
author = {Koen De Bosschere and
Paul Tarau},
editor = {Gerhard R. Joubert and
Denis Trystram and
Frans J. Peters and
David J. Evans},
title = {Blackboard Communication in Logic Programming},
booktitle = {Parallel Computing: Trends and Applications, {PARCO} 1993, Grenoble,
France},
pages = {257--264},
publisher = {Elsevier},
year = {1993},
timestamp = {Tue, 13 Mar 2018 14:43:53 +0100},
biburl = {https://dblp.org/rec/conf/parco/BosschereT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Tarau93,
author = {Paul Tarau},
editor = {Dale Miller},
title = {An Efficient Specialization of the {WAM} for Continuation Passing
Binary Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {652},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/Tarau93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BosschereT93,
author = {Koenraad De Bosschere and
Paul Tarau},
editor = {Dale Miller},
title = {Blackboard-based Extensions for Parallel Programming in BinProlog},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {664},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BosschereT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1993w4,
editor = {Koen De Bosschere and
Jean{-}Marie Jacquet and
Paul Tarau},
title = {Proceedings of the ICLP'93 Post-Conference Workshop on Blackboard-Based
Logic Programming, Budapest, Hungary, June 24, 1993},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/1993w4.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/Tarau92,
author = {Paul Tarau},
editor = {Yves Bekkers and
Jacques Cohen},
title = {Ecological Memory Management in a Continuation Passing Prolog Engine},
booktitle = {Memory Management, International Workshop {IWMM} 92, St. Malo, France,
September 17-19, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {637},
pages = {344--356},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0017200},
doi = {10.1007/BFB0017200},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/Tarau92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Tarau92,
author = {Paul Tarau},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {BinProlog: a Continuation Passing Style Prolog Engine},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {479--480},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_158},
doi = {10.1007/3-540-55844-6\_158},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Tarau92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TarauB91,
author = {Paul Tarau and
Michel Boyer},
editor = {Jean{-}Marie Jacquet},
title = {Nonstandard Answers of Elementary Logic Programs},
booktitle = {Constructing Logic Programs - This book is issued from a workshop
on the subject of the construction of logic programs, organized during
the 1991 {ICLP}},
pages = {279--300},
publisher = {Wiley},
year = {1991},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TarauB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Tarau91,
author = {Paul Tarau},
editor = {Andrei Voronkov},
title = {Program Transformations and WAM-Support for the Compilation of Definite
Metaprograms},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {462--473},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_35},
doi = {10.1007/3-540-55460-2\_35},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Tarau91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/TarauB90,
author = {Paul Tarau and
Michel Boyer},
editor = {Pierre Deransart and
Jan Maluszynski},
title = {Elementary Logic Programs},
booktitle = {Programming Language Implementation and Logic Programming, 2nd International
Workshop PLILP'90, Link{\"{o}}ping, Sweden, August 20-22, 1990,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {456},
pages = {159--173},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0024183},
doi = {10.1007/BFB0024183},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/TarauB90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/TarauB88,
author = {Paul Tarau and
Michel Boyer},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Prolog Meta-Programming with Soft Databases},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {365--381},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 17:09:12 +0200},
biburl = {https://dblp.org/rec/conf/meta/TarauB88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-26 20:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
