2519 search results - page 368 / 504 » Reasoning with Textual Cases |
143
click to vote
LICS
2005
IEEE
16 years 1 days ago
2005
IEEE
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
170
click to vote
LICS
2005
IEEE
16 years 1 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
201
click to vote
SCCC
2005
IEEE
16 years 1 days ago
2005
IEEE
Databases may not satisfy integrity constraints (ICs) for several reasons. Nevertheless, in most of the cases an important part of the data is still consistent wrt certain desired...
192
click to vote
IUI
2005
ACM
16 years 21 hour ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
158
click to vote
AIME
2005
Springer
16 years 11 hour ago
2005
Springer
Time, events, changes, and processes play a major role in medical conceptual modeling. Representation of time-structures and reasoning about time-oriented medical data are importan...