918 search results - page 89 / 184 » Speculative Issue Logic |
146
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
151
click to vote
RSCTC
1993
Springer
15 years 10 months ago
1993
Springer
: While the common kinds of uncertainties in databases (e.g., null values, disjunction, corrupt/missing data, domain mismatch, etc.) have been extensively studied, a relatively une...
163
click to vote
INTENV
2010
15 years 29 days ago
2010
We explore a coherent combination of two jointly implemented logic programming based systems, namely those of Evolution Prospection and Intention Recognition, to address a number o...
151
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
209
click to vote
SIGMOD
2006
ACM
16 years 6 months ago
2006
ACM
Fuzzy logic has been used yet for extending database models to deal with vagueness in the definitions of linguistic concepts as "tall" or "long". However, the ...