Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "David Toman"
@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} }
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.