Suchergebnisse - VERBAETEN, Sofie

1

Logic programs with annotated disjunctions von VENNEKENS, Joost, VERBAETEN, Sofie, BRUYNOOGHE, Maurice

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Ensemble Methods for Noise Elimination in Classification Problems von Verbaeten, Sofie, Van Assche, Anneleen

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Logic programs with annotated disjunctions von Vennekens, Joost, Verbaeten, Sofie, Bruynooghe, Maurice

Veröffentlicht in Lecture Notes in Computer Science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Compact representation of knowledge bases in inductive logic programming von Struyf, Jan, Ramon, Jan, Bruynooghe, Maurice, Verbaeten, Sofie, Blockeel, Hendrik

Veröffentlicht in Machine learning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Compact Representation of Knowledge Bases in Inductive Logic Programming von Struyf, Jan, Ramon, Jan, Bruynooghe, Maurice, Verbaeten, Sofie, Blockeel, Hendrik

Veröffentlicht in Machine learning

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Termination proofs for logic programs with tabling von Verbaeten, Sofie, Schreye, Danny De, Sagonas, Konstantinos

Veröffentlicht in ACM transactions on computational logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Termination of simply-moded well-typed logic programs under a tabled execution mechanism von Verbaeten, Sofie, De Schreye, Danny

Veröffentlicht in Applicable algebra in engineering communication and computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Ensemble methods for noise elimination in classification problems von Verbaeten, Sofie, Van Assche, Anneleen

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Composing complete and partial knowledge von Verbaeten, Sofie, Bossi, Annalisa

Veröffentlicht in Journal of Functional and Logic Programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Termination proofs for logic programs with tabling von Verbaeten, Sofie, Sagonas, Konstantinos, De Schreye, Danny

Veröffentlicht in ACM Transactions on Computational Logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism von Verbaeten, Sofie, De Schreye, Danny

Veröffentlicht in Applicable algebra in engineering, communication and computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Static verification of compositionality and termination for logic programming languages von Verbaeten, Sofie

Volltext bestellen

Dissertation

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Identifying mislabeled training examples in ILP Classification Problems von Verbaeten, Sofie

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Termination analysis of tabled logic programs using mode and type information von Verbaeten, Sofie, De Schreye, Danny

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Termination Analysis of Tabled Logic Programs Using Mode and Type Information von Verbaeten, Sofie, De Schreye, Danny

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Termination analysis for abductive general logic programs von Verbaeten, Sofie

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

Modular termination proofs for prolog with tabling von Verbaeten, Sofie, Sagonas, K, De Schreye, Danny

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Modular Termination Proofs for Prolog with Tabling von Verbaeten, Sofie, Sagonas, Konstantinos, De Schreye, Danny

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Composing complete and partial knowledge von Verbaeten, Sofie

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

The closing operator : from partial to complete knowledge von Verbaeten, Sofie

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Logic programs with annotated disjunctions von VENNEKENS, Joost, VERBAETEN, Sofie, BRUYNOOGHE, Maurice

Ensemble Methods for Noise Elimination in Classification Problems von Verbaeten, Sofie, Van Assche, Anneleen

Logic programs with annotated disjunctions von Vennekens, Joost, Verbaeten, Sofie, Bruynooghe, Maurice

Compact representation of knowledge bases in inductive logic programming von Struyf, Jan, Ramon, Jan, Bruynooghe, Maurice, Verbaeten, Sofie, Blockeel, Hendrik

Compact Representation of Knowledge Bases in Inductive Logic Programming von Struyf, Jan, Ramon, Jan, Bruynooghe, Maurice, Verbaeten, Sofie, Blockeel, Hendrik

Termination proofs for logic programs with tabling von Verbaeten, Sofie, Schreye, Danny De, Sagonas, Konstantinos

Termination of simply-moded well-typed logic programs under a tabled execution mechanism von Verbaeten, Sofie, De Schreye, Danny

Ensemble methods for noise elimination in classification problems von Verbaeten, Sofie, Van Assche, Anneleen

Composing complete and partial knowledge von Verbaeten, Sofie, Bossi, Annalisa

Termination proofs for logic programs with tabling von Verbaeten, Sofie, Sagonas, Konstantinos, De Schreye, Danny

Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism von Verbaeten, Sofie, De Schreye, Danny

Static verification of compositionality and termination for logic programming languages von Verbaeten, Sofie

Identifying mislabeled training examples in ILP Classification Problems von Verbaeten, Sofie

Termination analysis of tabled logic programs using mode and type information von Verbaeten, Sofie, De Schreye, Danny

Termination Analysis of Tabled Logic Programs Using Mode and Type Information von Verbaeten, Sofie, De Schreye, Danny

Termination analysis for abductive general logic programs von Verbaeten, Sofie

Modular termination proofs for prolog with tabling von Verbaeten, Sofie, Sagonas, K, De Schreye, Danny

Modular Termination Proofs for Prolog with Tabling von Verbaeten, Sofie, Sagonas, Konstantinos, De Schreye, Danny

Composing complete and partial knowledge von Verbaeten, Sofie

The closing operator : from partial to complete knowledge von Verbaeten, Sofie

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle