ILPnet2 library: Theory Revision

[ ILPnet2 | Library | Newsletter | CSCW | Education | End-User Club | Events | Nodes | Systems | Applications | Members only ]

ILP publications on Theory Revision

This is a list of publications in the ILPnet2 on-line library dealing with Theory Revision. Notice that Keywords are a new feature in the ILPnet2 library, so that only recent papers will be listed. The title of the article is a link to the full reference, including -- if provided by the author -- abstract and URL. It also allows easy access to related publications.

2003

E Lamma, F Riguzzi, and LM Pereira. Belief Revision via Lamarckian Evolution. May 2003.

2002

N Fanizzi and S Ferilli. Minimal Generalizations under OI-Implication. August 2002.
F Esposito, S Ferilli, N Fanizzi, TMA Basile, and ND Mauro. Cooperation of Multiple Strategies for Automated Learning in Complex Environments. June 2002.
S Ma, Y Sui, and K Xu. The Prioritized Inductive Logic Programs. June 2002.
E Lamma, F Riguzzi, and LM Pereira. Belief Revision via Lamarckian Evolution. 2002.

2001

E Lamma, F Riguzzi, and LM Pereira. Belief Revision by Multi-Agent Genetic Search. December 2001.
E Lamma, F Riguzzi, and LM Pereira. A System for Multi-Agent Belief Revision by Genetic Search. December 2001.
G Semeraro, S Ferilli, N Fanizzi, and F Esposito. Document Classification and Interpretation through the Inference of Logic-Based Models. September 2001.
F Esposito, N Fanizzi, S Ferilli, and G Semeraro. A generalization model based on OI-implication for ideal theory refinement. August 2001.
E Lamma, F Riguzzi, and LM Pereira. Belief Revision by Lamarckian Evolution. April 2001.

2000

E Lamma, LM Pereira, and F Riguzzi. Logic Aided Lamarckian Evolution. June 2000.
PA Flach and AC Kakas, editors. Abduction and Induction: Essays on their relation and integration. April 2000.
F Esposito, G Semeraro, N Fanizzi, and S Ferilli. Multistrategy Theory Revision: Induction and Abduction in INTHELEX. January 2000.

1999

N Fanizzi. Refinement Operators in Multistrategy Incremental Learning. November 1999.
E Lamma, F Riguzzi, and LM Pereira. Agents Learning in a Three-valued Logical Setting. June 1999.
E Lamma, F Riguzzi, and LM Pereira. Learning Three-Valued Logic Programs. June 1999.

1998

E Sommer. Theory restructuring. 1998.

1996

E Sommer. Extensional and intensional analysis of relational knowledge bases. 1996.
E Sommer. Theory Restructuring: Coarse-grained Integration of Strategies for Induction \& Maintanance of Knowledge Bases. 1996.

1995

E Sommer. FENDER: An approach to theory restructuring. 1995.

1994

H Adé, B Malfait, and L De Raedt. RUTH: An ILP Theory Revision System. 1994.
H Adé, B Malfait, and L De Raedt. RUTH: An ILP approach to Theory Revision. 1994.
D Bonne and A Polley. An application of inductive logic programming in banking. 1994, (In Dutch).
L De Raedt and M Bruynooghe. Interactive Theory Revision. 1994.
E Sommer. Rulebase Stratifications: An approach to theory restructuring. 1994.
S Wrobel. Concept Formation During Interactive Theory Revision. 1994.

1993

H Adé, L De Raedt, and M Bruynooghe. Theory revision. 1993.
J Wogulis. Handling Negation in First-Order Theory Revision. 1993.
S Wrobel. On the Proper Definition of Minimality in Specialization and Theory Revision. 1993.

1992

C Jansson, H Boström, and P Idestam-Almquist. Theory Revision in a Logic Programming Framework. 1992.
L De Raedt. Interactive Theory Revision: An Inductive Logic Programming Approach. 1992.

1991

L De Raedt and M Bruynooghe. CLINT: A multistrategy interactive concept-learner and theory revision system. 1991.
B Richards and R Mooney. First-Order Theory Revision. 1991.

ILPnet2 librarian, ilpnet2-lib@cs.bris.ac.uk. Last modified on Wednesday 17 December 2003 at 15:03. © 2003 ILPnet2