1581 search results - page 6 / 317 » Mechanizing Inductive Reasoning |
AAAI
2006
13 years 8 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
14 years 2 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...
TIME
1994
IEEE
13 years 11 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
14 years 7 months ago
2003
Springer
CADE
2006
Springer
14 years 7 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 ...