David Toman

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
FunDL. A family of feature-based description logics, with applications in querying structured data sources	2020-06-04	Paper
Logic programming approach to automata-based decision procedures Journal of Logical and Algebraic Methods in Programming	2016-11-30	Paper
On enumerating query plans using analytic tableau Lecture Notes in Computer Science	2015-12-11	Paper
Absorption for ABoxes Journal of Automated Reasoning	2015-06-23	Paper
Database Repairing and Consistent Query Answering Synthesis Lectures on Data Management	2011-09-22	Paper
On Keys and Functional Dependencies as First-Class Citizens in Description Logics Automated Reasoning	2009-03-12	Paper
An Incremental Technique for Automata-Based Decision Procedures Automated Deduction – CADE-21	2009-03-06	Paper
Logic Programming Approach to Automata-Based Decision Procedures Logic Programming	2009-03-05	Paper
Querying ATSQL databases with temporal logic ACM Transactions on Database Systems	2008-06-18	Paper
On keys and functional dependencies as first-class citizens in description logics Journal of Automated Reasoning	2008-06-11	Paper
On reasoning about structural equality in XML: a description logic approach Theoretical Computer Science	2005-06-10	Paper
scientific article; zbMATH DE number 2080464 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2043558 (Why is no real title available?)	2004-02-16	Paper
scientific article; zbMATH DE number 1953126 (Why is no real title available?)	2003-07-25	Paper
scientific article; zbMATH DE number 1696851 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1182728 (Why is no real title available?)	2001-03-01	Paper
scientific article; zbMATH DE number 1515869 (Why is no real title available?)	2000-10-10	Paper
Datalog with integer periodicity constraints The Journal of Logic Programming	1998-10-04	Paper
Memoing evaluation for constraint extensions of datalog Constraints	1998-06-02	Paper

Research outcomes over time

This page was built for person: David Toman