479 search results - page 2 / 96 » A quantified logic of evidence |
CADE
2006
Springer
14 years 6 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...
AML
2010
13 years 2 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...
ECML
2006
Springer
13 years 9 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...
KR
1992
Springer
13 years 9 months ago
1992
Springer
An algorithm is presented which eliminates second
FUIN
2010
13 years 3 months ago
2010
We study 0-1 laws for extensions of first-order logic by Lindstr