( en | de | ru )

 

Disambiguierung von "Leone, Nicola"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.

, , , und . Theory Pract. Log. Program., 12 (4-5): 701-718 (2012)

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.

Nicola Leone

Nicola Leone

Frederico Leone

Marco Leone

Debora Leone

 

Weitere Publikationen von Autoren mit dem selben Namen

An ASP-Based System for e-Tourism., , , und . LPNMR, Volume 5753 von Lecture Notes in Computer Science, Seite 368-381. Springer, (2009)A DLP System with Object-Oriented Features., , , , , und . LPNMR, Volume 3662 von Lecture Notes in Computer Science, Seite 432-436. Springer, (2005)Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments., , , , und . ICAISC, Volume 9120 von Lecture Notes in Computer Science, Seite 541-553. Springer, (2015)Effective Implementation of Negation in Database Logic Query Languages., , , und . LOGIDATA+: Deductive Databases with Complex Objects, Volume 701 von Lecture Notes in Computer Science, Springer, (1993)Progress Report on the Disjunctive Deductive Database System dlv., , , , und . FQAS, Volume 1495 von Lecture Notes in Computer Science, Seite 148-163. Springer, (1998)On Modularity Properties of Partial Semantics for Disjunctive Logic Programs., und . WLP, Seite 217-226. (1995)Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications., und . Reasoning Web, Volume 9203 von Lecture Notes in Computer Science, Seite 308-326. Springer, (2015)Computing LOGCFL Certificates., , und . ICALP, Volume 1644 von Lecture Notes in Computer Science, Seite 361-371. Springer, (1999)Efficient Query Answering over Datalog with Existential Quantifiers., , , und . SEBD, Seite 155-162. Edizioni Libreria Progetto, Padova, Italy, (2012)Stable Model Semantics and its Computation for Ordered Logic Programs., und . ECAI, Seite 92-96. John Wiley and Sons, (1992)