4617 search results - page 855 / 924 » Automation of Diagrammatic Reasoning |
188
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
186
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
149
click to vote
CSL
2003
Springer
15 years 11 months ago
2003
Springer
Constructive dimension and constructive strong dimension are effectivizations of the Hausdorff and packing dimensions, respectively. Each infinite binary sequence A is assigned...
153
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
To make qualified decisions when extrapolating results from a survey sample with imprecise tests requires careful handling of uncertainty. Both the imprecise test and uncertainty ...
157
click to vote
ECSQARU
2003
Springer
15 years 11 months ago
2003
Springer
In previous papers, we have presented a logic-based framework for merging structured news reports [14, 16, 15]. Structured news reports are XML documents, where the text entries ar...