1223 search results - page 61 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
ICANN
2009
Springer
15 years 6 months 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...
FOSSACS
2005
Springer
15 years 5 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...
CALCO
2009
Springer
15 years 6 months 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...
CVPR
2005
IEEE
16 years 1 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...
106
click to vote
CINQ
2004
Springer
15 years 3 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...