1581 search results - page 6 / 317 » Mechanizing Inductive Reasoning |
91
Voted
AAAI
2006
15 years 1 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 ...
ICLA
2009
Springer
15 years 6 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...
97
Voted
TIME
1994
IEEE
15 years 3 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 ...
CADE
2003
Springer
15 years 12 months ago
2003
Springer
106
Voted
CADE
2006
Springer
15 years 12 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 ...