Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jean-Marc Andreoli
@inproceedings{DBLP:conf/nips/DrakulicMMSA23,
author = {Darko Drakulic and
Sofia Michel and
Florian Mai and
Arnaud Sors and
Jean{-}Marc Andreoli},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {{BQ-NCO:} Bisimulation Quotienting for Efficient Neural Combinatorial
Optimization},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/f445ba15f0f05c26e1d24f908ea78d60-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/DrakulicMMSA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-03313,
author = {Darko Drakulic and
Sofia Michel and
Florian Mai and
Arnaud Sors and
Jean{-}Marc Andreoli},
title = {{BQ-NCO:} Bisimulation Quotienting for Generalizable Neural Combinatorial
Optimization},
journal = {CoRR},
volume = {abs/2301.03313},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.03313},
doi = {10.48550/ARXIV.2301.03313},
eprinttype = {arXiv},
eprint = {2301.03313},
timestamp = {Tue, 10 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-03313.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pkdd/ManchandaMDA22,
author = {Sahil Manchanda and
Sofia Michel and
Darko Drakulic and
Jean{-}Marc Andreoli},
editor = {Massih{-}Reza Amini and
St{\'{e}}phane Canu and
Asja Fischer and
Tias Guns and
Petra Kralj Novak and
Grigorios Tsoumakas},
title = {On the Generalization of Neural Combinatorial Optimization Heuristics},
booktitle = {Machine Learning and Knowledge Discovery in Databases - European Conference,
{ECML} {PKDD} 2022, Grenoble, France, September 19-23, 2022, Proceedings,
Part {V}},
series = {Lecture Notes in Computer Science},
volume = {13717},
pages = {426--442},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26419-1\_26},
doi = {10.1007/978-3-031-26419-1\_26},
timestamp = {Mon, 20 Mar 2023 16:00:27 +0100},
biburl = {https://dblp.org/rec/conf/pkdd/ManchandaMDA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-03539,
author = {Darko Drakulic and
Jean{-}Marc Andreoli},
title = {Structured Time Series Prediction without Structural Prior},
journal = {CoRR},
volume = {abs/2202.03539},
year = {2022},
url = {https://arxiv.org/abs/2202.03539},
eprinttype = {arXiv},
eprint = {2202.03539},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-00787,
author = {Sahil Manchanda and
Sofia Michel and
Darko Drakulic and
Jean{-}Marc Andreoli},
title = {On the Generalization of Neural Combinatorial Optimization Heuristics},
journal = {CoRR},
volume = {abs/2206.00787},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.00787},
doi = {10.48550/ARXIV.2206.00787},
eprinttype = {arXiv},
eprint = {2206.00787},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-00787.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-11743,
author = {Arnaud Sors and
Rafael Sampaio de Rezende and
Sarah Ibrahimi and
Jean{-}Marc Andreoli},
title = {Simple and Effective Balance of Contrastive Losses},
journal = {CoRR},
volume = {abs/2112.11743},
year = {2021},
url = {https://arxiv.org/abs/2112.11743},
eprinttype = {arXiv},
eprint = {2112.11743},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-11743.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conll/ParshakovaAD19,
author = {Tetiana Parshakova and
Jean{-}Marc Andreoli and
Marc Dymetman},
editor = {Mohit Bansal and
Aline Villavicencio},
title = {Global Autoregressive Models for Data-Efficient Sequence Learning},
booktitle = {Proceedings of the 23rd Conference on Computational Natural Language
Learning, CoNLL 2019, Hong Kong, China, November 3-4, 2019},
pages = {900--909},
publisher = {Association for Computational Linguistics},
year = {2019},
url = {https://doi.org/10.18653/v1/K19-1084},
doi = {10.18653/V1/K19-1084},
timestamp = {Thu, 05 Aug 2021 17:36:17 +0200},
biburl = {https://dblp.org/rec/conf/conll/ParshakovaAD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1905-01289,
author = {Jean{-}Marc Andreoli},
title = {Convolution is outer product},
journal = {CoRR},
volume = {abs/1905.01289},
year = {2019},
url = {http://arxiv.org/abs/1905.01289},
eprinttype = {arXiv},
eprint = {1905.01289},
timestamp = {Mon, 27 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1905-01289.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-07063,
author = {Tetiana Parshakova and
Jean{-}Marc Andreoli and
Marc Dymetman},
title = {Global Autoregressive Models for Data-Efficient Sequence Learning},
journal = {CoRR},
volume = {abs/1909.07063},
year = {2019},
url = {http://arxiv.org/abs/1909.07063},
eprinttype = {arXiv},
eprint = {1909.07063},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07063.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-08517,
author = {Tetiana Parshakova and
Jean{-}Marc Andreoli and
Marc Dymetman},
title = {Distributional Reinforcement Learning for Energy-Based Sequential
Models},
journal = {CoRR},
volume = {abs/1912.08517},
year = {2019},
url = {http://arxiv.org/abs/1912.08517},
eprinttype = {arXiv},
eprint = {1912.08517},
timestamp = {Fri, 03 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-08517.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-05266,
author = {Jean{-}Marc Andreoli},
title = {A conjugate prior for the Dirichlet distribution},
journal = {CoRR},
volume = {abs/1811.05266},
year = {2018},
url = {http://arxiv.org/abs/1811.05266},
eprinttype = {arXiv},
eprint = {1811.05266},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-05266.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidm/Andreoli14,
author = {Jean{-}Marc Andreoli},
title = {Learning energy consumption profiles from data},
booktitle = {2014 {IEEE} Symposium on Computational Intelligence and Data Mining,
{CIDM} 2014, Orlando, FL, USA, December 9-12, 2014},
pages = {463--470},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CIDM.2014.7008704},
doi = {10.1109/CIDM.2014.7008704},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/cidm/Andreoli14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kdd/ZoeterDCA14,
author = {Onno Zoeter and
Christopher R. Dance and
St{\'{e}}phane Clinchant and
Jean{-}Marc Andreoli},
editor = {Sofus A. Macskassy and
Claudia Perlich and
Jure Leskovec and
Wei Wang and
Rayid Ghani},
title = {New algorithms for parking demand management and a city-scale deployment},
booktitle = {The 20th {ACM} {SIGKDD} International Conference on Knowledge Discovery
and Data Mining, {KDD} '14, New York, NY, {USA} - August 24 - 27,
2014},
pages = {1819--1828},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2623330.2623359},
doi = {10.1145/2623330.2623359},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kdd/ZoeterDCA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icinco/AndreoliB12,
author = {Jean{-}Marc Andreoli and
Guillaume Bouchard},
editor = {Jean{-}Louis Ferrier and
Alain Bernard and
Oleg Yu. Gusikhin and
Kurosh Madani},
title = {Multi-device Power-saving - An Investigation in Energy Consumption
Optimisation},
booktitle = {{ICINCO} 2012 - Proceedings of the 9th International Conference on
Informatics in Control, Automation and Robotics, Volume 1, Rome, Italy,
28 - 31 July, 2012},
pages = {232--237},
publisher = {SciTePress},
year = {2012},
timestamp = {Sun, 02 Sep 2012 19:05:10 +0200},
biburl = {https://dblp.org/rec/conf/icinco/AndreoliB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidm/AndreoliS11,
author = {Jean{-}Marc Andreoli and
Marie{-}Luise Schneider},
title = {Online autoregressive prediction in time series with delayed disclosure},
booktitle = {Proceedings of the {IEEE} Symposium on Computational Intelligence
and Data Mining, {CIDM} 2011, part of the {IEEE} Symposium Series
on Computational Intelligence 2011, April 11-15, 2011, Paris, France},
pages = {297--303},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/CIDM.2011.5949440},
doi = {10.1109/CIDM.2011.5949440},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/cidm/AndreoliS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsp/BouchardUACZ11,
author = {Guillaume Bouchard and
Luis R. Ulloa and
Jean{-}Marc Andreoli and
Victor Ciriza and
Onno Zoeter},
title = {User and device localization using probabilistic device log trilateration},
booktitle = {2011 {IEEE} International Workshop on Machine Learning for Signal
Processing, {MLSP} 2011, Beijing, China, September 18-21, 2011},
pages = {1--6},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MLSP.2011.6064591},
doi = {10.1109/MLSP.2011.6064591},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/mlsp/BouchardUACZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmla/BouchardA07,
author = {Guillaume Bouchard and
Jean{-}Marc Andreoli},
editor = {M. Arif Wani and
Mehmed M. Kantardzic and
Tao Li and
Ying Liu and
Lukasz A. Kurgan and
Jieping Ye and
Mitsunori Ogihara and
Seref Sagiroglu and
Xue{-}wen Chen and
Leif E. Peterson and
Khalid Hafeez},
title = {Soft Failure Detection Using Factorial Hidden Markov Models},
booktitle = {The Sixth International Conference on Machine Learning and Applications,
{ICMLA} 2007, Cincinnati, Ohio, USA, 13-15 December 2007},
pages = {160--165},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICMLA.2007.79},
doi = {10.1109/ICMLA.2007.79},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmla/BouchardA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/AndreoliMR06,
author = {Jean{-}Marc Andreoli and
Roberto Maieli and
Paul Ruet},
title = {Non-commutative proof construction: {A} constraint-based approach},
journal = {Ann. Pure Appl. Log.},
volume = {142},
number = {1-3},
pages = {212--244},
year = {2006},
url = {https://doi.org/10.1016/j.apal.2006.01.002},
doi = {10.1016/J.APAL.2006.01.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/AndreoliMR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AndreoliPR05,
author = {Jean{-}Marc Andreoli and
Gabriele Pulcini and
Paul Ruet},
editor = {C.{-}H. Luke Ong},
title = {Permutative Logic},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {184--199},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_14},
doi = {10.1007/11538363\_14},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AndreoliPR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ida/AndreoliB05,
author = {Jean{-}Marc Andreoli and
Guillaume Bouchard},
editor = {A. Fazel Famili and
Joost N. Kok and
Jos{\'{e}} Mar{\'{\i}}a Pe{\~{n}}a S{\'{a}}nchez and
Arno Siebes and
A. J. Feelders},
title = {Probabilistic Latent Clustering of Device Usage},
booktitle = {Advances in Intelligent Data Analysis VI, 6th International Symposium
on Intelligent Data Analysis, {IDA} 2005, Madrid, Spain, September
8-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3646},
pages = {1--11},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11552253\_1},
doi = {10.1007/11552253\_1},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/ida/AndreoliB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AndreoliM03,
author = {Jean{-}Marc Andreoli and
Laurent Mazar{\'{e}}},
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {Concurrent Construction of Proof-Nets},
booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {29--42},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_3},
doi = {10.1007/978-3-540-45220-1\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AndreoliM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dais/AndreoliC03,
author = {Jean{-}Marc Andreoli and
Stefania Castellani},
editor = {Jean{-}Bernard Stefani and
Isabelle M. Demeure and
Daniel Hagimont},
title = {Negotiation as a Generic Component Coordination Primitive},
booktitle = {Distributed Applications and Interoperable Systems, 4th {IFIP} {WG6.1}
International Conference, {DAIS} 2003, Paris, France, November 17-21,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2893},
pages = {86--97},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40010-3\_8},
doi = {10.1007/978-3-540-40010-3\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/dais/AndreoliC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/BrandlAC03,
author = {Reinhard Brandl and
Jean{-}Marc Andreoli and
Stefania Castellani},
title = {Ubiquitous negotiation games: a case study},
booktitle = {14th International Workshop on Database and Expert Systems Applications
(DEXA'03), September 1-5, 2003, Prague, Czech Republic},
pages = {834--838},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/DEXA.2003.1232125},
doi = {10.1109/DEXA.2003.1232125},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/BrandlAC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amec/BratuABC02,
author = {Mihnea Bratu and
Jean{-}Marc Andreoli and
Olivier Boissier and
Stefania Castellani},
editor = {Julian A. Padget and
Onn Shehory and
David C. Parkes and
Norman M. Sadeh and
William E. Walsh},
title = {A Software Infrastructure for Negotiation within Inter-organisational
Alliances},
booktitle = {Agent-Mediated Electronic Commerce IV, Designing Mechanisms and Systems,
{AAMAS} 2002 Workshop on Agent Mediated Electronic Commerce, Bologna,
Italy, July 16, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2531},
pages = {161--179},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36378-5\_10},
doi = {10.1007/3-540-36378-5\_10},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amec/BratuABC02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Andreoli02,
author = {Jean{-}Marc Andreoli},
editor = {Andrei Voronkov},
title = {Focussing Proof-Net Construction as a Middleware Paradigm},
booktitle = {Automated Deduction - CADE-18, 18th International Conference on Automated
Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2392},
pages = {501--516},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45620-1\_39},
doi = {10.1007/3-540-45620-1\_39},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Andreoli02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcis/AndreoliAPW02,
author = {Jean{-}Marc Andreoli and
Dami{\'{a}}n Arregui and
Fran{\c{c}}ois Pacull and
Jutta Willamowski},
editor = {Yanbo Han and
Stefan Tai and
Dietmar Wikarski},
title = {Resource-Based Scripting to Stitch Distributed Components},
booktitle = {Engineering and Deployment of Cooperative Information Systems, First
International Conference, {EDCIS} 2002, Beijing, China, September
17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2480},
pages = {429--443},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45785-2\_34},
doi = {10.1007/3-540-45785-2\_34},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/edcis/AndreoliAPW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Andreoli01,
author = {Jean{-}Marc Andreoli},
title = {Focussing and proof construction},
journal = {Ann. Pure Appl. Log.},
volume = {107},
number = {1-3},
pages = {131--163},
year = {2001},
url = {https://doi.org/10.1016/S0168-0072(00)00032-4},
doi = {10.1016/S0168-0072(00)00032-4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Andreoli01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/AndreoliC01,
author = {Jean{-}Marc Andreoli and
Stefania Castellani},
editor = {A Min Tjoa and
Roland R. Wagner},
title = {Towards a Flexible Middleware Negotiation Facility for Distributed
Components},
booktitle = {12th International Workshop on Database and Expert Systems Applications
{(DEXA} 2001), 3-7 September 2001, Munich, Germany},
pages = {732--736},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DEXA.2001.953144},
doi = {10.1109/DEXA.2001.953144},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dexaw/AndreoliC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/AndreoliCM00,
author = {Jean{-}Marc Andreoli and
Stefania Castellani and
Manuel Munier},
editor = {Kurt Bauknecht and
Sanjay Kumar Madria and
G{\"{u}}nther Pernul},
title = {AllianceNet: Information Sharing, Negotiation and Decision-Making
for Distributed Organizations},
booktitle = {Electronic Commerce and Web Technologies, First International Conference,
EC-Web 2000, London, UK, September 4-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1875},
pages = {122--132},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44463-7\_11},
doi = {10.1007/3-540-44463-7\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ecweb/AndreoliCM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacpl/AndreoliB00,
author = {Jean{-}Marc Andreoli and
Uwe M. Borghoff},
editor = {Carmen Gervet},
title = {Virtual Answers for Query Refinement in Information Retrieval},
booktitle = {Proceedings of the Second International Conference on the Practical
Application of Constraint Technologies and Logic Programming, {PACPL}
2000, Crowne Plaza Midland Hotel, Manchester, UK, April 10-12, 2000},
pages = {233--252},
publisher = {Practical Application Company Ltd.},
year = {2000},
timestamp = {Thu, 01 Dec 2022 14:47:56 +0100},
biburl = {https://dblp.org/rec/conf/pacpl/AndreoliB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dpd/AndreoliP99,
author = {Jean{-}Marc Andreoli and
Fran{\c{c}}ois Pacull},
title = {Distributed Print on Demand Systems in the Xpect Framework},
journal = {Distributed Parallel Databases},
volume = {7},
number = {2},
pages = {179--198},
year = {1999},
url = {https://doi.org/10.1023/A:1008706628221},
doi = {10.1023/A:1008706628221},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dpd/AndreoliP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/AndreoliAPRVW99,
author = {Jean{-}Marc Andreoli and
Dami{\'{a}}n Arregui and
Fran{\c{c}}ois Pacull and
Michel Riviere and
Jean{-}Yves Vion{-}Dury and
Jutta Willamowski},
title = {CLF/Mekano: a framework for building virtual-enterprise applications},
booktitle = {Third International Enterprise Distributed Object Computing Conference,
{EDOC} 1999, Mannheim, Germany, September 27-30, 1999, Proceedings},
pages = {183--192},
publisher = {{IEEE}},
year = {1999},
url = {https://doi.org/10.1109/EDOC.1999.792062},
doi = {10.1109/EDOC.1999.792062},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/edoc/AndreoliAPRVW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AndreoliM99,
author = {Jean{-}Marc Andreoli and
Roberto Maieli},
editor = {Harald Ganzinger and
David A. McAllester and
Andrei Voronkov},
title = {Fucusing and Proof-Nets in Linear and Non-commutative Logic},
booktitle = {Logic Programming and Automated Reasoning, 6th International Conference,
LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1705},
pages = {321--336},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48242-3\_20},
doi = {10.1007/3-540-48242-3\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AndreoliM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/Andreoli99,
author = {Jean{-}Marc Andreoli},
editor = {Jean{-}Yves Girard},
title = {The Coordination Language Facility and Applications},
booktitle = {Typed Lambda Calculi and Applications, 4th International Conference,
TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1581},
pages = {1--5},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48959-2\_1},
doi = {10.1007/3-540-48959-2\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/Andreoli99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AndreoliPPP98,
author = {Jean{-}Marc Andreoli and
Fran{\c{c}}ois Pacull and
Daniele Pagani and
Remo Pareschi},
title = {Multiparty Negotiation of Dynamic Distributed Object Services},
journal = {Sci. Comput. Program.},
volume = {31},
number = {2-3},
pages = {179--203},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(97)00020-8},
doi = {10.1016/S0167-6423(97)00020-8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/AndreoliPPP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AndreoliP98,
author = {Jean{-}Marc Andreoli and
Fran{\c{c}}ois Pacull},
editor = {Winfried Lamersdorf and
Michael Merz},
title = {Distributed Print on Demand Systems in the Xpect Framework},
booktitle = {Trends in Distributed Systems for Electronic Commerce, International
{IFIP/GI} Working Conference, TREC'98, Hamburg, Germany, June 3-5,
1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1402},
pages = {141--153},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0053407},
doi = {10.1007/BFB0053407},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AndreoliP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AndreoliFM98,
author = {Jean{-}Marc Andreoli and
Christer Fernstr{\"{o}}m and
Jean{-}Luc Meunier},
title = {A Coordination System Approach to Software Workflow Process Evolution},
booktitle = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
{ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
pages = {297},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASE.1998.732684},
doi = {10.1109/ASE.1998.732684},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/AndreoliFM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paam/AndreoliBCPT98,
author = {Jean{-}Marc Andreoli and
Uwe M. Borghoff and
Stefania Castellani and
Remo Pareschi and
Gunnar Teege},
editor = {Hyacinth S. Nwana and
Divine T. Ndumu},
title = {Agent-Based Decision Support for Managing Print Tasks},
booktitle = {Proceedings of the Third International Conference on the Practical
Application of Intelligent Agents and Multi-Agent Technology, {PAAM}
1998, Westminster Central Hall, London, UK, March 23-25, 1998},
pages = {487--504},
publisher = {Practical Application Company Ltd.},
year = {1998},
timestamp = {Tue, 29 Nov 2022 11:00:52 +0100},
biburl = {https://dblp.org/rec/conf/paam/AndreoliBCPT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/internet/AndreoliPP97,
author = {Jean{-}Marc Andreoli and
Fran{\c{c}}ois Pacull and
Remo Pareschi},
title = {{XPECT:} {A} Framework for Electronic Commerce},
journal = {{IEEE} Internet Comput.},
volume = {1},
number = {4},
pages = {40--48},
year = {1997},
url = {https://doi.org/10.1109/4236.612214},
doi = {10.1109/4236.612214},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/internet/AndreoliPP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/AndreoliPC97,
author = {Jean{-}Marc Andreoli and
Remo Pareschi and
Tiziana Castagnetti},
title = {Static Analysis of Linear Logic Programming},
journal = {New Gener. Comput.},
volume = {15},
number = {4},
pages = {449--481},
year = {1997},
url = {https://doi.org/10.1007/BF03037301},
doi = {10.1007/BF03037301},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/AndreoliPC97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AndreoliBPBMR97,
author = {Jean{-}Marc Andreoli and
Uwe M. Borghoff and
Remo Pareschi and
Stefano Bistarelli and
Ugo Montanari and
Francesca Rossi},
editor = {Eugene C. Freuder},
title = {Constraints and Agents for a Decentralized Network Infrastructure},
booktitle = {Constraints {\&} Agents: Collected Papers from the 1997 {AAAI}
Workshop, Providence, RI, USA, July 27, 1997},
pages = {39--44},
publisher = {{AAAI} Press},
year = {1997},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/AndreoliBPBMR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/AndreoliBCCPW97,
author = {Jean{-}Marc Andreoli and
Uwe M. Borghoff and
Pierre{-}Yves Chevalier and
Boris Chidlovskii and
Remo Pareschi and
Jutta Willamowski},
editor = {W. A. Gray and
Per{-}{\AA}ke Larson},
title = {The Constraint-Based Knowledge Broker System},
booktitle = {Proceedings of the Thirteenth International Conference on Data Engineering,
April 7-11, 1997, Birmingham, {UK}},
pages = {575},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICDE.1997.582029},
doi = {10.1109/ICDE.1997.582029},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/AndreoliBCCPW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact2/AndreoliBP97,
author = {Jean{-}Marc Andreoli and
Uwe M. Borghoff and
Remo Pareschi},
editor = {Mark Wallace},
title = {Signed Feature Constraint Solving},
booktitle = {Proceedings of the Third International Conference on the Practical
Application of Constraint Technology, {PACT} 1997, Westminster Central
Hall, London, UK, April 23-25, 1997},
pages = {35--46},
publisher = {Practical Application Company Ltd.},
year = {1997},
timestamp = {Wed, 30 Nov 2022 10:17:58 +0100},
biburl = {https://dblp.org/rec/conf/pact2/AndreoliBP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/AndreoliP96,
author = {Jean{-}Marc Andreoli and
Remo Pareschi},
title = {Integrated Computational Paradigms for Flexible Client-Server Communication},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {297--299},
year = {1996},
url = {https://doi.org/10.1145/234528.234731},
doi = {10.1145/234528.234731},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/AndreoliP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/AndreoliBP96,
author = {Jean{-}Marc Andreoli and
Uwe M. Borghoff and
Remo Pareschi},
title = {The Constraint-Based Knowledge Broker Model: Semantics, Implementation
and Analysis},
journal = {J. Symb. Comput.},
volume = {21},
number = {4},
pages = {635--667},
year = {1996},
url = {https://doi.org/10.1006/jsco.1996.0035},
doi = {10.1006/JSCO.1996.0035},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsc/AndreoliBP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tapos/AndreoliFP96,
author = {Jean{-}Marc Andreoli and
Steve Freeman and
Remo Pareschi},
title = {The Coordination Language Facility: Coordination of Distributed Objects},
journal = {Theory Pract. Object Syst.},
volume = {2},
number = {2},
pages = {77--94},
year = {1996},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tapos/AndreoliFP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ewspt/AndreoliMP96,
author = {Jean{-}Marc Andreoli and
Jean{-}Luc Meunier and
Daniele Pagani},
editor = {Carlo Montangero},
title = {Process Enactment and Coordination},
booktitle = {Software Process Technology, 5th European Workshop, {EWSPT} '96, Nancy,
France, October 9-11, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1149},
pages = {195--216},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0017745},
doi = {10.1007/BFB0017745},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ewspt/AndreoliMP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/AndreoliBPS95,
author = {Jean{-}Marc Andreoli and
Uwe M. Borghoff and
Remo Pareschi and
Johann H. Schlichter},
title = {Constraint Agents for the Information Age},
journal = {J. Univers. Comput. Sci.},
volume = {1},
number = {12},
pages = {762--789},
year = {1995},
url = {https://doi.org/10.3217/jucs-001-12-0762},
doi = {10.3217/JUCS-001-12-0762},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/AndreoliBPS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/BorghoffPAAFS95,
author = {Uwe M. Borghoff and
Remo Pareschi and
Jean{-}Marc Andreoli and
Francesca Arcelli and
Ferrante Formato and
Johann H. Schlichter},
editor = {Tim Finin and
James Mayfield},
title = {Agent-based Document Construction},
booktitle = {{CIKM} 1995 Intelligent Information Agents Workshop, Omni Inner Harbor
Hotel, Baltimore, MD, USA, December 1-2, 1995},
pages = {22:1--22:2},
year = {1995},
timestamp = {Fri, 19 May 2023 16:07:59 +0200},
biburl = {https://dblp.org/rec/conf/cikm/BorghoffPAAFS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Andreoli95,
author = {Jean{-}Marc Andreoli},
editor = {Burkhard Freitag and
Cliff B. Jones and
Christian Lengauer and
Hans{-}J{\"{o}}rg Schek},
title = {Coordination as Negotiated Transactions},
booktitle = {Object Orientation with Parallelism and Persistence (the book grow
out of a Dagstuhl Seminar in April 1995)},
pages = {151--173},
publisher = {Kluwer Academic Publishers},
year = {1995},
timestamp = {Wed, 31 Jul 2019 08:45:21 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Andreoli95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AndreoliGP94,
author = {Jean{-}Marc Andreoli and
Herv{\'{e}} Gallaire and
Remo Pareschi},
editor = {Paolo Ciancarini and
Oscar Nierstrasz and
Akinori Yonezawa},
title = {Rule-Based Object Coordination},
booktitle = {Object-Based Models and Languages for Concurrent Systems, ECOOP'94
Workshop on Models and Languages for Coordination of Parallelism and
Distribution, Bologna, Italy, July 5, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {924},
pages = {1--13},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59450-7\_1},
doi = {10.1007/3-540-59450-7\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/AndreoliGP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasco/AndreoliBP94,
author = {Jean{-}Marc Andreoli and
Uwe M. Borghoff and
Remo Pareschi},
editor = {Hoon Hong},
title = {Constraint-Based Knowledge Brokers},
booktitle = {First International Symposium on Parallel Symbolic Computation, {PASCO}
1994, Hagenberg/Linz, Austria, September 26-28, 1994},
pages = {1--11},
publisher = {World Scientific},
year = {1994},
timestamp = {Tue, 04 Apr 2023 10:49:43 +0200},
biburl = {https://dblp.org/rec/conf/pasco/AndreoliBP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AndreoliCP93,
author = {Jean{-}Marc Andreoli and
Tiziana Castagnetti and
Remo Pareschi},
editor = {Domenico Sacc{\`{a}}},
title = {Abstract Interpretation of Concurrent Languages based on Linear Logic},
booktitle = {8th Italian Conference on Logic Programming, GULP'93, Gizzeria, Italy,
June 15-18, 1993},
pages = {267--284},
year = {1993},
timestamp = {Thu, 02 Dec 2004 11:00:44 +0100},
biburl = {https://dblp.org/rec/conf/agp/AndreoliCP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BourgoisAP93,
author = {Marc Bourgois and
Jean{-}Marc Andreoli and
Remo Pareschi},
editor = {Rachid Guerraoui and
Oscar Nierstrasz and
Michel Riveill},
title = {Concurrency and Communication: Choices in Implementing the Coordination
Language {LO}},
booktitle = {Object-Based Distributed Programming, {ECOOP} '93 Workshop, Kaiserslautern,
Germany, July 26-27, 1993},
series = {Lecture Notes in Computer Science},
volume = {791},
pages = {73--92},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0017535},
doi = {10.1007/BFB0017535},
timestamp = {Wed, 07 Dec 2022 23:14:07 +0100},
biburl = {https://dblp.org/rec/conf/ecoopw/BourgoisAP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/AndreoliCP93,
author = {Jean{-}Marc Andreoli and
Tiziana Castagnetti and
Remo Pareschi},
editor = {Dale Miller},
title = {Abstract Interpretation of Linear Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {295--314},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/AndreoliCP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/AndreoliLPT93,
author = {Jean{-}Marc Andreoli and
Lone Leth Thomsen and
Remo Pareschi and
Bent Thomsen},
editor = {Marie{-}Claude Gaudel and
Jean{-}Pierre Jouannaud},
title = {True Concurrency Semantics for a Linear Logic Programming Language
with Braodcast Communication},
booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International
Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {668},
pages = {182--198},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56610-4\_64},
doi = {10.1007/3-540-56610-4\_64},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/AndreoliLPT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Andreoli92,
author = {Jean{-}Marc Andreoli},
title = {Logic Programming with Focusing Proofs in Linear Logic},
journal = {J. Log. Comput.},
volume = {2},
number = {3},
pages = {297--347},
year = {1992},
url = {https://doi.org/10.1093/logcom/2.3.297},
doi = {10.1093/LOGCOM/2.3.297},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Andreoli92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AndreoliP92,
author = {Jean{-}Marc Andreoli and
Remo Pareschi},
editor = {Andrei Voronkov},
title = {Linear Objects: a Logic Framework for Open System Programming},
booktitle = {Logic Programming and Automated Reasoning,International Conference
LPAR'92, St. Petersburg, Russia, July 15-20, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {624},
pages = {448--450},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013083},
doi = {10.1007/BFB0013083},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AndreoliP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/AndreoliP91,
author = {Jean{-}Marc Andreoli and
Remo Pareschi},
title = {Linear Ojects: Logical Processes with Built-in Inheritance},
journal = {New Gener. Comput.},
volume = {9},
number = {3/4},
pages = {445--474},
year = {1991},
url = {https://doi.org/10.1007/BF03037173},
doi = {10.1007/BF03037173},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/AndreoliP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/AndreoliPB91,
author = {Jean{-}Marc Andreoli and
Remo Pareschi and
Marc Bourgois},
editor = {Mario Tokoro and
Oscar Nierstrasz and
Peter Wegner},
title = {Dynamic Programming as Multiagent Programming},
booktitle = {Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland,
July 15-16, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {612},
pages = {163--176},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55613-3\_8},
doi = {10.1007/3-540-55613-3\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/AndreoliPB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AndreoliP91,
author = {Jean{-}Marc Andreoli and
Remo Pareschi},
editor = {Andreas Paepcke},
title = {Communication as Fair Distribution of Knowledge},
booktitle = {Proceedings of the Sixth Annual Conference on Object-Oriented Programming
Systems, Languages, and Applications, {OOPSLA} 1991, Phoenix, Arizona,
USA, October 6-11, 1991},
pages = {212--229},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/117954.117971},
doi = {10.1145/117954.117971},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AndreoliP91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AndreoliP90,
author = {Jean{-}Marc Andreoli and
Remo Pareschi},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Linear Objects in a Logic Processes with Built-in Inheritance},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {495--510},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/AndreoliP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/AndreoliP90,
author = {Jean{-}Marc Andreoli and
Remo Pareschi},
editor = {Serge Bourgault and
Mehmet Dincbas},
title = {Formulae as Active Representations of Data},
booktitle = {SPLT'90, 8\({}^{\mbox{{\`{e}}me}}\) S{\'{e}}minaire Programmation
en Logique, 16-18 mai 1990, Tr{\'{e}}gastel, France},
pages = {139--160},
year = {1990},
timestamp = {Mon, 06 Sep 2004 15:30:15 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/AndreoliP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AndreoliP90,
author = {Jean{-}Marc Andreoli and
Remo Pareschi},
editor = {Akinori Yonezawa},
title = {{LO} and Behold! Concurrent Structured Processes},
booktitle = {Conference on Object-Oriented Programming Systems, Languages, and
Applications / European Conference on Object-Oriented Programming,
{OOPSLA/ECOOP} 1990, Ottawa, Canada, October 21-25, 1990, Proceedings},
pages = {44--56},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/97945.97953},
doi = {10.1145/97945.97953},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AndreoliP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/AndreoliP89,
author = {Jean{-}Marc Andreoli and
Remo Pareschi},
editor = {Peter Schroeder{-}Heister},
title = {Logic Programming with Sequent Systems, {A} Linear Logic Approach},
booktitle = {Extensions of Logic Programming, International Workshop, T{\"{u}}bingen,
FRG, December 8-10, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {475},
pages = {1--30},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/BFb0038690},
doi = {10.1007/BFB0038690},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/AndreoliP89.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 2024-03-03 02:42 CET 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:
