1321 search results - page 109 / 265 » Subtyping in Logical Form |
161
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
Abstract-- the paper presents a possibility formulation of oneparameter estimation that unifies some usual probability formulations. Point and confidence interval estimation are un...
111
click to vote
CALCO
2005
Springer
15 years 11 months ago
2005
Springer
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
170
Voted
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives and without the burden of any form of negation. This complet...
142
click to vote
ERSHOV
2001
Springer
15 years 10 months ago
2001
Springer
There are many different ways of proving formulas in proposition logic. Many of these can easily be characterized as forms of resolution (e.g. [12] and [9]). Others use so-called...
146
click to vote
ICMCS
1999
IEEE
15 years 10 months ago
1999
IEEE
Multidimensional image retrieval (MIR) views an image as a multidimensional object, where each dimension is a channel for retrieval. MIR has the potential of putting at work toget...