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},
title = {Path Description Dependencies in Feature-Based DLs},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023}
}
@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}
}
@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 = {{AAAI}},
pages = {12766--12773},
publisher = {{AAAI} Press},
year = {2022}
}
@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 = {{AAAI}},
pages = {5897--5905},
publisher = {{AAAI} Press},
year = {2022}
}
@inproceedings{DBLP:conf/ausai/BorgidaFTW22,
author = {Alexander Borgida and
Enrico Franconi and
David Toman and
Grant E. Weddell},
title = {Understanding Document Data Sources Using Ontologies with Referring
Expressions},
booktitle = {{AI}},
series = {Lecture Notes in Computer Science},
volume = {13728},
pages = {367--380},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/dlog/BorgidaFTW22,
author = {Alexander Borgida and
Enrico Franconi and
David Toman and
Grant E. Weddell},
title = {Accessing Document Data Sources using Referring Expression Types},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {3263},
publisher = {CEUR-WS.org},
year = {2022}
}
@inproceedings{DBLP:conf/ruleml/Feng0W22,
author = {Eva Feng and
David Toman and
Grant E. Weddell},
title = {Magic Sets in Interpolation-Based Rule Driven Query Optimization},
booktitle = {RuleML+RR},
series = {Lecture Notes in Computer Science},
volume = {13752},
pages = {198--207},
publisher = {Springer},
year = {2022}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/dlog/TomanW21,
author = {David Toman and
Grant E. Weddell},
title = {{FO} Rewritability for {OMQ} using Beth Definability and Interpolation},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {2954},
publisher = {CEUR-WS.org},
year = {2021}
}
@inproceedings{DBLP:conf/kr/TomanW21,
author = {David Toman and
Grant E. Wedell},
title = {Projective Beth Definability and Craig Interpolation for Relational
Query Optimization (Material to Accompany Invited Talk)},
booktitle = {SOQE@KR},
series = {{CEUR} Workshop Proceedings},
volume = {3009},
pages = {1--13},
publisher = {CEUR-WS.org},
year = {2021}
}
@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}
}
@inproceedings{DBLP:conf/dlog/TomanW20,
author = {David Toman and
Grant E. Weddell},
title = {First Order Rewritability for Ontology Mediated Querying in Horn-DLFD},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {2663},
publisher = {CEUR-WS.org},
year = {2020}
}
@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}
}
@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 = {{AAAI}},
pages = {2995--3002},
publisher = {{AAAI} Press},
year = {2019}
}
@inproceedings{DBLP:conf/ausai/TomanW19,
author = {David Toman and
Grant E. Weddell},
title = {Finding {ALL} Answers to {OBDA} Queries Using Referring Expressions},
booktitle = {Australasian Conference on Artificial Intelligence},
series = {Lecture Notes in Computer Science},
volume = {11919},
pages = {117--129},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/birthday/McIntyreTW19,
author = {Stephanie McIntyre and
David Toman and
Grant E. Weddell},
title = {FunDL - {A} Family of Feature-Based Description Logics, with Applications
in Querying Structured Data Sources},
booktitle = {Description Logic, Theory Combination, and All That},
series = {Lecture Notes in Computer Science},
volume = {11560},
pages = {404--430},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/dlog/BorgidaTW19,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
title = {On Special Description Logics for Processes and Plans},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019}
}
@inproceedings{DBLP:conf/dlog/TomanW19,
author = {David Toman and
Grant E. Weddell},
title = {Exhaustive Query Answering via Referring Expressions},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {2373},
publisher = {CEUR-WS.org},
year = {2019}
}
@inproceedings{DBLP:conf/pricai/TomanW19,
author = {David Toman and
Grant E. Weddell},
title = {Identity Resolution in Ontology Based Data Access to Structured Data
Sources},
booktitle = {{PRICAI} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {11670},
pages = {473--485},
publisher = {Springer},
year = {2019}
}
@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}
}
@inproceedings{DBLP:conf/dlog/TomanW18,
author = {David Toman and
Grant E. Weddell},
title = {Identity Resolution in Conjunctive Querying over DL-Based Knowledge
Bases},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {2211},
publisher = {CEUR-WS.org},
year = {2018}
}
@inproceedings{DBLP:conf/ekaw/MaKOTW18,
author = {Weicong Ma and
C. Maria Keet and
Wayne Oldford and
David Toman and
Grant E. Weddell},
title = {The Utility of the Abstract Relational Model and Attribute Paths in
{SQL}},
booktitle = {{EKAW}},
series = {Lecture Notes in Computer Science},
volume = {11313},
pages = {195--211},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/kr/McIntyreBTW18,
author = {Stephanie McIntyre and
Alexander Borgida and
David Toman and
Grant E. Weddell},
title = {On Limited Conjunctions in Polynomial Feature Logics, with Applications
in {OBDA}},
booktitle = {{KR}},
pages = {655--656},
publisher = {{AAAI} Press},
year = {2018}
}
@incollection{DBLP:reference/db/ChomickiT18,
author = {Jan Chomicki and
David Toman},
title = {Abstract Versus Concrete Temporal Query Languages},
booktitle = {Encyclopedia of Database Systems (2nd ed.)},
publisher = {Springer},
year = {2018}
}
@incollection{DBLP:reference/db/ChomickiT18a,
author = {Jan Chomicki and
David Toman},
title = {Temporal Logic in Database Query Languages},
booktitle = {Encyclopedia of Database Systems (2nd ed.)},
publisher = {Springer},
year = {2018}
}
@incollection{DBLP:reference/db/ChomickiT18b,
author = {Jan Chomicki and
David Toman},
title = {Temporal Relational Calculus},
booktitle = {Encyclopedia of Database Systems (2nd ed.)},
publisher = {Springer},
year = {2018}
}
@incollection{DBLP:reference/db/RoddickT18,
author = {John F. Roddick and
David Toman},
title = {Temporal Vacuuming},
booktitle = {Encyclopedia of Database Systems (2nd ed.)},
publisher = {Springer},
year = {2018}
}
@incollection{DBLP:reference/db/Toman18,
author = {David Toman},
title = {Point-Stamped Temporal Models},
booktitle = {Encyclopedia of Database Systems (2nd ed.)},
publisher = {Springer},
year = {2018}
}
@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}
}
@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},
title = {EuroVoc-Based Summarization of European Case Law},
booktitle = {{AICOL}},
series = {Lecture Notes in Computer Science},
volume = {10791},
pages = {205--219},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/dlog/TomanW17,
author = {David Toman and
Grant E. Weddell},
title = {On Partial Features in the {DLF} Dialects of Description Logic with
Inverse Features},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1879},
publisher = {CEUR-WS.org},
year = {2017}
}
@inproceedings{DBLP:conf/ijcai/BorgidaTW17,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
title = {Concerning Referring Expressions in Query Answers},
booktitle = {{IJCAI}},
pages = {4791--4795},
publisher = {ijcai.org},
year = {2017}
}
@inproceedings{DBLP:conf/lpar/TomanW17,
author = {David Toman and
Grant E. Weddell},
title = {An Interpolation-based Compiler and Optimizer for Relational Queries
(System design Report)},
booktitle = {{LPAR} (Short Presentations)},
series = {Kalpa Publications in Computing},
volume = {1},
pages = {1--10},
publisher = {EasyChair},
year = {2017}
}
@inproceedings{DBLP:conf/ausai/TomanW16,
author = {David Toman and
Grant E. Weddell},
title = {Ontology Based Data Access with Referring Expressions for Logics with
the Tree Model Property - (Extended Abstract)},
booktitle = {Australasian Conference on Artificial Intelligence},
series = {Lecture Notes in Computer Science},
volume = {9992},
pages = {353--361},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/dlog/JacquesTW16,
author = {Jason St. Jacques and
David Toman and
Grant E. Weddell},
title = {Object-Relational Queries over CFDI{\_}nc Knowledge Bases: {OBDA}
for the SQL-Literate (extended abstract)},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1577},
publisher = {CEUR-WS.org},
year = {2016}
}
@inproceedings{DBLP:conf/er/BorgidaTW16,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
title = {On Referring Expressions in Information Systems Derived from Conceptual
Modelling},
booktitle = {{ER}},
series = {Lecture Notes in Computer Science},
volume = {9974},
pages = {183--197},
year = {2016}
}
@inproceedings{DBLP:conf/ijcai/JacquesTW16,
author = {Jason St. Jacques and
David Toman and
Grant E. Weddell},
title = {Object-Relational Queries over CFDI\({}_{\mbox{nc}}\) Knowledge Bases:
{OBDA} for the SQL-Literate},
booktitle = {{IJCAI}},
pages = {1258--1264},
publisher = {{IJCAI/AAAI} Press},
year = {2016}
}
@inproceedings{DBLP:conf/kr/BorgidaTW16,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
title = {On Referring Expressions in Query Answering over First Order Knowledge
Bases},
booktitle = {{KR}},
pages = {319--328},
publisher = {{AAAI} Press},
year = {2016}
}
@inproceedings{DBLP:conf/pricai/TomanW16,
author = {David Toman and
Grant E. Weddell},
title = {On Partial Features in the \emph{DLF} Family of Description Logics},
booktitle = {{PRICAI}},
series = {Lecture Notes in Computer Science},
volume = {9810},
pages = {529--542},
publisher = {Springer},
year = {2016}
}
@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}
}
@inproceedings{DBLP:conf/ausai/TomanW15,
author = {David Toman and
Grant E. Weddell},
title = {On the Krom Extension of \emph{CFDI}{\(\forall\)} -{\_}nc},
booktitle = {Australasian Conference on Artificial Intelligence},
series = {Lecture Notes in Computer Science},
volume = {9457},
pages = {559--571},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/ausai/WuKTW15,
author = {Jiewen Wu and
Taras Kinash and
David Toman and
Grant E. Weddell},
title = {Absorption for ABoxes and TBoxes with General Value Restrictions},
booktitle = {Australasian Conference on Artificial Intelligence},
series = {Lecture Notes in Computer Science},
volume = {9457},
pages = {609--622},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/dlog/BorgidaTW15,
author = {Alexander Borgida and
David Toman and
Grant E. Weddell},
title = {Singular Referring Expressions in Conjunctive Query Answers: the case
for a {CFD} {DL} Dialect},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015}
}
@inproceedings{DBLP:conf/dlog/FillottraniKT15,
author = {Pablo R. Fillottrani and
C. Maria Keet and
David Toman},
title = {Polynomial encoding of {ORM} conceptual models in \emph{CFDI}},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015}
}
@inproceedings{DBLP:conf/dlog/TomanW15,
author = {David Toman and
Grant E. Weddell},
title = {On the Utility of \emph{CFDI}},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1350},
publisher = {CEUR-WS.org},
year = {2015}
}
@inproceedings{DBLP:conf/tableaux/HudekTW15,
author = {Alexander K. Hudek and
David Toman and
Grant E. Weddell},
title = {On Enumerating Query Plans Using Analytic Tableau},
booktitle = {{TABLEAUX}},
series = {Lecture Notes in Computer Science},
volume = {9323},
pages = {339--354},
publisher = {Springer},
year = {2015}
}
@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}
}
@inproceedings{DBLP:conf/aaai/RobinsonMT14,
author = {Nathan Robinson and
Sheila A. McIlraith and
David Toman},
title = {Cost-Based Query Optimization via {AI} Planning},
booktitle = {{AAAI}},
pages = {2344--2351},
publisher = {{AAAI} Press},
year = {2014}
}
@inproceedings{DBLP:conf/dlog/TomanW14,
author = {David Toman and
Grant E. Weddell},
title = {Pushing the CFDnc Envelope},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1193},
pages = {340--351},
publisher = {CEUR-WS.org},
year = {2014}
}
@inproceedings{DBLP:conf/pricai/TomanW14,
author = {David Toman and
Grant E. Weddell},
title = {On Adding Inverse Features to the Description Logic \emph{CFD}\({}^{\mbox{{\(\forall\)}}}\)\({}_{\mbox{nc}}\)},
booktitle = {{PRICAI}},
series = {Lecture Notes in Computer Science},
volume = {8862},
pages = {587--599},
publisher = {Springer},
year = {2014}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/ausai/TomanW13,
author = {David Toman and
Grant E. Weddell},
title = {Conjunctive Query Answering in \emph{CFD}\({}_{\mbox{nc}}\) : {A}
{PTIME} Description Logic with Functional Constraints and Disjointness},
booktitle = {Australasian Conference on Artificial Intelligence},
series = {Lecture Notes in Computer Science},
volume = {8272},
pages = {350--361},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/dlog/TomanW13,
author = {David Toman and
Grant E. Weddell},
title = {CFDnc: {A} {PTIME} Description Logic with Functional Constraints and
Disjointness},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {451--463},
publisher = {CEUR-WS.org},
year = {2013}
}
@inproceedings{DBLP:conf/dlog/WuKTW13,
author = {Jiewen Wu and
Taras Kinash and
David Toman and
Grant E. Weddell},
title = {Absorption for ABoxes with Local Universal Restrictions},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {1014},
pages = {489--500},
publisher = {CEUR-WS.org},
year = {2013}
}
@inproceedings{DBLP:conf/semweb/LutzSTW13,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
David Toman and
Frank Wolter},
title = {The Combined Approach to {OBDA:} Taming Role Hierarchies Using Filters},
booktitle = {{ISWC} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {8218},
pages = {314--330},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/dlog/WuHTW12,
author = {Jiewen Wu and
Alexander K. Hudek and
David Toman and
Grant E. Weddell},
title = {Absorption for ABoxes},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {846},
publisher = {CEUR-WS.org},
year = {2012}
}
@inproceedings{DBLP:conf/kr/WuHTW12,
author = {Jiewen Wu and
Alexander K. Hudek and
David Toman and
Grant E. Weddell},
title = {Assertion Absorption in Object Queries over Knowledge Bases},
booktitle = {{KR}},
publisher = {{AAAI} Press},
year = {2012}
}
@inproceedings{DBLP:conf/semweb/LutzSTW12,
author = {Carsten Lutz and
Inan{\c{c}} Seylan and
David Toman and
Frank Wolter},
title = {The Combined Approach to {OBDA:} Taming Role Hierarchies using Filters},
booktitle = {SSWS+HPCSW@ISWC},
series = {{CEUR} Workshop Proceedings},
volume = {943},
pages = {16--31},
publisher = {CEUR-WS.org},
year = {2012}
}
@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}
}
@inproceedings{DBLP:conf/ijcai/FranconiT11,
author = {Enrico Franconi and
David Toman},
title = {Fixpoints in Temporal Description Logics},
booktitle = {{IJCAI}},
pages = {875--880},
publisher = {{IJCAI/AAAI}},
year = {2011}
}
@inproceedings{DBLP:conf/ijcai/KontchakovLTWZ11,
author = {Roman Kontchakov and
Carsten Lutz and
David Toman and
Frank Wolter and
Michael Zakharyaschev},
title = {The Combined Approach to Ontology-Based Data Access},
booktitle = {{IJCAI}},
pages = {2656--2661},
publisher = {{IJCAI/AAAI}},
year = {2011}
}
@inproceedings{DBLP:conf/ijcai/PoundTWW11,
author = {Jeffrey Pound and
David Toman and
Grant E. Weddell and
Jiewen Wu},
title = {An Assertion Retrieval Algebra for Object Queries over Knowledge Bases},
booktitle = {{IJCAI}},
pages = {1051--1056},
publisher = {{IJCAI/AAAI}},
year = {2011}
}
@inproceedings{DBLP:conf/dlog/PoundTWW10,
author = {Jeffrey Pound and
David Toman and
Grant E. Weddell and
Jiewen Wu},
title = {Query Algebra and Query Optimization for Concept Assertion Retrieval},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {573},
publisher = {CEUR-WS.org},
year = {2010}
}
@inproceedings{DBLP:conf/kr/KontchakovLTWZ10,
author = {Roman Kontchakov and
Carsten Lutz and
David Toman and
Frank Wolter and
Michael Zakharyaschev},
title = {The Combined Approach to Query Answering in DL-Lite},
booktitle = {{KR}},
publisher = {{AAAI} Press},
year = {2010}
}
@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},
title = {The {CALBC} Silver Standard Corpus for Biomedical Named Entities -
{A} Study in Harmonizing the Contributions from Four Independent Named
Entity Taggers},
booktitle = {{LREC}},
publisher = {European Language Resources Association},
year = {2010}
}
@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},
title = {On Finding Query Rewritings under Expressive Constraints},
booktitle = {{SEBD}},
pages = {426--437},
publisher = {Esculapio Editore},
year = {2010}
}
@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}
}
@inproceedings{DBLP:conf/amw/Toman09,
author = {David Toman},
title = {Data Expiration and Aggregate Queries},
booktitle = {{AMW}},
series = {{CEUR} Workshop Proceedings},
volume = {450},
publisher = {CEUR-WS.org},
year = {2009}
}
@inproceedings{DBLP:conf/dlog/KontchakovLTWZ09,
author = {Roman Kontchakov and
Carsten Lutz and
David Toman and
Frank Wolter and
Michael Zakharyaschev},
title = {Combined {FO} Rewritability for Conjunctive Query Answering in DL-Lite},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009}
}
@inproceedings{DBLP:conf/dlog/PoundTWW09,
author = {Jeffrey Pound and
David Toman and
Grant E. Weddell and
Jiewen Wu},
title = {Concept Projection in Algebras for Computing Certain Answer Descriptions},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {477},
publisher = {CEUR-WS.org},
year = {2009}
}
@inproceedings{DBLP:conf/dsd/FiserT09,
author = {Petr Fiser and
David Toman},
title = {A Fast {SOP} Minimizer for Logic Funcions Described by Many Product
Terms},
booktitle = {{DSD}},
pages = {757--764},
publisher = {{IEEE} Computer Society},
year = {2009}
}
@inproceedings{DBLP:conf/ijcai/LutzTW09,
author = {Carsten Lutz and
David Toman and
Frank Wolter},
title = {Conjunctive Query Answering in the Description Logic {EL} Using a
Relational Database System},
booktitle = {{IJCAI}},
pages = {2070--2075},
year = {2009}
}
@inproceedings{DBLP:conf/ijcai/TomanW09,
author = {David Toman and
Grant E. Weddell},
title = {Applications and Extensions of {PTIME} Description Logics with Functional
Constraints},
booktitle = {{IJCAI}},
pages = {948--954},
year = {2009}
}
@incollection{DBLP:reference/db/ChomickiT09,
author = {Jan Chomicki and
David Toman},
title = {Abstract Versus Concrete Temporal Query Languages},
booktitle = {Encyclopedia of Database Systems},
pages = {1--6},
publisher = {Springer {US}},
year = {2009}
}
@incollection{DBLP:reference/db/ChomickiT09a,
author = {Jan Chomicki and
David Toman},
title = {Temporal Logic in Database Query Languages},
booktitle = {Encyclopedia of Database Systems},
pages = {2987--2991},
publisher = {Springer {US}},
year = {2009}
}
@incollection{DBLP:reference/db/ChomickiT09b,
author = {Jan Chomicki and
David Toman},
title = {Temporal Relational Calculus},
booktitle = {Encyclopedia of Database Systems},
pages = {3015--3016},
publisher = {Springer {US}},
year = {2009}
}
@incollection{DBLP:reference/db/RoddickT09,
author = {John F. Roddick and
David Toman},
title = {Temporal Vacuuming},
booktitle = {Encyclopedia of Database Systems},
pages = {3023--3027},
publisher = {Springer {US}},
year = {2009}
}
@incollection{DBLP:reference/db/Toman09,
author = {David Toman},
title = {Point-Stamped Temporal Models},
booktitle = {Encyclopedia of Database Systems},
pages = {2119--2123},
publisher = {Springer {US}},
year = {2009}
}
@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}
}
@inproceedings{DBLP:conf/dlog/ArtaleT08,
author = {Alessandro Artale and
David Toman},
title = {Decidable Reasoning over Timestamped Conceptual Models},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008}
}
@inproceedings{DBLP:conf/dlog/PoundSTW08,
author = {Jeffrey Pound and
Lubomir Stanchev and
David Toman and
Grant E. Weddell},
title = {On Ordering and Indexing Metadata for the Semantic Web},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008}
}
@inproceedings{DBLP:conf/dlog/TomanW08,
author = {David Toman and
Grant E. Weddell},
title = {Identifying Objects Over Time with Description Logics},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {353},
publisher = {CEUR-WS.org},
year = {2008}
}
@inproceedings{DBLP:conf/edbt/GolabJKST08,
author = {Lukasz Golab and
Theodore Johnson and
Nick Koudas and
Divesh Srivastava and
David Toman},
title = {Optimizing away joins on data streams},
booktitle = {{SSPS}},
series = {{ACM} International Conference Proceeding Series},
pages = {48--57},
publisher = {{ACM}},
year = {2008}
}
@inproceedings{DBLP:conf/kr/TomanW08,
author = {David Toman and
Grant E. Weddell},
title = {Identifying Objects Over Time with Description Logics},
booktitle = {{KR}},
pages = {724--732},
publisher = {{AAAI} Press},
year = {2008}
}
@inproceedings{DBLP:conf/owled/LutzTW08,
author = {Carsten Lutz and
David Toman and
Frank Wolter},
title = {Conjunctive Query Answering in {EL} using a Database System},
booktitle = {{OWLED}},
series = {{CEUR} Workshop Proceedings},
volume = {432},
publisher = {CEUR-WS.org},
year = {2008}
}
@inproceedings{DBLP:conf/sebd/ArtaleT08,
author = {Alessandro Artale and
David Toman},
title = {Decidable Reasoning over Timestamped Conceptual Models},
booktitle = {{SEBD}},
pages = {168--178},
year = {2008}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/cade/UnelT07,
author = {Gulay {\"{U}}nel and
David Toman},
title = {An Incremental Technique for Automata-Based Decision Procedures},
booktitle = {{CADE}},
series = {Lecture Notes in Computer Science},
volume = {4603},
pages = {100--115},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/dlog/KhizderTW07,
author = {Vitaliy L. Khizder and
David Toman and
Grant E. Weddell},
title = {Adding ABoxes to a Description Logic with Uniqueness Constraints via
Path Agreements},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007}
}
@inproceedings{DBLP:conf/dlog/PoundSTW07,
author = {Jeffrey Pound and
Lubomir Stanchev and
David Toman and
Grant E. Weddell},
title = {On Ordering Descriptions in a Description Logic},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {250},
publisher = {CEUR-WS.org},
year = {2007}
}
@inproceedings{DBLP:conf/er/TomanW07,
author = {David Toman and
Grant E. Weddell},
title = {On Order Dependencies for the Semantic Web},
booktitle = {{ER}},
series = {Lecture Notes in Computer Science},
volume = {4801},
pages = {293--306},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/iclp/UnelT07,
author = {Gulay {\"{U}}nel and
David Toman},
title = {Logic Programming Approach to Automata-Based Decision Procedures},
booktitle = {{ICLP}},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {165--179},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/ijcai/ArtaleLT07,
author = {Alessandro Artale and
Carsten Lutz and
David Toman},
title = {A Description Logic of Change},
booktitle = {{IJCAI}},
pages = {218--223},
year = {2007}
}
@inproceedings{DBLP:conf/time/Toman07,
author = {David Toman},
title = {On Construction of Holistic Synopses under the Duplicate Semantics
of Streaming Queries},
booktitle = {{TIME}},
pages = {150--162},
publisher = {{IEEE} Computer Society},
year = {2007}
}
@inproceedings{DBLP:conf/cade/TomanW06,
author = {David Toman and
Grant E. Weddell},
title = {On Keys and Functional Dependencies as First-Class Citizens in Description
Logics},
booktitle = {{IJCAR}},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {647--661},
publisher = {Springer},
year = {2006}
}
@inproceedings{DBLP:conf/dlog/ArtaleLT06,
author = {Alessandro Artale and
Carsten Lutz and
David Toman},
title = {A Description Logic of Change},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {189},
publisher = {CEUR-WS.org},
year = {2006}
}
@inproceedings{DBLP:conf/stdbm/Toman06,
author = {David Toman},
title = {On Construction of Holistic Synopses under the Duplicate Semantics
of Streaming Queries},
booktitle = {{STDBM}},
series = {{CEUR} Workshop Proceedings},
volume = {174},
publisher = {CEUR-WS.org},
year = {2006}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/dlog/TomanW05,
author = {David Toman and
Grant E. Weddell},
title = {On Path-functional Dependencies as First-class Citizens in Description
Logics},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {147},
publisher = {CEUR-WS.org},
year = {2005}
}
@inproceedings{DBLP:conf/ijcai/TomanW05,
author = {David Toman and
Grant E. Weddell},
title = {On the Interaction between Inverse Features and Path-functional Dependencies
in Description Logics},
booktitle = {{IJCAI}},
pages = {603--608},
publisher = {Professional Book Center},
year = {2005}
}
@inproceedings{DBLP:conf/vldb/Amer-YahiaKMST05,
author = {Sihem Amer{-}Yahia and
Nick Koudas and
Am{\'{e}}lie Marian and
Divesh Srivastava and
David Toman},
title = {Structure and Content Scoring for {XML}},
booktitle = {{VLDB}},
pages = {361--372},
publisher = {{ACM}},
year = {2005}
}
@incollection{DBLP:reference/fai/ChomickiT05,
author = {Jan Chomicki and
David Toman},
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}
}
@inproceedings{DBLP:conf/dlog/TomanW04,
author = {David Toman and
Grant E. Weddell},
title = {Attribute Inversion in Description Logic with Path Functional Dependencies},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {104},
publisher = {CEUR-WS.org},
year = {2004}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/dagstuhl/Toman03,
author = {David Toman},
title = {Logical Data Expiration},
booktitle = {Logics for Emerging Applications of Databases},
pages = {203--238},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/dlog/DeHaanTW03,
author = {David DeHaan and
David Toman and
Grant E. Weddell},
title = {Rewriting Aggregate Queries using Description Logic},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003}
}
@inproceedings{DBLP:conf/dlog/FranconiT03,
author = {Enrico Franconi and
David Toman},
title = {Fixpoint Extensions of Temporal Description Logics},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {81},
publisher = {CEUR-WS.org},
year = {2003}
}
@inproceedings{DBLP:conf/icdt/TomanW03,
author = {David Toman and
Grant E. Weddell},
title = {On Reasoning about Structural Equality in {XML:} {A} Description Logic
Approach},
booktitle = {{ICDT}},
series = {Lecture Notes in Computer Science},
volume = {2572},
pages = {96--110},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/sigmod/DeHaanTCO03,
author = {David DeHaan and
David Toman and
Mariano P. Consens and
M. Tamer {\"{O}}zsu},
title = {A Comprehensive XQuery to {SQL} Translation using Dynamic Interval
Encoding},
booktitle = {{SIGMOD} Conference},
pages = {623--634},
publisher = {{ACM}},
year = {2003}
}
@inproceedings{DBLP:conf/ssd/Toman03,
author = {David Toman},
title = {Logical Data Expiration for Fixpoint Extensions of Temporal Logics},
booktitle = {{SSTD}},
series = {Lecture Notes in Computer Science},
volume = {2750},
pages = {380--393},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/time/Toman03,
author = {David Toman},
title = {On Incompleteness of Multi-dimensional First-order Temporal Logics},
booktitle = {{TIME}},
pages = {99--106},
publisher = {{IEEE} Computer Society},
year = {2003}
}
@inproceedings{DBLP:conf/dlog/LiuTW02,
author = {Huizhu Liu and
David Toman and
Grant E. Weddell},
title = {Fine Grained Information Integration with Description Logics},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {53},
publisher = {CEUR-WS.org},
year = {2002}
}
@inproceedings{DBLP:conf/time/Toman02,
author = {David Toman},
title = {Logical Data Expiration},
booktitle = {{TIME}},
pages = {66--67},
publisher = {{IEEE} Computer Society},
year = {2002}
}
@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}
}
@inproceedings{DBLP:conf/dbtel/TomanW01,
author = {David Toman and
Grant E. Weddell},
title = {Query Processing in Embedded Control Programs},
booktitle = {Databases in Telecommunications},
series = {Lecture Notes in Computer Science},
volume = {2209},
pages = {68--87},
publisher = {Springer},
year = {2001}
}
@inproceedings{DBLP:conf/dlog/TomanW01,
author = {David Toman and
Grant E. Weddell},
title = {On Attributes, Roles, and Dependencies in Description Logics and the
Ackermann Case of the Decision Problem},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {49},
publisher = {CEUR-WS.org},
year = {2001}
}
@inproceedings{DBLP:conf/icdt/KhizderTW01,
author = {Vitaliy L. Khizder and
David Toman and
Grant E. Weddell},
title = {On Decidability and Complexity of Description Logics with Uniqueness
Constraints},
booktitle = {{ICDT}},
series = {Lecture Notes in Computer Science},
volume = {1973},
pages = {54--67},
publisher = {Springer},
year = {2001}
}
@inproceedings{DBLP:conf/time/BowmanT01,
author = {Ivan T. Bowman and
David Toman},
title = {Optimizing Temporal Queries: Efficient Handling of Duplicates},
booktitle = {{TIME}},
pages = {93--100},
publisher = {{IEEE} Computer Society},
year = {2001}
}
@inproceedings{DBLP:conf/time/Toman01,
author = {David Toman},
title = {Expiration of Historical Databases},
booktitle = {{TIME}},
pages = {128--135},
publisher = {{IEEE} Computer Society},
year = {2001}
}
@inproceedings{DBLP:conf/cl/KhizderTW00,
author = {Vitaliy L. Khizder and
David Toman and
Grant E. Weddell},
title = {Reasoning about Duplicate Elimination with Description Logic},
booktitle = {Computational Logic},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1017--1032},
publisher = {Springer},
year = {2000}
}
@inproceedings{DBLP:conf/dlog/KhizderTW00,
author = {Vitaliy L. Khizder and
David Toman and
Grant E. Weddell},
title = {On Decidability and Complexity of Description Logics with Uniqueness
Constraints},
booktitle = {Description Logics},
series = {{CEUR} Workshop Proceedings},
volume = {33},
pages = {193--202},
publisher = {CEUR-WS.org},
year = {2000}
}
@incollection{DBLP:conf/cdb/Toman00,
author = {David Toman},
title = {{SQL/TP:} {A} Temporal Extension of {SQL}},
booktitle = {Constraint Databases},
pages = {391--399},
publisher = {Springer},
year = {2000}
}
@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}
}
@inproceedings{DBLP:conf/dagstuhl/ChomickiT98,
author = {Jan Chomicki and
David Toman},
title = {Temporal Logic in Information Systems},
booktitle = {Logics for Databases and Information Systems},
pages = {31--70},
publisher = {Kluwer},
year = {1998}
}
@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}
}
@inproceedings{DBLP:conf/cdb/Toman97,
author = {David Toman},
title = {Computing the Well-Founded Semantics for Constraint Extensions of
Datalog},
booktitle = {{CDB}},
series = {Lecture Notes in Computer Science},
volume = {1191},
pages = {64--79},
publisher = {Springer},
year = {1997}
}
@inproceedings{DBLP:conf/cdb/Toman97a,
author = {David Toman},
title = {Constraint Databases and Program Analysis Using Abstract Interpretation},
booktitle = {{CDB}},
series = {Lecture Notes in Computer Science},
volume = {1191},
pages = {246--262},
publisher = {Springer},
year = {1997}
}
@inproceedings{DBLP:conf/dagstuhl/Toman97,
author = {David Toman},
title = {Point-Based Temporal Extensions of {SQL} and Their Efficient Implementation},
booktitle = {Temporal Databases, Dagstuhl},
series = {Lecture Notes in Computer Science},
volume = {1399},
pages = {211--237},
publisher = {Springer},
year = {1997}
}
@inproceedings{DBLP:conf/dood/Toman97,
author = {David Toman},
title = {Point-Based Temporal Extension of Temporal {SQL}},
booktitle = {{DOOD}},
series = {Lecture Notes in Computer Science},
volume = {1341},
pages = {103--121},
publisher = {Springer},
year = {1997}
}
@inproceedings{DBLP:conf/edbt/BohlenCST96,
author = {Michael H. B{\"{o}}hlen and
Jan Chomicki and
Richard T. Snodgrass and
David Toman},
title = {Querying {TSQL2} Databases with Temporal Logic},
booktitle = {{EDBT}},
series = {Lecture Notes in Computer Science},
volume = {1057},
pages = {325--341},
publisher = {Springer},
year = {1996}
}
@inproceedings{DBLP:conf/edbt/TomanN96,
author = {David Toman and
Damian Niwinski},
title = {First-Order Queries over Temporal Databases Inexpressible in Temporal
Logic},
booktitle = {{EDBT}},
series = {Lecture Notes in Computer Science},
volume = {1057},
pages = {307--324},
publisher = {Springer},
year = {1996}
}
@inproceedings{DBLP:conf/pods/Toman96,
author = {David Toman},
title = {Point vs. Interval-based Query Languages for Temporal Databases},
booktitle = {{PODS}},
pages = {58--67},
publisher = {{ACM} Press},
year = {1996}
}
@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}
}
@inproceedings{DBLP:conf/slp/Toman95,
author = {David Toman},
title = {Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog},
booktitle = {{ILPS}},
pages = {98--112},
publisher = {{MIT} Press},
year = {1995}
}
@inproceedings{DBLP:conf/ride/TomanC94,
author = {David Toman and
Jan Chomicki},
title = {Implementing Temporal Integrity Constraints Using an Active {DBMS}},
booktitle = {{RIDE-ADS}},
pages = {87--95},
publisher = {{IEEE} Computer Society},
year = {1994}
}
@inproceedings{DBLP:conf/slp/TomanCR94,
author = {David Toman and
Jan Chomicki and
David S. Rogers},
title = {Datalog with Integer Periodicity Constraints},
booktitle = {{ILPS}},
pages = {189--203},
publisher = {{MIT} Press},
year = {1994}
}
@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},
title = {A Topology- and Problem-Independent Scalable Parallel Approach to
Molecular Dynamics Simulation},
booktitle = {{PPSC}},
pages = {170--173},
publisher = {{SIAM}},
year = {1993}
}
@inproceedings{DBLP:conf/ppsc/SeveranceETB93,
author = {Charles R. Severance and
Richard J. Enbody and
David Tom{\'{a}}nek and
Aurel Bulgac},
title = {Real-Values Array Indices - An Initial Look},
booktitle = {{PPSC}},
pages = {979--982},
publisher = {{SIAM}},
year = {1993}
}
@inproceedings{DBLP:conf/iclp/MatyskaJT91,
author = {Ludek Matyska and
Adriana Jergov{\'{a}} and
David Toman},
title = {Register Allocation in {WAM}},
booktitle = {{ICLP}},
pages = {142--156},
publisher = {{MIT} Press},
year = {1991}
}
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-06-29 10:47 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:
