Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: David
    Last name: Toman
    DBLP: t/DavidToman
    Rating: (1)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 105  
    Select a publication
    Show Title Venue Rating Date
    Book chapter
    Jan Chomicki, David Toman.
    Temporal Logic in Information Systems.
    Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995) 1998 (1)
    1 comment
    1998
    Journal article
    Gulay Ünel, David Toman.
    Logic programming approach to automata-based decision procedures.
    J. Log. Algebr. Meth. Program. 2017, Volume 86 (0) 2017
    Conference paper
    David Toman, Grant E. Weddell.
    An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report).
    IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017 2017 (0) 2017
    Conference paper
    David Toman, Grant E. Weddell.
    On Partial Features in the DLF Dialects of Description Logic with Inverse Features.
    Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017. 2017 (0) 2017
    Conference paper
    Alexander Borgida, David Toman, Grant E. Weddell.
    Concerning Referring Expressions in Query Answers.
    Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017 2017 (0) 2017
    Conference paper
    Alexander Borgida, David Toman, Grant E. Weddell.
    On Referring Expressions in Query Answering over First Order Knowledge Bases.
    Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016. 2016 (0) 2016
    Conference paper
    Jason St. Jacques, David Toman, Grant E. Weddell.
    Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract).
    Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. 2016 (0) 2016
    Conference paper
    Jason St. Jacques, David Toman, Grant E. Weddell.
    Object-Relational Queries over CFDI
    Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 2016 (0) 2016
    Conference paper
    David Toman, Grant E. Weddell.
    On Partial Features in the
    PRICAI 2016: Trends in Artificial Intelligence - 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Alexander Borgida, David Toman, Grant E. Weddell.
    On Referring Expressions in Information Systems Derived from Conceptual Modelling.
    Conceptual Modeling - 35th International Conference, ER 2016, Gifu, Japan, November 14-17, 2016, Proceedings 2016 (0) 2016
    Conference paper
    David Toman, Grant E. Weddell.
    Ontology Based Data Access with Referring Expressions for Logics with the Tree Model Property - (Extended Abstract).
    AI 2016: Advances in Artificial Intelligence - 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Alexander Borgida, David Toman, Grant E. Weddell.
    Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect.
    Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. 2015 (0) 2015
    Conference paper
    David Toman, Grant E. Weddell.
    On the Utility of
    Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. 2015 (0) 2015
    Conference paper
    Pablo R. Fillottrani, C. Maria Keet, David Toman.
    Polynomial encoding of ORM conceptual models in
    Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. 2015 (0) 2015
    Journal article
    Diego Calvanese, Manolis Koubarakis, David Toman.
    Special issue of the Journal of Web Semantics on ontology-based data access.
    J. Web Sem. 2015, Volume 33 (0) 2015
    Conference paper
    Alexander K. Hudek, David Toman, Grant E. Weddell.
    On Enumerating Query Plans Using Analytic Tableau.
    Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroc?aw, Poland, September 21-24, 2015. Proceedings 2015 (0) 2015
    Conference paper
    David Toman, Grant E. Weddell.
    On the Krom Extension of
    AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings 2015 (0) 2015
    Conference paper
    Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell.
    Absorption for ABoxes and TBoxes with General Value Restrictions.
    AI 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings 2015 (0) 2015
    Conference paper
    David Toman, Grant E. Weddell.
    Pushing the CFDnc Envelope.
    Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. 2014 (0) 2014
    Conference paper
    Nathan Robinson, Sheila A. McIlraith, David Toman.
    Cost-Based Query Optimization via AI Planning.
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. 2014 (0) 2014
    Journal article
    David Toman, Grant E. Weddell.
    Undecidability of Finite Model Reasoning in DLFD.
    CoRR 2014, Volume 0 (0) 2014
    Conference paper
    Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell.
    Absorption for ABoxes.
    J. Autom. Reasoning 2014, Volume 53 (0) 2014
    Conference paper
    David Toman, Grant E. Weddell.
    On Adding Inverse Features to the Description Logic
    PRICAI 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings 2014 (0) 2014
    Conference paper
    David Toman, Grant E. Weddell.
    CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness.
    Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 2013 (0) 2013
    Conference paper
    Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell.
    Absorption for ABoxes with Local Universal Restrictions.
    Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013 2013 (0) 2013
    Show item 1 to 25 of 105  

    Your query returned 105 matches in the database.