Autor der Publikation

On the formal characterization of the FORTE_MBC theory revision operators.

, , und . J. Log. Comput., 27 (8): 2551-2580 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-instance learning using recurrent neural networks., und . IJCNN, Seite 1-6. IEEE, (2012)Applying the connectionist inductive learning and logic programming system to power system diagnosis., , und . ICNN, Seite 121-126. IEEE, (1997)Inductive Logic Programming through Estimation of Distribution Algorithm., und . IEEE Congress on Evolutionary Computation, Seite 54-61. IEEE, (2011)On the formal characterization of the FORTE_MBC theory revision operators., , und . J. Log. Comput., 27 (8): 2551-2580 (2017)Object Oriented Design Expertise Reuse: An Approach Based on Heuristics, Design Patterns and Anti-patterns., , und . ICSR, Volume 1844 von Lecture Notes in Computer Science, Seite 336-352. Springer, (2000)A multi-objective optimization approach accurately resolves protein domain architectures., , , und . Bioinform., 32 (3): 345-353 (2016)ClusterMiner: High Performance for Data, Text and Web Mining., , , , , , und . Braz. J. Inf. Syst., (2008)Revising First-Order Logic Theories from Examples Through Stochastic Local Search., , und . ILP, Volume 4894 von Lecture Notes in Computer Science, Seite 200-210. Springer, (2007)Improved natural crossover operators in GBIVIL., und . IEEE Congress on Evolutionary Computation, Seite 2157-2164. IEEE, (2007)Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples., , , und . ILP, Volume 5989 von Lecture Notes in Computer Science, Seite 123-130. Springer, (2009)