696 search results - page 71 / 140 » Probabilistic-Logic Models: Reasoning and Learning with Rela... |
145
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. While many higher-order interactive theorem provers include a choice operator, higher-order automated theorem provers currently do not. As a step towards supporting autom...
170
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
127
click to vote
NIPS
2004
15 years 5 months ago
2004
Areas of the brain involved in various forms of memory exhibit patterns of neural activity quite unlike those in canonical computational models. We show how to use well-founded Ba...
126
click to vote
CL
2006
Springer
15 years 4 months ago
2006
Springer
Intensional views and relations have been proposed as a way of actively documenting high-level structural regularities in the source code of a software system. By checking conform...
149
click to vote
COLT
2010
Springer
15 years 2 months ago
2010
Springer
We define a new model of quantum learning that we call Predictive Quantum (PQ). This is a quantum analogue of PAC, where during the testing phase the student is only required to a...