IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 105
Titolo Data di pubblicazione Autore(i) File
On the Semantics of Logic Programs with Preferences 1-gen-2007 Greco, Sergio; Trubitsyna, I; Zumpano, Ester
A framework for prioritized reasoning based on the choice evaluation 1-gen-2007 Caroprese, Luciano; Trubitsyna, Irina; Zumpano, Ester
On the implementation of a logic language for NP search and optimization problems 1-gen-2009 Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina; Zumpano, Ester
Consistent Queries over Databases with Integrity Constraints 1-gen-2009 Caroprese, L; Molinaro, Cristian; Trubitsyna, I; Zumpano, Ester
Querying and Updating Inconsistent Databases 1-gen-2010 Greco, Sergio; Molinaro, Cristian; Spezzano, Francesca; Trubitsyna, Irina
NPDatalog: a Logic Language for Expressing NP Search and Optimization Problems 1-gen-2010 Greco, Sergio; Molinaro, Cristian; Trubitsyna, I; Zumpano, Ester
ChaseT: A tool for checking chase termination 1-gen-2011 DE FRANCESCO, Andrea; Spezzano, Francesca; Trubitsyna, Irina
Stratification Criteria and Rewriting Techniques for Checking Chase Termination 1-gen-2011 Greco, Sergio; Spezzano, F; Trubitsyna, I.
ChaseT: A tool for checking chase termination 1-gen-2011 De Francesco, A; Greco, Sergio; Spezzano, F; Trubitsyna, I.
Stratification-based Criteria for Checking Chase Termination 1-gen-2012 Greco, S; Spezzano, F; Trubitsyna, I
On the Termination of Logic Programs with Function Symbols 1-gen-2012 Greco, Sergio; Spezzano, F; Trubitsyna, I.
The view-update problem for indefinite databases 1-gen-2012 Caroprese, L; Trubitsyna, I; Truszczyński, M; Zumpano, Ester
Towards decidable classes of logic programs with function symbols 1-gen-2013 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Detecting decidable classes of finitely ground logic programs with function symbols 1-gen-2013 Calautti, M; Greco, S; Trubitsyna, I
The view-update problem for indefinite databases 1-gen-2013 Caroprese, Luciano; Trubitsyna, Irina; Truszczyński, Mirosław; Zumpano, Ester
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols 1-gen-2013 Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments 1-gen-2013 Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Termination Criteria for Datalog with Function Symbols 1-gen-2014 Calautti, Marco; Molinaro, Cristian; Pulice, Chiara; Trubitsyna, Irina
Checking Termination of Logic Programs with Function Symbols through Linear Constraints 1-gen-2014 Calautti, M.; Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
A Measure of Arbitrariness in Abductive Explanations. 1-gen-2014 Caroprese, L; Trubitsyna, I; Truszczynski, M; Zumpano, Ester
Mostrati risultati da 21 a 40 di 105
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