Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/jelia/jelia94.bht:"
download as .bib file
@inproceedings{DBLP:conf/jelia/AguileraGO94,
author = {Gabriel Aguilera and
Inman P. de Guzm{\'{a}}n and
Manuel Ojeda{-}Aciego},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {TAS-D\({}^{\mbox{++}}\): Syntactic Trees Transformations for Automated
Theorem Proving},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {198--216},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021973},
doi = {10.1007/BFB0021973},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AguileraGO94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AlferesP94,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Belief, Provability, and Logic Programs},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {106--121},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021967},
doi = {10.1007/BFB0021967},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AlferesP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AravindanD94,
author = {Chandrabose Aravindan and
Phan Minh Dung},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Belief Dynamics, Abduction, and Database},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {66--85},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021965},
doi = {10.1007/BFB0021965},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AravindanD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/BertossiR94,
author = {Leopoldo E. Bertossi and
Raymond Reiter},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {On the Concept of Generic Object: {A} Nonmonotonic Reasoning Approach
and Examples},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {347--363},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021983},
doi = {10.1007/BFB0021983},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/BertossiR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Brewka94,
author = {Gerhard Brewka},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Adding Priorities and Specificity to Default Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {247--260},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021977},
doi = {10.1007/BFB0021977},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Brewka94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Chatalic94,
author = {Philippe Chatalic},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Viewing Hypothesis Theories as Constrained Graded Theories},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {261--278},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021978},
doi = {10.1007/BFB0021978},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Chatalic94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/ConstantiniDL94,
author = {Stefania Costantini and
Pierangelo Dell'Acqua and
Gaetano Aurelio Lanzarone},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Extending Horn Clause Theories by Reflection Principles},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {400--413},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021987},
doi = {10.1007/BFB0021987},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/ConstantiniDL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Demri94,
author = {St{\'{e}}phane Demri},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Efficient Strategies for Automated Reasoning in Modal Logics},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {182--197},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021972},
doi = {10.1007/BFB0021972},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Demri94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Dimopoulos94,
author = {Yannis Dimopoulos},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {The Computational Value of Joint Consistency},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {50--65},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021964},
doi = {10.1007/BFB0021964},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Dimopoulos94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/EngelfrietT94,
author = {Joeri Engelfriet and
Jan Treur},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Temporal Theories of Reasoning},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {279--299},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021979},
doi = {10.1007/BFB0021979},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/EngelfrietT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Georgatos94,
author = {Konstantinos Georgatos},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Reasoning about Knowledge on Computation Trees},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {300--315},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021980},
doi = {10.1007/BFB0021980},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Georgatos94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GiacomoL94,
author = {Giuseppe De Giacomo and
Maurizio Lenzerini},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Description Logics with Inverse Roles, Functional Restrictions, and
N-ary Relations},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {332--346},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021982},
doi = {10.1007/BFB0021982},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/GiacomoL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Gottlob94,
author = {Georg Gottlob},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {From Carnap's Modal Logic to Autoepistemic Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {1--18},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021961},
doi = {10.1007/BFB0021961},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Gottlob94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Grosse94,
author = {Gerd Gro{\ss}e},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Propositional State Event Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {316--331},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021981},
doi = {10.1007/BFB0021981},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Grosse94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Herre94,
author = {Heinrich Herre},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Compactness Properties of Nonmonotonic Inference Operations},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {19--33},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021962},
doi = {10.1007/BFB0021962},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Herre94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/JacquetM94,
author = {Jean{-}Marie Jacquet and
Lu{\'{\i}}s Monteiro},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Towards Resource Handling in Logic Programming: The {PPL} Framework
and its Semantics},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {379--399},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021986},
doi = {10.1007/BFB0021986},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/JacquetM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MarekT94,
author = {V. Wiktor Marek and
Miroslaw Truszczynski},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Revision Specifications by Means of Programs},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {122--136},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021968},
doi = {10.1007/BFB0021968},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MarekT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MoinardR94,
author = {Yves Moinard and
Raymond Rolland},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Around a Powerful Property of Circumscriptions},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {34--49},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021963},
doi = {10.1007/BFB0021963},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/MoinardR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Nivelle94,
author = {Hans de Nivelle},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {A Unification of Ordering Refinements of Resolution in Classical Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {217--230},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021974},
doi = {10.1007/BFB0021974},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Nivelle94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Nonnengart94,
author = {Andreas Nonnengart},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {How to Use Modalities and Sorts in Prolog},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {365--378},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021985},
doi = {10.1007/BFB0021985},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Nonnengart94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Orlowska94,
author = {Ewa Orlowska},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Two Logical Dimensions},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {231},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021975},
doi = {10.1007/BFB0021975},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Orlowska94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Petermann94,
author = {Uwe Petermann},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {A Complete Connection Calculus with Rigid E-Unification},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {152--166},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021970},
doi = {10.1007/BFB0021970},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Petermann94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Przymusinski94,
author = {Teodor C. Przymusinski},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Autoepistemic Logic of Minimal Beliefs},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {364},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021984},
doi = {10.1007/BFB0021984},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Przymusinski94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Rintanen94,
author = {Jussi Rintanen},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Prioritized Autoepistemic Logic},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {232--246},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021976},
doi = {10.1007/BFB0021976},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Rintanen94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Scherl94,
author = {Richard B. Scherl},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Equality and Constrained Resolution},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {167--181},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021971},
doi = {10.1007/BFB0021971},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Scherl94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/Williams94,
author = {Mary{-}Anne Williams},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {On the Logic of Theory Base Change},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {86--105},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021966},
doi = {10.1007/BFB0021966},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/Williams94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/WitteveenHN94,
author = {Cees Witteveen and
Wiebe van der Hoek and
Hans de Nivelle},
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Revision of Non-Monotonic Theories},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
pages = {137--151},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021969},
doi = {10.1007/BFB0021969},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/WitteveenHN94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/1994,
editor = {Craig MacNish and
David Pearce and
Lu{\'{\i}}s Moniz Pereira},
title = {Logics in Artificial Intelligence, European Workshop, {JELIA} '94,
York, UK, September 5-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {838},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0021960},
doi = {10.1007/BFB0021960},
isbn = {3-540-58332-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/1994.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.
retrieved on 2024-05-16 19:37 CEST from data curated 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:
