1814 search results - page 65 / 363 » Extended First-Order Logic |
142
click to vote
SIGMOD
2006
ACM
16 years 29 days 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 ...
110
Voted
ICDIM
2007
IEEE
15 years 2 months ago
2007
IEEE
With the growing popularity of XML there is a need not only to describe the structure of XML data but also its semantics. For the conceptual modelling of XML we can use existing c...
124
Voted
DAGSTUHL
2001
15 years 2 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
117
Voted
DLT
1993
15 years 2 months ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...
105
click to vote
ECAI
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We describe an approach for compiling dynamic preferences into logic programs under the answer set semantics. An ordered logic program is an extended logic program in whi...