IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 121
Titolo Data di pubblicazione Autore(i) File
Declarative and Fixpoint Characterizations of Disjunctive Stable Models 1-gen-1995 Leone, Nicola; Rullo, P.; Scarcello, F.
Curbing Theories: Fixpoint Semantics and Complexity Issues 1-gen-1995 Scarcello, F.; Leone, Nicola; Palopoli, L.
On the Expressive Power of Ordered Logic 1-gen-1996 Buccafurri, F; Leone, Nicola; Scarcello, Francesco
On the Computation of Disjunctive Stable Models 1-gen-1996 Leone, Nicola; Rullo, P.; Scarcello, F.
Stable Model Checking for Disjunctive Logic Programs 1-gen-1996 Leone, Nicola; Rullo, P.; Scarcello, F.
On the computation of disjunctive stable models 1-gen-1996 Leone, Nicola; Rullo, P; Scarcello, Francesco
Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics and Computation 1-gen-1997 Leone, Nicola; Rullo, Pasquale; Scarcello, Francesco
On the Complexity of some Inductive Logic Programming Problems 1-gen-1997 Gottlob, G.; Leone, Nicola; Scarcello, F.
Valutazione Efficiente della Semantica Non Deterministica dei Programmi Logici Disgiuntivi 1-gen-1997 Leone, Nicola; Scarcello, F.
Project Report: A Non Monotonic Disjunctive Deductive Database System 1-gen-1997 Eiter, T; Leone, Nicola; Mateis, C; Pfeifer, G; Scarcello, F.
A Deductive System far Non-Monotonic Reasoning 1-gen-1997 Eiter, T; Leone, Nicola; Mateis, C.; Pfeifer, G.; Scarcello, F.
The DLV System: Model Generator and Application Frontends 1-gen-1997 S., Citrigno; Eiter, T.; Koch, ; Faber, W.; Gottlob, G.; Leone, Nicola; Mateis, C.; Pfeifer, G.; Scarcello, F.
The Architecture of a Disjunctive Deductive Database System 1-gen-1997 Eiter, T; Leone, Nicola; Mateis, C; Pfeifer, G; Scarcello, F.
Disjunctive Datalog with Nested Rules 1-gen-1997 Greco, S; Leone, Nicola; Scarcello, F.
The Complexity of Acyclic Conjunctive Queries 1-gen-1998 Gottlob, G.; Leone, Nicola; Scarcello, F.
The Knowledge Representation System DLV: Progress Report, Comparisons, and Benchmarks 1-gen-1998 Eiter, T.; Leone, Nicola; Mateis, C.; Pfeifer, G.; Scarcello, F.
Progress Report on the Disjunctive Deductive Database System DL V 1-gen-1998 Eiter, T.; Leone, Nicola; Mateis, C.; Pfeifer, G.; Scarcello, F.
DATALOG with Nested Rules 1-gen-1998 Greco, S; Leone, Nicola; Scarcello, Francesco
Propositional lower bounds: generalization and algorithms 1-gen-1998 Cadoli, Marco; Palopoli, Luigi; Scarcello, Francesco
On the Complexity of some Inductive Logic Programming Problems 1-gen-1999 Gottlob, G; Leone, Nicola; Scarcello, Francesco
Mostrati risultati da 1 a 20 di 121
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile