IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 99
Titolo Data di pubblicazione Autore(i) File
Abduction in Annotated Probabilistic Temporal Logic 1-gen-2011 Molinaro, Cristian; Sliva, Amy; Subrahmanian, Vs
Finding Unexplained Activities in Video 1-gen-2011 Albanese, Massimiliano; Molinaro, Cristian; Persia, Fabio; Picariello, Antonio; Subrahmanian, Vs
Incomplete Data and Data Dependencies in Relational Databases 1-gen-2012 Greco, Sergio; Molinaro, Cristian; Spezzano, F.
Diffusion Centrality in Social Networks 1-gen-2012 Kang, Chanhyun; Molinaro, Cristian; Kraus, Sarit; Shavitt, Yuval; Subrahmanian, Vs
Probabilistic Query Answering over Inconsistent Databases 1-gen-2012 Greco, Sergio; Molinaro, Cristian
Towards decidable classes of logic programs with function symbols 1-gen-2013 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments 1-gen-2013 Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
A General Framework for Reasoning On Inconsistency 1-gen-2013 Martinez, Vanina; Molinaro, Cristian; Subrahmanian, Vs; Amgoud, Leila
A Logic Framework for Flexible and Security-Aware Service Composition 1-gen-2013 Albanese, Massimiliano; Jajodia, Sushil; Molinaro, Cristian
Customized Policies for Handling Partial Information in Relational Databases 1-gen-2013 Martinez, Vanina; Molinaro, Cristian; Grant, John; Subrahmanian, Vs
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols 1-gen-2013 Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Using Generalized Annotated Programs to Solve Social Network Diffusion Optimization Problems 1-gen-2013 Shakarian, Paulo; Broecheler, Matthias; Subrahamanian, Vs; Molinaro, Cristian
Aggregate Count Queries in Probabilistic Spatio-temporal Databases 1-gen-2013 Grant, John; Molinaro, Cristian; Parisi, Francesco
Checking Termination of Logic Programs with Function Symbols through Linear Constraints 1-gen-2014 Calautti, M.; Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Answering Ontological Ranking Queries Based on Subjective Reports 1-gen-2014 Lukasiewicz, Thomas; MARTINEZ MARIA, Vanina; Molinaro, Cristian; Predoiu, Livia; Simari, Gerardo
PADUA: Parallel Architecture to Detect Unexplained Activities 1-gen-2014 Molinaro, Cristian; Moscato, Vincenzo; Picariello, Antonio; Pugliese, Andrea; Rullo, Antonino; Subrahmanian, Vs
Super-solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic 1-gen-2014 Molinaro, Cristian; Sliva, Amy; Subrahmanian, Vs
Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data 1-gen-2014 Albanese, Massimiliano; Molinaro, Cristian; Persia, Fabio; Picariello, Antonio; Subrahmanian, Vs
Recognizing Unexplained Behavior in Network Traffic 1-gen-2014 Albanese, Massimiliano; ERBACHER ROBERT, F.; Jajodia, Sushil; Molinaro, Cristian; Persia, Fabio; Picariello, Antonio; Sperlì, Giancarlo; Subrahmanian, Vs
Answering Ontological Ranking Queries Based on Subjective Reports 1-gen-2014 Lukasiewicz, Thomas; MARTINEZ MARIA, Vanina; Molinaro, Cristian; Predoiu, Livia; Simari, Gerardo
Mostrati risultati da 21 a 40 di 99
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