1581 search results - page 6 / 317 » Mechanizing Inductive Reasoning |
144
click to vote
AAAI
2006
15 years 6 months ago
2006
Both explanation-based and inductive learning techniques have proven successful in a variety of distributed domains. However, learning in multi-agent systems does not necessarily ...
127
click to vote
ICLA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We show that under the assumptions of Spectrum Exchangeability and Language Invariance the so called Only Rule, a principle of instantial relevance previously know for un...
137
click to vote
TIME
1994
IEEE
15 years 9 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
154
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...