BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
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.
ICLP-1991-MatyskaJT
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.