215 search results - page 8 / 43 » Integrating Abduction and Induction |
CLIMA
2004
13 years 9 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...
VLDB
1990
ACM
13 years 11 months ago
1990
ACM
: The problem of view updatesin deductive databasesis studiedby casting this in anaturally associatedabductive framework.It is shownthat this abductiveapproachdeals successfully, i...
ICML
2010
IEEE
13 years 8 months ago
2010
IEEE
Multiagent Inductive Learning is the problem that groups of agents face when they want to perform inductive learning, but the data of interest is distributed among them. This pape...
AMAI
1999
Springer
13 years 7 months ago
1999
Springer
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...