Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "David Toman"
download as .bib file
@inproceedings{DBLP:conf/dlog/FengBFP0W23,
author = {Eva Feng and
Alexander Borgida and
Enrico Franconi and
Peter F. Patel{-}Schneider and
David Toman and
Grant E. Weddell},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Path Description Dependencies in Feature-Based DLs},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/paper-10.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/dlog/FengBFP0W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-06707,
author = {Christian Tomani and
David Vilar and
Markus Freitag and
Colin Cherry and
Subhajit Naskar and
Mara Finkelstein and
Daniel Cremers},
title = {Quality Control at Your Fingertips: Quality-Aware Translation Models},
journal = {CoRR},
volume = {abs/2310.06707},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.06707},
doi = {10.48550/ARXIV.2310.06707},
eprinttype = {arXiv},
eprint = {2310.06707},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-06707.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JohnsonAEMSSTB22,
author = {David Johnson and
Mohammad Alsharid and
Rasheed El{-}Bouri and
Nigel Mehdi and
Farah Shamout and
Alexandre Szenicer and
David Toman and
Saqr Binghalib},
title = {An Experience Report of Executive-Level Artificial Intelligence Education
in the United Arab Emirates},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {12766--12773},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i11.21555},
doi = {10.1609/AAAI.V36I11.21555},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/JohnsonAEMSSTB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TomanW22,
author = {David Toman and
Grant E. Weddell},
title = {First Order Rewritability in Ontology-Mediated Querying in Horn Description
Logics},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {5897--5905},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i5.20534},
doi = {10.1609/AAAI.V36I5.20534},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TomanW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/BorgidaFTW22,
author = {Alexander Borgida and
Enrico Franconi and
David Toman and
Grant E. Weddell},
editor = {Haris Aziz and
D{\'{e}}bora Corr{\^{e}}a and
Tim French},
title = {Understanding Document Data Sources Using Ontologies with Referring
Expressions},
booktitle = {{AI} 2022: Advances in Artificial Intelligence - 35th Australasian
Joint Conference, {AI} 2022, Perth, WA, Australia, December 5-8, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13728},
pages = {367--380},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22695-3\_26},
doi = {10.1007/978-3-031-22695-3\_26},
timestamp = {Sat, 30 Sep 2023 09:34:57 +0200},
biburl = {https://dblp.org/rec/conf/ausai/BorgidaFTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaFTW22,
author = {Alexander Borgida and
Enrico Franconi and
David Toman and
Grant E. Weddell},
editor = {Ofer Arieli and
Martin Homola and
Jean Christoph Jung and
Marie{-}Laure Mugnier},
title = {Accessing Document Data Sources using Referring Expression Types},
booktitle = {Proceedings of the 35th International Workshop on Description Logics
{(DL} 2022) co-located with Federated Logic Conference (FLoC 2022),
Haifa, Israel, August 7th to 10th, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3263/paper-6.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaFTW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/Feng0W22,
author = {Eva Feng and
David Toman and
Grant E. Weddell},
editor = {Guido Governatori and
Anni{-}Yasmin Turhan},
title = {Magic Sets in Interpolation-Based Rule Driven Query Optimization},
booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules
and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {198--207},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21541-4\_13},
doi = {10.1007/978-3-031-21541-4\_13},
timestamp = {Tue, 20 Dec 2022 10:20:25 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/Feng0W22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-01281,
author = {David Johnson and
Mohammad Alsharid and
Rasheed El{-}Bouri and
Nigel Mehdi and
Farah Shamout and
Alexandre Szenicer and
David Toman and
Saqr Binghalib},
title = {An Experience Report of Executive-Level Artificial Intelligence Education
in the United Arab Emirates},
journal = {CoRR},
volume = {abs/2202.01281},
year = {2022},
url = {https://arxiv.org/abs/2202.01281},
eprinttype = {arXiv},
eprint = {2202.01281},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-01281.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/TomanBK21,
author = {Ivan Toman and
David Brcic and
Serdjo Kos},
title = {Contribution to the Research of the Effects of Etna Volcano Activity
on the Features of the Ionospheric Total Electron Content Behaviour},
journal = {Remote. Sens.},
volume = {13},
number = {5},
pages = {1006},
year = {2021},
url = {https://doi.org/10.3390/rs13051006},
doi = {10.3390/RS13051006},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/TomanBK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW21,
author = {David Toman and
Grant E. Weddell},
editor = {Martin Homola and
Vladislav Ryzhikov and
Renate A. Schmidt},
title = {{FO} Rewritability for {OMQ} using Beth Definability and Interpolation},
booktitle = {Proceedings of the 34th International Workshop on Description Logics
{(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021),
Bratislava, Slovakia, September 19th to 22nd, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2954/paper-29.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:15 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TomanW21,
author = {David Toman and
Grant E. Wedell},
editor = {Renate A. Schmidt and
Christoph Wernhard and
Yizheng Zhao},
title = {Projective Beth Definability and Craig Interpolation for Relational
Query Optimization (Material to Accompany Invited Talk)},
booktitle = {Proceedings of the Second Workshop on Second-Order Quantifier Elimination
and Related Topics {(SOQE} 2021) associated with the 18th International
Conference on Principles of Knowledge Representation and Reasoning
{(KR} 2021), Online Event, November 4, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {3009},
pages = {1--13},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-3009/invited1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:13 +0100},
biburl = {https://dblp.org/rec/conf/kr/TomanW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/TomanW20,
author = {David Toman and
Grant E. Weddell},
title = {Using Feature-Based Description Logics to avoid Duplicate Elimination
in Object-Relational Query Languages},
journal = {K{\"{u}}nstliche Intell.},
volume = {34},
number = {3},
pages = {355--363},
year = {2020},
url = {https://doi.org/10.1007/s13218-020-00666-7},
doi = {10.1007/S13218-020-00666-7},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ki/TomanW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW20,
author = {David Toman and
Grant E. Weddell},
editor = {Stefan Borgwardt and
Thomas Meyer},
title = {First Order Rewritability for Ontology Mediated Querying in Horn-DLFD},
booktitle = {Proceedings of the 33rd International Workshop on Description Logics
{(DL} 2020) co-located with the 17th International Conference on Principles
of Knowledge Representation and Reasoning {(KR} 2020), Online Event
[Rhodes, Greece], September 12th to 14th, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2663/paper-22.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/KubicekTCVKO19,
author = {Jan Kub{\'{\i}}cek and
Filip Tomanec and
Martin Cern{\'{y}} and
Dominik Vilimek and
Martina Kalova and
David Oczka},
title = {Recent Trends, Technical Concepts and Components of Computer-Assisted
Orthopedic Surgery Systems: {A} Comprehensive Review},
journal = {Sensors},
volume = {19},
number = {23},
pages = {5199},
year = {2019},
url = {https://doi.org/10.3390/s19235199},
doi = {10.3390/S19235199},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/KubicekTCVKO19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/McIntyreBTW19,
author = {Stephanie McIntyre and
Alexander Borgida and
David Toman and
Grant E. Weddell},
title = {On Limited Conjunctions and Partial Features in Parameter-Tractable
Feature Logics},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2995--3002},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012995},
doi = {10.1609/AAAI.V33I01.33012995},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/McIntyreBTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/TomanW19,
author = {David Toman and
Grant E. Weddell},
editor = {Jixue Liu and
James Bailey},
title = {Finding {ALL} Answers to {OBDA} Queries Using Referring Expressions},
booktitle = {{AI} 2019: Advances in Artificial Intelligence - 32nd Australasian
Joint Conference, Adelaide, SA, Australia, December 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11919},
pages = {117--129},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-35288-2\_10},
doi = {10.1007/978-3-030-35288-2\_10},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/TomanW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/McIntyreTW19,
author = {Stephanie McIntyre and
David Toman and
Grant E. Weddell},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {FunDL - {A} Family of Feature-Based Description Logics, with Applications
in Querying Structured Data Sources},
booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
to Franz Baader on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {404--430},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_19},
doi = {10.1007/978-3-030-22102-7\_19},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/McIntyreTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaTW19,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {On Special Description Logics for Processes and Plans},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-6.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW19,
author = {David Toman and
Grant E. Weddell},
editor = {Mantas Simkus and
Grant E. Weddell},
title = {Exhaustive Query Answering via Referring Expressions},
booktitle = {Proceedings of the 32nd International Workshop on Description Logics,
Oslo, Norway, June 18-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2373/paper-29.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/TomanW19,
author = {David Toman and
Grant E. Weddell},
editor = {Abhaya C. Nayak and
Alok Sharma},
title = {Identity Resolution in Ontology Based Data Access to Structured Data
Sources},
booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim
International Conference on Artificial Intelligence, Cuvu, Yanuca
Island, Fiji, August 26-30, 2019, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11670},
pages = {473--485},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29908-8\_38},
doi = {10.1007/978-3-030-29908-8\_38},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/TomanW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-08295,
author = {Jonathan Shen and
Patrick Nguyen and
Yonghui Wu and
Zhifeng Chen and
Mia Xu Chen and
Ye Jia and
Anjuli Kannan and
Tara N. Sainath and
Yuan Cao and
Chung{-}Cheng Chiu and
Yanzhang He and
Jan Chorowski and
Smit Hinsu and
Stella Laurenzo and
James Qin and
Orhan Firat and
Wolfgang Macherey and
Suyog Gupta and
Ankur Bapna and
Shuyuan Zhang and
Ruoming Pang and
Ron J. Weiss and
Rohit Prabhavalkar and
Qiao Liang and
Benoit Jacob and
Bowen Liang and
HyoukJoong Lee and
Ciprian Chelba and
S{\'{e}}bastien Jean and
Bo Li and
Melvin Johnson and
Rohan Anil and
Rajat Tibrewal and
Xiaobing Liu and
Akiko Eriguchi and
Navdeep Jaitly and
Naveen Ari and
Colin Cherry and
Parisa Haghani and
Otavio Good and
Youlong Cheng and
Raziel Alvarez and
Isaac Caswell and
Wei{-}Ning Hsu and
Zongheng Yang and
Kuan{-}Chieh Wang and
Ekaterina Gonina and
Katrin Tomanek and
Ben Vanik and
Zelin Wu and
Llion Jones and
Mike Schuster and
Yanping Huang and
Dehao Chen and
Kazuki Irie and
George F. Foster and
John Richardson and
Klaus Macherey and
Antoine Bruguier and
Heiga Zen and
Colin Raffel and
Shankar Kumar and
Kanishka Rao and
David Rybach and
Matthew Murray and
Vijayaditya Peddinti and
Maxim Krikun and
Michiel Bacchiani and
Thomas B. Jablin and
Robert Suderman and
Ian Williams and
Benjamin Lee and
Deepti Bhatia and
Justin Carlson and
Semih Yavuz and
Yu Zhang and
Ian McGraw and
Max Galkin and
Qi Ge and
Golan Pundak and
Chad Whipkey and
Todd Wang and
Uri Alon and
Dmitry Lepikhin and
Ye Tian and
Sara Sabour and
William Chan and
Shubham Toshniwal and
Baohua Liao and
Michael Nirschl and
Pat Rondon},
title = {Lingvo: a Modular and Scalable Framework for Sequence-to-Sequence
Modeling},
journal = {CoRR},
volume = {abs/1902.08295},
year = {2019},
url = {http://arxiv.org/abs/1902.08295},
eprinttype = {arXiv},
eprint = {1902.08295},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-08295.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW18,
author = {David Toman and
Grant E. Weddell},
editor = {Magdalena Ortiz and
Thomas Schneider},
title = {Identity Resolution in Conjunctive Querying over DL-Based Knowledge
Bases},
booktitle = {Proceedings of the 31st International Workshop on Description Logics
co-located with 16th International Conference on Principles of Knowledge
Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October
27th - to - 29th, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2211/paper-34.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ekaw/MaKOTW18,
author = {Weicong Ma and
C. Maria Keet and
Wayne Oldford and
David Toman and
Grant E. Weddell},
editor = {Catherine Faron{-}Zucker and
Chiara Ghidini and
Amedeo Napoli and
Yannick Toussaint},
title = {The Utility of the Abstract Relational Model and Attribute Paths in
{SQL}},
booktitle = {Knowledge Engineering and Knowledge Management - 21st International
Conference, {EKAW} 2018, Nancy, France, November 12-16, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11313},
pages = {195--211},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03667-6\_13},
doi = {10.1007/978-3-030-03667-6\_13},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ekaw/MaKOTW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McIntyreBTW18,
author = {Stephanie McIntyre and
Alexander Borgida and
David Toman and
Grant E. Weddell},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {On Limited Conjunctions in Polynomial Feature Logics, with Applications
in {OBDA}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {655--656},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18016},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/McIntyreBTW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/ChomickiT18,
author = {Jan Chomicki and
David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Abstract Versus Concrete Temporal Query Languages},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_1559},
doi = {10.1007/978-1-4614-8265-9\_1559},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/ChomickiT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/ChomickiT18a,
author = {Jan Chomicki and
David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Temporal Logic in Database Query Languages},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_402},
doi = {10.1007/978-1-4614-8265-9\_402},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/ChomickiT18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/ChomickiT18b,
author = {Jan Chomicki and
David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Temporal Relational Calculus},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_1531},
doi = {10.1007/978-1-4614-8265-9\_1531},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/ChomickiT18b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/RoddickT18,
author = {John F. Roddick and
David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Temporal Vacuuming},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_1045},
doi = {10.1007/978-1-4614-8265-9\_1045},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/RoddickT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Toman18,
author = {David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Point-Stamped Temporal Models},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_269},
doi = {10.1007/978-1-4614-8265-9\_269},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/Toman18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/UnelT17,
author = {Gulay {\"{U}}nel and
David Toman},
title = {Logic programming approach to automata-based decision procedures},
journal = {J. Log. Algebraic Methods Program.},
volume = {86},
number = {1},
pages = {391--407},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2016.02.005},
doi = {10.1016/J.JLAMP.2016.02.005},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/UnelT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aicol/SchmeddingKBSST17,
author = {Florian Schmedding and
Peter Kl{\"{u}}gl and
David Baehrens and
Christian Simon and
Kai Simon and
Katrin Tomanek},
editor = {Ugo Pagallo and
Monica Palmirani and
Pompeu Casanovas and
Giovanni Sartor and
Serena Villata},
title = {EuroVoc-Based Summarization of European Case Law},
booktitle = {{AI} Approaches to the Complexity of Legal Systems - {AICOL} International
Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX
2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10791},
pages = {205--219},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-030-00178-0\_13},
doi = {10.1007/978-3-030-00178-0\_13},
timestamp = {Fri, 27 Mar 2020 08:51:24 +0100},
biburl = {https://dblp.org/rec/conf/aicol/SchmeddingKBSST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW17,
author = {David Toman and
Grant E. Weddell},
editor = {Alessandro Artale and
Birte Glimm and
Roman Kontchakov},
title = {On Partial Features in the {DLF} Dialects of Description Logic with
Inverse Features},
booktitle = {Proceedings of the 30th International Workshop on Description Logics,
Montpellier, France, July 18-21, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1879/paper44.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BorgidaTW17,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
editor = {Carles Sierra},
title = {Concerning Referring Expressions in Query Answers},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {4791--4795},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/668},
doi = {10.24963/IJCAI.2017/668},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/BorgidaTW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/TomanW17,
author = {David Toman and
Grant E. Weddell},
editor = {Thomas Eiter and
David Sands and
Geoff Sutcliffe and
Andrei Voronkov},
title = {An Interpolation-based Compiler and Optimizer for Relational Queries
(System design Report)},
booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana,
May 7-12, 2017},
series = {Kalpa Publications in Computing},
volume = {1},
pages = {1--10},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/53fk},
doi = {10.29007/53FK},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/TomanW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/TomanW16,
author = {David Toman and
Grant E. Weddell},
editor = {Byeong Ho Kang and
Quan Bai},
title = {Ontology Based Data Access with Referring Expressions for Logics with
the Tree Model Property - (Extended Abstract)},
booktitle = {{AI} 2016: Advances in Artificial Intelligence - 29th Australasian
Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9992},
pages = {353--361},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-50127-7\_31},
doi = {10.1007/978-3-319-50127-7\_31},
timestamp = {Thu, 23 May 2024 22:02:52 +0200},
biburl = {https://dblp.org/rec/conf/ausai/TomanW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/JacquesTW16,
author = {Jason St. Jacques and
David Toman and
Grant E. Weddell},
editor = {Maurizio Lenzerini and
Rafael Pe{\~{n}}aloza},
title = {Object-Relational Queries over CFDI{\_}nc Knowledge Bases: {OBDA}
for the SQL-Literate (extended abstract)},
booktitle = {Proceedings of the 29th International Workshop on Description Logics,
Cape Town, South Africa, April 22-25, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1577/paper\_10.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/JacquesTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/BorgidaTW16,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
editor = {Isabelle Comyn{-}Wattiau and
Katsumi Tanaka and
Il{-}Yeol Song and
Shuichiro Yamamoto and
Motoshi Saeki},
title = {On Referring Expressions in Information Systems Derived from Conceptual
Modelling},
booktitle = {Conceptual Modeling - 35th International Conference, {ER} 2016, Gifu,
Japan, November 14-17, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9974},
pages = {183--197},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46397-1\_14},
doi = {10.1007/978-3-319-46397-1\_14},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/er/BorgidaTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/JacquesTW16,
author = {Jason St. Jacques and
David Toman and
Grant E. Weddell},
editor = {Subbarao Kambhampati},
title = {Object-Relational Queries over CFDI\({}_{\mbox{nc}}\) Knowledge Bases:
{OBDA} for the SQL-Literate},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {1258--1264},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/182},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/JacquesTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BorgidaTW16,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {On Referring Expressions in Query Answering over First Order Knowledge
Bases},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {319--328},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12860},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/BorgidaTW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/TomanW16,
author = {David Toman and
Grant E. Weddell},
editor = {Richard Booth and
Min{-}Ling Zhang},
title = {On Partial Features in the \emph{DLF} Family of Description Logics},
booktitle = {{PRICAI} 2016: Trends in Artificial Intelligence - 14th Pacific Rim
International Conference on Artificial Intelligence, Phuket, Thailand,
August 22-26, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9810},
pages = {529--542},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-42911-3\_44},
doi = {10.1007/978-3-319-42911-3\_44},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/TomanW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ws/CalvaneseKT15,
author = {Diego Calvanese and
Manolis Koubarakis and
David Toman},
title = {Special issue of the Journal of Web Semantics on ontology-based data
access},
journal = {J. Web Semant.},
volume = {33},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.websem.2015.06.001},
doi = {10.1016/J.WEBSEM.2015.06.001},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ws/CalvaneseKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/TomanW15,
author = {David Toman and
Grant E. Weddell},
editor = {Bernhard Pfahringer and
Jochen Renz},
title = {On the Krom Extension of \emph{CFDI}{\(\forall\)} -{\_}nc},
booktitle = {{AI} 2015: Advances in Artificial Intelligence - 28th Australasian
Joint Conference, Canberra, ACT, Australia, November 30 - December
4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9457},
pages = {559--571},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26350-2\_50},
doi = {10.1007/978-3-319-26350-2\_50},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/TomanW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/WuKTW15,
author = {Jiewen Wu and
Taras Kinash and
David Toman and
Grant E. Weddell},
editor = {Bernhard Pfahringer and
Jochen Renz},
title = {Absorption for ABoxes and TBoxes with General Value Restrictions},
booktitle = {{AI} 2015: Advances in Artificial Intelligence - 28th Australasian
Joint Conference, Canberra, ACT, Australia, November 30 - December
4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9457},
pages = {609--622},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26350-2\_54},
doi = {10.1007/978-3-319-26350-2\_54},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/WuKTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaTW15,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
editor = {Diego Calvanese and
Boris Konev},
title = {Singular Referring Expressions in Conjunctive Query Answers: the case
for a {CFD} {DL} Dialect},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FillottraniKT15,
author = {Pablo R. Fillottrani and
C. Maria Keet and
David Toman},
editor = {Diego Calvanese and
Boris Konev},
title = {Polynomial encoding of {ORM} conceptual models in \emph{CFDI}},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-50.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FillottraniKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW15,
author = {David Toman and
Grant E. Weddell},
editor = {Diego Calvanese and
Boris Konev},
title = {On the Utility of \emph{CFDI}},
booktitle = {Proceedings of the 28th International Workshop on Description Logics,
Athens,Greece, June 7-10, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1350/paper-36.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/HudekTW15,
author = {Alexander K. Hudek and
David Toman and
Grant E. Weddell},
editor = {Hans de Nivelle},
title = {On Enumerating Query Plans Using Analytic Tableau},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9323},
pages = {339--354},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24312-2\_23},
doi = {10.1007/978-3-319-24312-2\_23},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tableaux/HudekTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/WuHTW14,
author = {Jiewen Wu and
Alexander K. Hudek and
David Toman and
Grant E. Weddell},
title = {Absorption for ABoxes},
journal = {J. Autom. Reason.},
volume = {53},
number = {3},
pages = {215--243},
year = {2014},
url = {https://doi.org/10.1007/s10817-014-9304-2},
doi = {10.1007/S10817-014-9304-2},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/WuHTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/RobinsonMT14,
author = {Nathan Robinson and
Sheila A. McIlraith and
David Toman},
editor = {Carla E. Brodley and
Peter Stone},
title = {Cost-Based Query Optimization via {AI} Planning},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2344--2351},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9045},
doi = {10.1609/AAAI.V28I1.9045},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/RobinsonMT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW14,
author = {David Toman and
Grant E. Weddell},
editor = {Meghyn Bienvenu and
Magdalena Ortiz and
Riccardo Rosati and
Mantas Simkus},
title = {Pushing the CFDnc Envelope},
booktitle = {Informal Proceedings of the 27th International Workshop on Description
Logics, Vienna, Austria, July 17-20, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {340--351},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1193/paper\_57.pdf},
timestamp = {Mon, 26 Jun 2023 20:43:45 +0200},
biburl = {https://dblp.org/rec/conf/dlog/TomanW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/TomanW14,
author = {David Toman and
Grant E. Weddell},
editor = {Duc Nghia Pham and
Seong{-}Bae Park},
title = {On Adding Inverse Features to the Description Logic \emph{CFD}\({}^{\mbox{{\(\forall\)}}}\)\({}_{\mbox{nc}}\)},
booktitle = {{PRICAI} 2014: Trends in Artificial Intelligence - 13th Pacific Rim
International Conference on Artificial Intelligence, Gold Coast, QLD,
Australia, December 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8862},
pages = {587--599},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13560-1\_47},
doi = {10.1007/978-3-319-13560-1\_47},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/TomanW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TomanW14,
author = {David Toman and
Grant E. Weddell},
title = {Undecidability of Finite Model Reasoning in {DLFD}},
journal = {CoRR},
volume = {abs/1408.4468},
year = {2014},
url = {http://arxiv.org/abs/1408.4468},
eprinttype = {arXiv},
eprint = {1408.4468},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/TomanW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcmi/BlasiakBFRMPWTIASOT13,
author = {Barbara Blasiak and
Samuel Barnes and
Tadeusz Foniok and
David Rushforth and
John Matyas and
Dragana Ponjevic and
Wladyslaw P. Weglarz and
Randy Tyson and
Umar Iqbal and
Abedelnasser Abulrob and
Garnette R. Sutherland and
Andre Obenaus and
Boguslaw Tomanek},
title = {Comparison of T\({}_{\mbox{2}}\) and T\({}_{\mbox{2}}\) \({}^{\mbox{*}}\)-weighted
{MR} molecular imaging of a mouse model of glioma},
journal = {{BMC} Medical Imaging},
volume = {13},
pages = {20},
year = {2013},
url = {https://doi.org/10.1186/1471-2342-13-20},
doi = {10.1186/1471-2342-13-20},
timestamp = {Wed, 13 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcmi/BlasiakBFRMPWTIASOT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/TomanW13,
author = {David Toman and
Grant E. Weddell},
editor = {Stephen Cranefield and
Abhaya C. Nayak},
title = {Conjunctive Query Answering in \emph{CFD}\({}_{\mbox{nc}}\) : {A}
{PTIME} Description Logic with Functional Constraints and Disjointness},
booktitle = {{AI} 2013: Advances in Artificial Intelligence - 26th Australasian
Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8272},
pages = {350--361},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03680-9\_36},
doi = {10.1007/978-3-319-03680-9\_36},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ausai/TomanW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW13,
author = {David Toman and
Grant E. Weddell},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {CFDnc: {A} {PTIME} Description Logic with Functional Constraints and
Disjointness},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {451--463},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_65.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/WuKTW13,
author = {Jiewen Wu and
Taras Kinash and
David Toman and
Grant E. Weddell},
editor = {Thomas Eiter and
Birte Glimm and
Yevgeny Kazakov and
Markus Kr{\"{o}}tzsch},
title = {Absorption for ABoxes with Local Universal Restrictions},
booktitle = {Informal Proceedings of the 26th International Workshop on Description
Logics, Ulm, Germany, July 23 - 26, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {489--500},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1014/paper\_67.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/WuKTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/LutzSTW13,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
David Toman and
Frank Wolter},
editor = {Harith Alani and
Lalana Kagal and
Achille Fokoue and
Paul Groth and
Chris Biemann and
Josiane Xavier Parreira and
Lora Aroyo and
Natasha F. Noy and
Chris Welty and
Krzysztof Janowicz},
title = {The Combined Approach to {OBDA:} Taming Role Hierarchies Using Filters},
booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference,
Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {8218},
pages = {314--330},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-41335-3\_20},
doi = {10.1007/978-3-642-41335-3\_20},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/LutzSTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/WuHTW12,
author = {Jiewen Wu and
Alexander K. Hudek and
David Toman and
Grant E. Weddell},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Absorption for ABoxes},
booktitle = {Proceedings of the 2012 International Workshop on Description Logics,
DL-2012, Rome, Italy, June 7-10, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-846/paper\_34.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/WuHTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/WuHTW12,
author = {Jiewen Wu and
Alexander K. Hudek and
David Toman and
Grant E. Weddell},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Assertion Absorption in Object Queries over Knowledge Bases},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4517},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/WuHTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/LutzSTW12,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
David Toman and
Frank Wolter},
editor = {Achille Fokoue and
Thorsten Liebig and
Eric L. Goodman and
Jesse Weaver and
Jacopo Urbani and
David Mizell},
title = {The Combined Approach to {OBDA:} Taming Role Hierarchies using Filters},
booktitle = {Proceedings of the Joint Workshop on Scalable and High-Performance
Semantic Web Systems, Boston, USA, November 11, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {943},
pages = {16--31},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-943/SSWS\_HPCSW2012\_paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:05 +0100},
biburl = {https://dblp.org/rec/conf/semweb/LutzSTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2011Toman,
author = {David Toman and
Grant E. Weddell},
title = {Fundamentals of Physical Design and Query Compilation},
series = {Synthesis Lectures on Data Management},
publisher = {Morgan {\&} Claypool Publishers},
year = {2011},
url = {https://doi.org/10.2200/S00363ED1V01Y201105DTM018},
doi = {10.2200/S00363ED1V01Y201105DTM018},
isbn = {978-3-031-00753-8},
timestamp = {Thu, 19 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/synthesis/2011Toman.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/FranconiT11,
author = {Enrico Franconi and
David Toman},
editor = {Toby Walsh},
title = {Fixpoints in Temporal Description Logics},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {875--880},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-152},
doi = {10.5591/978-1-57735-516-8/IJCAI11-152},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/FranconiT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KontchakovLTWZ11,
author = {Roman Kontchakov and
Carsten Lutz and
David Toman and
Frank Wolter and
Michael Zakharyaschev},
editor = {Toby Walsh},
title = {The Combined Approach to Ontology-Based Data Access},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2656--2661},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-442},
doi = {10.5591/978-1-57735-516-8/IJCAI11-442},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/KontchakovLTWZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/PoundTWW11,
author = {Jeffrey Pound and
David Toman and
Grant E. Weddell and
Jiewen Wu},
editor = {Toby Walsh},
title = {An Assertion Retrieval Algebra for Object Queries over Knowledge Bases},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1051--1056},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-180},
doi = {10.5591/978-1-57735-516-8/IJCAI11-180},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/PoundTWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PoundTWW10,
author = {Jeffrey Pound and
David Toman and
Grant E. Weddell and
Jiewen Wu},
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Query Algebra and Query Optimization for Concept Assertion Retrieval},
booktitle = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573/paper\_42.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PoundTWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/KontchakovLTWZ10,
author = {Roman Kontchakov and
Carsten Lutz and
David Toman and
Frank Wolter and
Michael Zakharyaschev},
editor = {Fangzhen Lin and
Ulrike Sattler and
Miroslaw Truszczynski},
title = {The Combined Approach to Query Answering in DL-Lite},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
Canada, May 9-13, 2010},
publisher = {{AAAI} Press},
year = {2010},
url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1282},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/KontchakovLTWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/Rebholz-SchuhmannJMKKMCBTBH10,
author = {Dietrich Rebholz{-}Schuhmann and
Antonio Jos{\'{e}} Jimeno{-}Yepes and
Erik M. van Mulligen and
Ning Kang and
Jan A. Kors and
David Milward and
Peter T. Corbett and
Ekaterina Buyko and
Katrin Tomanek and
Elena Beisswanger and
Udo Hahn},
editor = {Nicoletta Calzolari and
Khalid Choukri and
Bente Maegaard and
Joseph Mariani and
Jan Odijk and
Stelios Piperidis and
Mike Rosner and
Daniel Tapias},
title = {The {CALBC} Silver Standard Corpus for Biomedical Named Entities -
{A} Study in Harmonizing the Contributions from Four Independent Named
Entity Taggers},
booktitle = {Proceedings of the International Conference on Language Resources
and Evaluation, {LREC} 2010, 17-23 May 2010, Valletta, Malta},
publisher = {European Language Resources Association},
year = {2010},
url = {http://www.lrec-conf.org/proceedings/lrec2010/summaries/888.html},
timestamp = {Wed, 08 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/Rebholz-SchuhmannJMKKMCBTBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/BorgidaBFSSTW10,
author = {Alexander Borgida and
Jos de Bruijn and
Enrico Franconi and
Inan{\c{c}} Seylan and
Umberto Straccia and
David Toman and
Grant E. Weddell},
editor = {Sonia Bergamaschi and
Stefano Lodi and
Riccardo Martoglia and
Claudio Sartori},
title = {On Finding Query Rewritings under Expressive Constraints},
booktitle = {Proceedings of the Eighteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2010, Rimini, Italy, June 20-23, 2010},
pages = {426--437},
publisher = {Esculapio Editore},
year = {2010},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/BorgidaBFSSTW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2010,
editor = {Volker Haarslev and
David Toman and
Grant E. Weddell},
title = {Proceedings of the 23rd International Workshop on Description Logics
{(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010},
url = {https://ceur-ws.org/Vol-573},
urn = {urn:nbn:de:0074-573-1},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amw/Toman09,
author = {David Toman},
editor = {Marcelo Arenas and
Leopoldo E. Bertossi},
title = {Data Expiration and Aggregate Queries},
booktitle = {Proceedings of the 3rd Alberto Mendelzon International Workshop on
Foundations of Data Management, Arequipa, Peru, May 12-15, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {450},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-450/paper7.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:19 +0100},
biburl = {https://dblp.org/rec/conf/amw/Toman09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KontchakovLTWZ09,
author = {Roman Kontchakov and
Carsten Lutz and
David Toman and
Frank Wolter and
Michael Zakharyaschev},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Combined {FO} Rewritability for Conjunctive Query Answering in DL-Lite},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_32.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KontchakovLTWZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PoundTWW09,
author = {Jeffrey Pound and
David Toman and
Grant E. Weddell and
Jiewen Wu},
editor = {Bernardo Cuenca Grau and
Ian Horrocks and
Boris Motik and
Ulrike Sattler},
title = {Concept Projection in Algebras for Computing Certain Answer Descriptions},
booktitle = {Proceedings of the 22nd International Workshop on Description Logics
{(DL} 2009), Oxford, UK, July 27-30, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-477/paper\_44.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PoundTWW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsd/FiserT09,
author = {Petr Fiser and
David Toman},
editor = {Antonio N{\'{u}}{\~{n}}ez and
Pedro P. Carballo},
title = {A Fast {SOP} Minimizer for Logic Funcions Described by Many Product
Terms},
booktitle = {12th Euromicro Conference on Digital System Design, Architectures,
Methods and Tools, {DSD} 2009, 27-29 August 2009, Patras, Greece},
pages = {757--764},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DSD.2009.157},
doi = {10.1109/DSD.2009.157},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsd/FiserT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LutzTW09,
author = {Carsten Lutz and
David Toman and
Frank Wolter},
editor = {Craig Boutilier},
title = {Conjunctive Query Answering in the Description Logic {EL} Using a
Relational Database System},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {2070--2075},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/341.pdf},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/LutzTW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TomanW09,
author = {David Toman and
Grant E. Weddell},
editor = {Craig Boutilier},
title = {Applications and Extensions of {PTIME} Description Logics with Functional
Constraints},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {948--954},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/161.pdf},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/TomanW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/ChomickiT09,
author = {Jan Chomicki and
David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Abstract Versus Concrete Temporal Query Languages},
booktitle = {Encyclopedia of Database Systems},
pages = {1--6},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_1559},
doi = {10.1007/978-0-387-39940-9\_1559},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/ChomickiT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/ChomickiT09a,
author = {Jan Chomicki and
David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Temporal Logic in Database Query Languages},
booktitle = {Encyclopedia of Database Systems},
pages = {2987--2991},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_402},
doi = {10.1007/978-0-387-39940-9\_402},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/ChomickiT09a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/ChomickiT09b,
author = {Jan Chomicki and
David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Temporal Relational Calculus},
booktitle = {Encyclopedia of Database Systems},
pages = {3015--3016},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_1531},
doi = {10.1007/978-0-387-39940-9\_1531},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/ChomickiT09b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/RoddickT09,
author = {John F. Roddick and
David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Temporal Vacuuming},
booktitle = {Encyclopedia of Database Systems},
pages = {3023--3027},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_1045},
doi = {10.1007/978-0-387-39940-9\_1045},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/RoddickT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Toman09,
author = {David Toman},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Point-Stamped Temporal Models},
booktitle = {Encyclopedia of Database Systems},
pages = {2119--2123},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_269},
doi = {10.1007/978-0-387-39940-9\_269},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/Toman09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/TomanW08,
author = {David Toman and
Grant E. Weddell},
title = {On Keys and Functional Dependencies as First-Class Citizens in Description
Logics},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {117--132},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9092-z},
doi = {10.1007/S10817-007-9092-Z},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/TomanW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleT08,
author = {Alessandro Artale and
David Toman},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Decidable Reasoning over Timestamped Conceptual Models},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/ArtaleToman.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PoundSTW08,
author = {Jeffrey Pound and
Lubomir Stanchev and
David Toman and
Grant E. Weddell},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {On Ordering and Indexing Metadata for the Semantic Web},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/PoundStanchevTomanWeddell.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PoundSTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW08,
author = {David Toman and
Grant E. Weddell},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Identifying Objects Over Time with Description Logics},
booktitle = {Proceedings of the 21st International Workshop on Description Logics
(DL2008), Dresden, Germany, May 13-16, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-353/TomanWeddell.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/GolabJKST08,
author = {Lukasz Golab and
Theodore Johnson and
Nick Koudas and
Divesh Srivastava and
David Toman},
editor = {Byung Suk Lee},
title = {Optimizing away joins on data streams},
booktitle = {Proceedings of the 2008 International Workshop on Scalable Stream
Processing System, {SSPS} 2008, Nantes, France, March 29, 2008},
series = {{ACM} International Conference Proceeding Series},
pages = {48--57},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1379272.1379282},
doi = {10.1145/1379272.1379282},
timestamp = {Thu, 01 Jun 2023 13:14:33 +0200},
biburl = {https://dblp.org/rec/conf/edbt/GolabJKST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/TomanW08,
author = {David Toman and
Grant E. Weddell},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {Identifying Objects Over Time with Description Logics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {724--732},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-071.php},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/TomanW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/LutzTW08,
author = {Carsten Lutz and
David Toman and
Frank Wolter},
editor = {Catherine Dolbear and
Alan Ruttenberg and
Ulrike Sattler},
title = {Conjunctive Query Answering in {EL} using a Database System},
booktitle = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and
Directions, collocated with the 7th International Semantic Web Conference
(ISWC-2008), Karlsruhe, Germany, October 26-27, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {432},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/LutzTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/ArtaleT08,
author = {Alessandro Artale and
David Toman},
editor = {Salvatore Gaglio and
Ignazio Infantino and
Domenico Sacc{\`{a}}},
title = {Decidable Reasoning over Timestamped Conceptual Models},
booktitle = {Proceedings of the Sixteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2008, 22-25 June 2008, Mondello, PA, Italy},
pages = {168--178},
year = {2008},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sebd/ArtaleT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ChomickiT07,
author = {Jan Chomicki and
David Toman},
title = {Special Issue: {TIME} 2005},
journal = {Inf. Comput.},
volume = {205},
number = {1},
pages = {1},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.08.002},
doi = {10.1016/J.IC.2006.08.002},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ChomickiT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/neuroimage/MajcherTTJFRH07,
author = {Katarzyna Majcher and
Boguslaw Tomanek and
Ursula I. Tuor and
Andrzej Jasinski and
Tadeusz Foniok and
David Rushforth and
Grzegorz Hess},
title = {Functional magnetic resonance imaging within the rat spinal cord following
peripheral nerve injury},
journal = {NeuroImage},
volume = {38},
number = {4},
pages = {669--676},
year = {2007},
url = {https://doi.org/10.1016/j.neuroimage.2007.08.010},
doi = {10.1016/J.NEUROIMAGE.2007.08.010},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/neuroimage/MajcherTTJFRH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/UnelT07,
author = {Gulay {\"{U}}nel and
David Toman},
editor = {Frank Pfenning},
title = {An Incremental Technique for Automata-Based Decision Procedures},
booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated
Deduction, Bremen, Germany, July 17-20, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {100--115},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73595-3\_8},
doi = {10.1007/978-3-540-73595-3\_8},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/UnelT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KhizderTW07,
author = {Vitaliy L. Khizder and
David Toman and
Grant E. Weddell},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Adding ABoxes to a Description Logic with Uniqueness Constraints via
Path Agreements},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250/paper\_69.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KhizderTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/PoundSTW07,
author = {Jeffrey Pound and
Lubomir Stanchev and
David Toman and
Grant E. Weddell},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {On Ordering Descriptions in a Description Logic},
booktitle = {Proceedings of the 2007 International Workshop on Description Logics
(DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June,
2007},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-250/paper\_42.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/PoundSTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/TomanW07,
author = {David Toman and
Grant E. Weddell},
editor = {Christine Parent and
Klaus{-}Dieter Schewe and
Veda C. Storey and
Bernhard Thalheim},
title = {On Order Dependencies for the Semantic Web},
booktitle = {Conceptual Modeling - {ER} 2007, 26th International Conference on
Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4801},
pages = {293--306},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75563-0\_21},
doi = {10.1007/978-3-540-75563-0\_21},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/er/TomanW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/UnelT07,
author = {Gulay {\"{U}}nel and
David Toman},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Logic Programming Approach to Automata-Based Decision Procedures},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {165--179},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_12},
doi = {10.1007/978-3-540-74610-2\_12},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/UnelT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ArtaleLT07,
author = {Alessandro Artale and
Carsten Lutz and
David Toman},
editor = {Manuela M. Veloso},
title = {A Description Logic of Change},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {218--223},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/033.pdf},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/ArtaleLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Toman07,
author = {David Toman},
title = {On Construction of Holistic Synopses under the Duplicate Semantics
of Streaming Queries},
booktitle = {14th International Symposium on Temporal Representation and Reasoning
{(TIME} 2007), 28-30 June 2007, Alicante, Spain},
pages = {150--162},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/TIME.2007.55},
doi = {10.1109/TIME.2007.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Toman07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/TomanW06,
author = {David Toman and
Grant E. Weddell},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {On Keys and Functional Dependencies as First-Class Citizens in Description
Logics},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {647--661},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_52},
doi = {10.1007/11814771\_52},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cade/TomanW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/ArtaleLT06,
author = {Alessandro Artale and
Carsten Lutz and
David Toman},
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {A Description Logic of Change},
booktitle = {Proceedings of the 2006 International Workshop on Description Logics
(DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-189/submission\_35.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/ArtaleLT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stdbm/Toman06,
author = {David Toman},
editor = {Christophe Claramunt and
Ki{-}Joune Li and
Simonas Saltenis},
title = {On Construction of Holistic Synopses under the Duplicate Semantics
of Streaming Queries},
booktitle = {Proceedings of the Third {STDBM} Workshop on Spatio-Temporal Database
Management, {STDBM} 2006, Seoul, Republic of Korea, September 11,
2006},
series = {{CEUR} Workshop Proceedings},
volume = {174},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-174/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/stdbm/Toman06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/2006,
editor = {Bijan Parsia and
Ulrike Sattler and
David Toman},
title = {Proceedings of the 2006 International Workshop on Description Logics
(DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006},
url = {https://ceur-ws.org/Vol-189},
urn = {urn:nbn:de:0074-189-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/TomanW05,
author = {David Toman and
Grant E. Weddell},
title = {On reasoning about structural equality in {XML:} a description logic
approach},
journal = {Theor. Comput. Sci.},
volume = {336},
number = {1},
pages = {181--203},
year = {2005},
url = {https://doi.org/10.1016/j.tcs.2004.10.036},
doi = {10.1016/J.TCS.2004.10.036},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/TomanW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW05,
author = {David Toman and
Grant E. Weddell},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {On Path-functional Dependencies as First-class Citizens in Description
Logics},
booktitle = {Proceedings of the 2005 International Workshop on Description Logics
(DL2005), Edinburgh, Scotland, UK, July 26-28, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-147/24-Toman.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TomanW05,
author = {David Toman and
Grant E. Weddell},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {On the Interaction between Inverse Features and Path-functional Dependencies
in Description Logics},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {603--608},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/1421.pdf},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/TomanW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/Amer-YahiaKMST05,
author = {Sihem Amer{-}Yahia and
Nick Koudas and
Am{\'{e}}lie Marian and
Divesh Srivastava and
David Toman},
editor = {Klemens B{\"{o}}hm and
Christian S. Jensen and
Laura M. Haas and
Martin L. Kersten and
Per{-}{\AA}ke Larson and
Beng Chin Ooi},
title = {Structure and Content Scoring for {XML}},
booktitle = {Proceedings of the 31st International Conference on Very Large Data
Bases, Trondheim, Norway, August 30 - September 2, 2005},
pages = {361--372},
publisher = {{ACM}},
year = {2005},
url = {http://www.vldb.org/archives/website/2005/program/paper/wed/p361-amer-yahia.pdf},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vldb/Amer-YahiaKMST05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/ChomickiT05,
author = {Jan Chomicki and
David Toman},
editor = {Michael Fisher and
Dov M. Gabbay and
Llu{\'{\i}}s Vila},
title = {Temporal Databases},
booktitle = {Handbook of Temporal Reasoning in Artificial Intelligence},
series = {Foundations of Artificial Intelligence},
volume = {1},
pages = {429--467},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/S1574-6526(05)80016-1},
doi = {10.1016/S1574-6526(05)80016-1},
timestamp = {Mon, 06 Nov 2023 17:08:49 +0100},
biburl = {https://dblp.org/rec/reference/fai/ChomickiT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW04,
author = {David Toman and
Grant E. Weddell},
editor = {Volker Haarslev and
Ralf M{\"{o}}ller},
title = {Attribute Inversion in Description Logic with Path Functional Dependencies},
booktitle = {Proceedings of the 2004 International Workshop on Description Logics
(DL2004), Whistler, British Columbia, Canada, June 6-8, 2004},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004},
url = {https://ceur-ws.org/Vol-104/23Toman-final.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dke/BowmanT03,
author = {Ivan T. Bowman and
David Toman},
title = {Optimizing temporal queries: efficient handling of duplicates},
journal = {Data Knowl. Eng.},
volume = {44},
number = {2},
pages = {143--164},
year = {2003},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dke/BowmanT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ChomickiGKT03,
author = {Jan Chomicki and
Dina Q. Goldin and
Gabriel M. Kuper and
David Toman},
title = {Variable Independence in Constraint Databases},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {15},
number = {6},
pages = {1422--1436},
year = {2003},
url = {https://doi.org/10.1109/TKDE.2003.1245282},
doi = {10.1109/TKDE.2003.1245282},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tkde/ChomickiGKT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Toman03,
author = {David Toman},
editor = {Jan Chomicki and
Ron van der Meyden and
Gunter Saake},
title = {Logical Data Expiration},
booktitle = {Logics for Emerging Applications of Databases [outcome of a Dagstuhl
seminar]},
pages = {203--238},
publisher = {Springer},
year = {2003},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/Toman03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/DeHaanTW03,
author = {David DeHaan and
David Toman and
Grant E. Weddell},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Rewriting Aggregate Queries using Description Logic},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/toman.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/DeHaanTW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FranconiT03,
author = {Enrico Franconi and
David Toman},
editor = {Diego Calvanese and
Giuseppe De Giacomo and
Enrico Franconi},
title = {Fixpoint Extensions of Temporal Description Logics},
booktitle = {Proceedings of the 2003 International Workshop on Description Logics
(DL2003), Rome, Italy September 5-7, 2003},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003},
url = {https://ceur-ws.org/Vol-81/franconi.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/FranconiT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/TomanW03,
author = {David Toman and
Grant E. Weddell},
editor = {Diego Calvanese and
Maurizio Lenzerini and
Rajeev Motwani},
title = {On Reasoning about Structural Equality in {XML:} {A} Description Logic
Approach},
booktitle = {Database Theory - {ICDT} 2003, 9th International Conference, Siena,
Italy, January 8-10, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2572},
pages = {96--110},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36285-1\_7},
doi = {10.1007/3-540-36285-1\_7},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/TomanW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/DeHaanTCO03,
author = {David DeHaan and
David Toman and
Mariano P. Consens and
M. Tamer {\"{O}}zsu},
editor = {Alon Y. Halevy and
Zachary G. Ives and
AnHai Doan},
title = {A Comprehensive XQuery to {SQL} Translation using Dynamic Interval
Encoding},
booktitle = {Proceedings of the 2003 {ACM} {SIGMOD} International Conference on
Management of Data, San Diego, California, USA, June 9-12, 2003},
pages = {623--634},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/872757.872832},
doi = {10.1145/872757.872832},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/DeHaanTCO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssd/Toman03,
author = {David Toman},
editor = {Thanasis Hadzilacos and
Yannis Manolopoulos and
John F. Roddick and
Yannis Theodoridis},
title = {Logical Data Expiration for Fixpoint Extensions of Temporal Logics},
booktitle = {Advances in Spatial and Temporal Databases, 8th International Symposium,
{SSTD} 2003, Santorini Island, Greece, July 24-27, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2750},
pages = {380--393},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45072-6\_22},
doi = {10.1007/978-3-540-45072-6\_22},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssd/Toman03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Toman03,
author = {David Toman},
title = {On Incompleteness of Multi-dimensional First-order Temporal Logics},
booktitle = {10th International Symposium on Temporal Representation and Reasoning
/ 4th International Conference on Temporal Logic {(TIME-ICTL} 2003),
8-10 July 2003, Cairns, Queensland, Australia},
pages = {99--106},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/TIME.2003.1214885},
doi = {10.1109/TIME.2003.1214885},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Toman03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/LiuTW02,
author = {Huizhu Liu and
David Toman and
Grant E. Weddell},
editor = {Ian Horrocks and
Sergio Tessaris},
title = {Fine Grained Information Integration with Description Logics},
booktitle = {Proceedings of the 2002 International Workshop on Description Logics
(DL2002), Toulouse, France, April 19-21, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {53},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-53/toman.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/LiuTW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Toman02,
author = {David Toman},
title = {Logical Data Expiration},
booktitle = {9th International Symposium on Temporal Representation and Reasoning,
TIME-2002, Manchester, UK, July 7-9, 2002},
pages = {66--67},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/TIME.2002.1027477},
doi = {10.1109/TIME.2002.1027477},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Toman02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/ChomickiTB01,
author = {Jan Chomicki and
David Toman and
Michael H. B{\"{o}}hlen},
title = {Querying {ATSQL} databases with temporal logic},
journal = {{ACM} Trans. Database Syst.},
volume = {26},
number = {2},
pages = {145--178},
year = {2001},
url = {https://doi.org/10.1145/383891.383892},
doi = {10.1145/383891.383892},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/ChomickiTB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbtel/TomanW01,
author = {David Toman and
Grant E. Weddell},
editor = {Willem Jonker},
title = {Query Processing in Embedded Control Programs},
booktitle = {Databases in Telecommunications II, {VLDB} 2001 International Workshop,
DBTel 2001 Rome, Italy, September 10, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2209},
pages = {68--87},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45432-2\_6},
doi = {10.1007/3-540-45432-2\_6},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dbtel/TomanW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/TomanW01,
author = {David Toman and
Grant E. Weddell},
editor = {Carole A. Goble and
Deborah L. McGuinness and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {On Attributes, Roles, and Dependencies in Description Logics and the
Ackermann Case of the Decision Problem},
booktitle = {Working Notes of the 2001 International Description Logics Workshop
(DL-2001), Stanford, CA, USA, August 1-3, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {49},
publisher = {CEUR-WS.org},
year = {2001},
url = {https://ceur-ws.org/Vol-49/TomanWeddell-76start.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/TomanW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdt/KhizderTW01,
author = {Vitaliy L. Khizder and
David Toman and
Grant E. Weddell},
editor = {Jan Van den Bussche and
Victor Vianu},
title = {On Decidability and Complexity of Description Logics with Uniqueness
Constraints},
booktitle = {Database Theory - {ICDT} 2001, 8th International Conference, London,
UK, January 4-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1973},
pages = {54--67},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44503-X\_4},
doi = {10.1007/3-540-44503-X\_4},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdt/KhizderTW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/BowmanT01,
author = {Ivan T. Bowman and
David Toman},
title = {Optimizing Temporal Queries: Efficient Handling of Duplicates},
booktitle = {Eigth International Symposium on Temporal Representation and Reasoning,
TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},
pages = {93--100},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TIME.2001.930704},
doi = {10.1109/TIME.2001.930704},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/BowmanT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/Toman01,
author = {David Toman},
title = {Expiration of Historical Databases},
booktitle = {Eigth International Symposium on Temporal Representation and Reasoning,
TIME-01, Civdale del Friuli, Italy, June 14-16, 2001},
pages = {128--135},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/TIME.2001.930708},
doi = {10.1109/TIME.2001.930708},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/Toman01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/KhizderTW00,
author = {Vitaliy L. Khizder and
David Toman and
Grant E. Weddell},
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 = {Reasoning about Duplicate Elimination with Description Logic},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1017--1032},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_68},
doi = {10.1007/3-540-44957-4\_68},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cl/KhizderTW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/KhizderTW00,
author = {Vitaliy L. Khizder and
David Toman and
Grant E. Weddell},
editor = {Franz Baader and
Ulrike Sattler},
title = {On Decidability and Complexity of Description Logics with Uniqueness
Constraints},
booktitle = {Proceedings of the 2000 International Workshop on Description Logics
(DL2000), Aachen, Germany, August 17-19, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {33},
pages = {193--202},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-33/Khizder193-202.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/KhizderTW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/cdb/Toman00,
author = {David Toman},
editor = {Gabriel M. Kuper and
Leonid Libkin and
Jan Paredaens},
title = {{SQL/TP:} {A} Temporal Extension of {SQL}},
booktitle = {Constraint Databases},
pages = {391--399},
publisher = {Springer},
year = {2000},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdb/Toman00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/TomanC98,
author = {David Toman and
Jan Chomicki},
title = {Datalog with Integer Periodicity Constraints},
journal = {J. Log. Program.},
volume = {35},
number = {3},
pages = {263--290},
year = {1998},
url = {https://doi.org/10.1016/S0743-1066(97)10008-5},
doi = {10.1016/S0743-1066(97)10008-5},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/TomanC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ChomickiT98,
author = {Jan Chomicki and
David Toman},
editor = {Jan Chomicki and
Gunter Saake},
title = {Temporal Logic in Information Systems},
booktitle = {Logics for Databases and Information Systems (the book grow out of
the Dagstuhl Seminar 9529: Role of Logics in Information Systems,
1995)},
pages = {31--70},
publisher = {Kluwer},
year = {1998},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/ChomickiT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/Toman97,
author = {David Toman},
title = {Memoing Evaluation for Constraint Extensions of Datalog},
journal = {Constraints An Int. J.},
volume = {2},
number = {3/4},
pages = {337--359},
year = {1997},
url = {https://doi.org/10.1023/A:1009799613661},
doi = {10.1023/A:1009799613661},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Toman97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdb/Toman97,
author = {David Toman},
editor = {Volker Gaede and
Alexander Brodsky and
Oliver G{\"{u}}nther and
Divesh Srivastava and
Victor Vianu and
Mark Wallace},
title = {Computing the Well-Founded Semantics for Constraint Extensions of
Datalog},
booktitle = {Constraint Databases and Their Applications, Second International
Workshop on Constraint Database Systems, {CDB} '97, Delphi, Greece,
January 11-12, 1997, {CP} '96 Workshop on Constraints and Databases,
Cambridge, MA, USA, August 19, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1191},
pages = {64--79},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62501-1\_25},
doi = {10.1007/3-540-62501-1\_25},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdb/Toman97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdb/Toman97a,
author = {David Toman},
editor = {Volker Gaede and
Alexander Brodsky and
Oliver G{\"{u}}nther and
Divesh Srivastava and
Victor Vianu and
Mark Wallace},
title = {Constraint Databases and Program Analysis Using Abstract Interpretation},
booktitle = {Constraint Databases and Their Applications, Second International
Workshop on Constraint Database Systems, {CDB} '97, Delphi, Greece,
January 11-12, 1997, {CP} '96 Workshop on Constraints and Databases,
Cambridge, MA, USA, August 19, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1191},
pages = {246--262},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62501-1\_36},
doi = {10.1007/3-540-62501-1\_36},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cdb/Toman97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Toman97,
author = {David Toman},
editor = {Opher Etzion and
Sushil Jajodia and
Suryanarayana M. Sripada},
title = {Point-Based Temporal Extensions of {SQL} and Their Efficient Implementation},
booktitle = {Temporal Databases: Research and Practice. (the book grow out of a
Dagstuhl Seminar, June 23-27, 1997)},
series = {Lecture Notes in Computer Science},
volume = {1399},
pages = {211--237},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0053704},
doi = {10.1007/BFB0053704},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/Toman97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dood/Toman97,
author = {David Toman},
editor = {Fran{\c{c}}ois Bry and
Raghu Ramakrishnan and
Kotagiri Ramamohanarao},
title = {Point-Based Temporal Extension of Temporal {SQL}},
booktitle = {Deductive and Object-Oriented Databases, 5th International Conference,
DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1341},
pages = {103--121},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63792-3\_11},
doi = {10.1007/3-540-63792-3\_11},
timestamp = {Wed, 08 May 2024 08:22:09 +0200},
biburl = {https://dblp.org/rec/conf/dood/Toman97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/BohlenCST96,
author = {Michael H. B{\"{o}}hlen and
Jan Chomicki and
Richard T. Snodgrass and
David Toman},
editor = {Peter M. G. Apers and
Mokrane Bouzeghoub and
Georges Gardarin},
title = {Querying {TSQL2} Databases with Temporal Logic},
booktitle = {Advances in Database Technology - EDBT'96, 5th International Conference
on Extending Database Technology, Avignon, France, March 25-29, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1057},
pages = {325--341},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014161},
doi = {10.1007/BFB0014161},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/BohlenCST96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/TomanN96,
author = {David Toman and
Damian Niwinski},
editor = {Peter M. G. Apers and
Mokrane Bouzeghoub and
Georges Gardarin},
title = {First-Order Queries over Temporal Databases Inexpressible in Temporal
Logic},
booktitle = {Advances in Database Technology - EDBT'96, 5th International Conference
on Extending Database Technology, Avignon, France, March 25-29, 1996,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1057},
pages = {307--324},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0014160},
doi = {10.1007/BFB0014160},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edbt/TomanN96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Toman96,
author = {David Toman},
editor = {Richard Hull},
title = {Point vs. Interval-based Query Languages for Temporal Databases},
booktitle = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium
on Principles of Database Systems, June 3-5, 1996, Montreal, Canada},
pages = {58--67},
publisher = {{ACM} Press},
year = {1996},
url = {https://doi.org/10.1145/237661.237676},
doi = {10.1145/237661.237676},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Toman96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/ChomickiT95,
author = {Jan Chomicki and
David Toman},
title = {Implementing Temporal Integrity Constraints Using an Active {DBMS}},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {7},
number = {4},
pages = {566--582},
year = {1995},
url = {https://doi.org/10.1109/69.404030},
doi = {10.1109/69.404030},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tkde/ChomickiT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Toman95,
author = {David Toman},
editor = {John W. Lloyd},
title = {Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {98--112},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299950},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/Toman95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ride/TomanC94,
author = {David Toman and
Jan Chomicki},
editor = {Jennifer Widom and
Sharma Chakravarthy},
title = {Implementing Temporal Integrity Constraints Using an Active {DBMS}},
booktitle = {Fourth International Workshop on Research Issues in Data Engineering:
Active Database Systems, Houston, Texas, USA, February 14-15, 1994},
pages = {87--95},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/RIDE.1994.282849},
doi = {10.1109/RIDE.1994.282849},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ride/TomanC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/TomanCR94,
author = {David Toman and
Jan Chomicki and
David S. Rogers},
editor = {Maurice Bruynooghe},
title = {Datalog with Integer Periodicity Constraints},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {189--203},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/TomanCR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsc/NesbeittEOTBS93,
author = {Pete Nesbeitt and
Richard J. Enbody and
Gregor Overney and
David Tom{\'{a}}nek and
Aurel Bulgac and
Charles R. Severance},
editor = {Richard F. Sincovec and
David E. Keyes and
Michael R. Leuze and
Linda R. Petzold and
Daniel A. Reed},
title = {A Topology- and Problem-Independent Scalable Parallel Approach to
Molecular Dynamics Simulation},
booktitle = {Proceedings of the Sixth {SIAM} Conference on Parallel Processing
for Scientific Computing, {PPSC} 1993, Norfolk, Virginia, USA, March
22-24, 1993},
pages = {170--173},
publisher = {{SIAM}},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:21:45 +0100},
biburl = {https://dblp.org/rec/conf/ppsc/NesbeittEOTBS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppsc/SeveranceETB93,
author = {Charles R. Severance and
Richard J. Enbody and
David Tom{\'{a}}nek and
Aurel Bulgac},
editor = {Richard F. Sincovec and
David E. Keyes and
Michael R. Leuze and
Linda R. Petzold and
Daniel A. Reed},
title = {Real-Values Array Indices - An Initial Look},
booktitle = {Proceedings of the Sixth {SIAM} Conference on Parallel Processing
for Scientific Computing, {PPSC} 1993, Norfolk, Virginia, USA, March
22-24, 1993},
pages = {979--982},
publisher = {{SIAM}},
year = {1993},
timestamp = {Mon, 20 Mar 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppsc/SeveranceETB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MatyskaJT91,
author = {Ludek Matyska and
Adriana Jergov{\'{a}} and
David Toman},
editor = {Koichi Furukawa},
title = {Register Allocation in {WAM}},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {142--156},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MatyskaJT91.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-27 11:30 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:
