IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 61 a 80 di 111
Titolo Data di pubblicazione Autore(i) File
An ASP System with Functions, Lists, and Sets 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes 1-gen-2009 Ianni, Giovambattista; Krennwallner, T; Martello, A; Polleres, A.
Combining Nonmonotonic Knowledge Bases with External Sources 1-gen-2009 Eiter, T; Brewka, G; DAO TRAN, M; Fink, M; Ianni, Giovambattista; Krennwallner, T.
Answer Set Programming: A Primer 1-gen-2009 Eiter, T; Ianni, Giovambattista; Krennwallner, T.
Efficiently querying RDF(S) ontologies with Answer Set Programming 1-gen-2009 Ianni, Giovambattista; Martello, A; Panetta, C; Terracina, Giorgio
Hybrid Reasoning with Rules and Ontologies 1-gen-2009 Drabent, W; Eiter, T; Ianni, Giovambattista; Krennwallner, T; Lukasiewicz, T; Maluszynski, J.
A Rule System for Querying Persistent RDFS Data 1-gen-2009 Ianni, Giovambattista; Krennwallner, T; Martello, A; Polleres, A.
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs 1-gen-2009 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques 1-gen-2010 Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista; Leone, Nicola
HEX Programs with Action Atoms 1-gen-2010 Basol, S; Erdem, O; Fink, M; Ianni, Giovambattista
Function Symbols in ASP: Overview and Perspectives 1-gen-2011 Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Ianni, Giovambattista; Leone, Nicola
Towards a Policy Language for Managing Inconsistency in Multi-Context Systems 1-gen-2011 Eiter, T; Fink, M; Ianni, Giovambattista; Schüller, P.
Well-Founded Semantics for Description Logic Programs in the Semantic Web 1-gen-2011 Eiter, T; Ianni, Giovambattista; Lukasiewicz, T; Schindlauer, R.
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition -- [Selected BEST PAPER for presentation at IJCAI 2011 in the Sister Conferences Track] 1-gen-2011 Eiter, T; Fink, M; Ianni, Giovambattista; Krennwallner, T; Schüller, P.
Finitely Recursive Programs: Decidability and Bottom-up Computation. 1-gen-2011 Calimeri, Francesco; Cozza, S; Ianni, Giovambattista; Leone, Nicola
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 1-gen-2011 Calimeri, Francesco; Ianni, Giovambattista; Ricca, Francesco; Alviano, Mario; Bria, Annamaria; Catalano, Gelsomina; Cozza, S; Faber, W; Febbraro, Onofrio; Leone, Nicola; Manna, Marco; Martello, A; Panetta, C; Perri, Simona; Reale, K; Santoro, Mc; Sirianni, M; Terracina, Giorgio; Veltri, P.
The third open answer set programming competition 1-gen-2012 Calimeri, Francesco; Ianni, Giovambattista; Ricca, F.
The Answer Set Programming Competition 1-gen-2012 Calimeri, Francesco; Ianni, Giovambattista; Krennwallner, T; Ricca, Francesco
The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain 1-gen-2013 Calimeri, Francesco; Ianni, Giovambattista; Perri, Simona; Zangari, J.
A Domain Meta-wrapper Using Seeds for Intelligent Author List Extraction in the Domain of Scholarly Articles 1-gen-2013 Cauteruccio, F.; Ianni, Giovambattista
Mostrati risultati da 61 a 80 di 111
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