Suchergebnisse - FUSCÀ, DAVIDE | OPAC THWS

1

The ASP System DLV2 von Alviano, Mario, Calimeri, Francesco, Dodaro, Carmine, Fuscà, Davide, Leone, Nicola, Perri, Simona, Ricca, Francesco, Veltri, Pierfrancesco, Zangari, Jessica

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Efficiently Coupling the I-DLV Grounder with ASP Solvers von CALIMERI, FRANCESCO, DODARO, CARMINE, FUSCÀ, DAVIDE, PERRI, SIMONA, ZANGARI, JESSICA

Veröffentlicht in Theory and practice of logic programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Optimizing Answer Set Computation via Heuristic-Based Decomposition von Calimeri, Francesco, Fuscà, Davide, Perri, Simona, Zangari, Jessica

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework von Calimeri, Francesco, Fuscà, Davide, Germano, Stefano, Perri, Simona, Zangari, Jessica

Veröffentlicht in New generation computing

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

External Computations and Interoperability in the New DLV Grounder von Calimeri, Francesco, Fuscà, Davide, Perri, Simona, Zangari, Jessica

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios von Calimeri, Francesco, Fuscà, Davide, Germano, Stefano, Perri, Simona, Zangari, Jessica

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Enhancing DLV for Large-Scale Reasoning von Leone, Nicola, Allocca, Carlo, Alviano, Mario, Calimeri, Francesco, Civili, Cristina, Costabile, Roberta, Fiorentino, Alessio, Fuscà, Davide, Germano, Stefano, Laboccetta, Giovanni, Cuteri, Bernardo, Manna, Marco, Perri, Simona, Reale, Kristian, Ricca, Francesco, Veltri, Pierfrancesco, Zangari, Jessica

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Efficiently Coupling the I-DLV Grounder with ASP Solvers von Calimeri, Francesco, Dodaro, Carmine, Fuscà, Davide, Perri, Simona, Zangari, Jessica

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

A Framework for Easing the Development of Applications Embedding Answer Set Programming von Calimeri, Francesco, Fuscà, Davide, Germano, Stefano, Perri, Simona, Zangari, Jessica

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

$documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {I}$$\end{document}-dlv: The New Intelligent Grounder of dlv$

documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \se... von Calimeri, Francesco, Fuscà, Davide, Perri, Simona, Zangari, Jessica

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

The ASP System DLV: Advancements and Applications von Adrian, Weronika T., Alviano, Mario, Calimeri, Francesco, Cuteri, Bernardo, Dodaro, Carmine, Faber, Wolfgang, Fuscà, Davide, Leone, Nicola, Manna, Marco, Perri, Simona, Ricca, Francesco, Veltri, Pierfrancesco, Zangari, Jessica

Veröffentlicht in KI. Künstliche Intelligenz (Oldenbourg)

Volltext
Magazinearticle

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Con i buoni sentimenti si fanno brutti libri?: etiche, estetiche e problemi della rappresentazione

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

La grâce de montrer son âme dans le vêtement » Scrivere di tessuti, abiti, accessori. Studi in onore di Liana Nissim: (TOMO II) - L'Ottocento e il Tournant du Siecle

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: