479 search results - page 2 / 96 » A quantified logic of evidence |
109
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. We present a formally verified quantifier elimination procedure for the first order theory over linear mixed real-integer arithmetics in higher-order logic based on a wor...
82
Voted
AML
2010
14 years 10 months ago
2010
We study definability of second-order generalized quantifiers. We show that the question whether a second-order generalized quantifier Q1 is definable in terms of another quantifie...
111
click to vote
ECML
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Over the last twenty years AI has undergone a sea change. The oncedominant paradigm of logical inference over symbolic knowledge representations has largely been supplant...
97
Voted
KR
1992
Springer
15 years 5 months ago
1992
Springer
An algorithm is presented which eliminates second
108
click to vote
FUIN
2010
14 years 11 months ago
2010
We study 0-1 laws for extensions of first-order logic by Lindstr