BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
1 × Germany
1 × Italy
1 × Norway
1 × Portugal
1 × United Kingdom
2 × Canada
4 × USA
Collaborated with:
G.E.Weddell G.Ünel V.L.Khizder J.Chomicki D.S.Rogers L.Matyska A.Jergová J.Wu A.K.Hudek D.DeHaan M.P.Consens M.T.Özsu R.Kontchakov C.Lutz F.Wolter M.Zakharyaschev S.Amer-Yahia N.Koudas A.Marian D.Srivastava
Talks about:
base (5) queri (4) logic (4) descript (3) constraint (2) procedur (2) automata (2) approach (2) datalog (2) object (2)

Person: David Toman

DBLP DBLP: Toman:David

Contributed to:

KR 20122012
KR 20102010
KR 20082008
CADE 20072007
ICLP 20072007
IJCAR 20062006
VLDB 20052005
SIGMOD 20032003
CL 20002000
PODS 19961996
ILPS 19951995
ILPS 19941994
ICLP 19911991

Wrote 13 papers:

KR-2012-WuHTW #knowledge base #query
Assertion Absorption in Object Queries over Knowledge Bases (JW, AKH, DT, GEW).
KR-2010-KontchakovLTWZ #approach #query
The Combined Approach to Query Answering in DL-Lite (RK, CL, DT, FW, MZ).
KR-2008-TomanW #identification #logic
Identifying Objects Over Time with Description Logics (DT, GEW), pp. 724–732.
CADE-2007-UnelT #incremental
An Incremental Technique for Automata-Based Decision Procedures (, DT), pp. 100–115.
ICLP-2007-UnelT #approach #logic programming
Logic Programming Approach to Automata-Based Decision Procedures (, DT), pp. 165–179.
IJCAR-2006-TomanW #dependence #functional #logic #on the
On Keys and Functional Dependencies as First-Class Citizens in Description Logics (DT, GEW), pp. 647–661.
VLDB-2005-Amer-YahiaKMST #xml
Structure and Content Scoring for XML (SAY, NK, AM, DS, DT), pp. 361–372.
SIGMOD-2003-DeHaanTCO #encoding #sql #using #xquery
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding (DD, DT, MPC, MTÖ), pp. 623–634.
CL-2000-KhizderTW #logic #reasoning
Reasoning about Duplicate Elimination with Description Logic (VLK, DT, GEW), pp. 1017–1032.
PODS-1996-Toman #database #query
Point vs. Interval-based Query Languages for Temporal Databases (DT), pp. 58–67.
ILPS-1995-Toman #bottom-up #constraints #datalog #top-down
Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog (DT), pp. 98–112.
ILPS-1994-TomanCR #constraints #datalog #integer
Datalog with Integer Periodicity Constraints (DT, JC, DSR), pp. 189–203.
Register Allocation in WAM (LM, AJ, DT), pp. 142–156.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.