2519 search results - page 368 / 504 » Reasoning with Textual Cases |
158
Voted
LICS
2005
IEEE
16 years 17 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...
178
click to vote
LICS
2005
IEEE
16 years 17 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...
218
Voted
SCCC
2005
IEEE
16 years 17 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...
213
click to vote
IUI
2005
ACM
16 years 16 days 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...
170
click to vote
AIME
2005
Springer
16 years 16 days 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...