347 search results - page 15 / 70 » Some Second Order Set Theory |
138
click to vote
CADE
2005
Springer
16 years 2 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...
114
click to vote
SAGT
2010
Springer
15 years 6 days ago
2010
Springer
Can learning algorithms find a Nash equilibrium? This is a natural question for several reasons. Learning algorithms resemble the behavior of players in many naturally arising gam...
143
Voted
AEPIA
2002
15 years 1 months ago
2002
Case-Based Reasoning systems retrieve cases using a similarity function based on the K-NN or some derivatives. These functions are sensitive to irrelevant, interacting or noisy fe...
135
click to vote
LOGCOM
2002
15 years 1 months ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
119
Voted
LPAR
2007
Springer
15 years 8 months ago
2007
Springer
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...