1223 search results - page 61 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
160
click to vote
ICANN
2009
Springer
16 years 23 days ago
2009
Springer
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
166
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
163
click to vote
CALCO
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. In this paper we describe a language and method for deriving ontologies and ordering databases. The ontological structures arrived at are distributive lattices with attri...
152
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a new method for summarizing images for the purposes of matching and registration. We take the point of view that large, coherent regions in the image provide a concise...
179
click to vote
CINQ
2004
Springer
15 years 10 months ago
2004
Springer
Recently, inductive databases (IDBs) have been proposed to tackle the problem of knowledge discovery from huge databases. With an IDB, the user/analyst performs a set of very diffe...