Suchergebnisse - Lanzarone, GA | OPAC THWS

1

Reflection principles in computational logic von Barklund, J, Dell'Acqua, P, Costantini, S, Lanzarone, GA

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Metalevel representation of analogical inference von Costantini, Stefania, Lanzarone, Gaetano Aurelio

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Experiments in Answer Sets Planning von Balduccini, M., Brignoli, G., Lanzarone, G. A., Magni, F., Provetti, A.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

A metalogic programming approach: language, semantics and applications von COSTANTINÍ, STEFANIA, LANZARONE, GAETANO AURELIO

Veröffentlicht in Journal of experimental & theoretical artificial intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

A formal definition and a sound implementation of analogical reasoning in logic programming von Costantini, Stefania, Lanzarone, Gaetano Aurelio, Sbarbaro, Lorenza

Veröffentlicht in Annals of mathematics and artificial intelligence

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Program construction by refinements preserving correctness von Lanzarone, G. A.

Veröffentlicht in Computer journal

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: