IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 100
Titolo Data di pubblicazione Autore(i) File
Finding Unexplained Activities in Video 1-gen-2011 Albanese, Massimiliano; Molinaro, Cristian; Persia, Fabio; Picariello, Antonio; Subrahmanian, Vs
Abduction in Annotated Probabilistic Temporal Logic 1-gen-2011 Molinaro, Cristian; Sliva, Amy; Subrahmanian, Vs
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
Incomplete Data and Data Dependencies in Relational Databases 1-gen-2012 Greco, Sergio; Molinaro, Cristian; Spezzano, F.
Towards decidable classes of logic programs with function symbols 1-gen-2013 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
A General Framework for Reasoning On Inconsistency 1-gen-2013 Martinez, Vanina; Molinaro, Cristian; Subrahmanian, Vs; Amgoud, Leila
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments 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
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols 1-gen-2013 Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Customized Policies for Handling Partial Information in Relational Databases 1-gen-2013 Martinez, Vanina; Molinaro, Cristian; Grant, John; Subrahmanian, Vs
A Logic Framework for Flexible and Security-Aware Service Composition 1-gen-2013 Albanese, Massimiliano; Jajodia, Sushil; Molinaro, Cristian
Termination Criteria for Datalog with Function Symbols 1-gen-2014 Calautti, Marco; Molinaro, Cristian; Pulice, Chiara; Trubitsyna, Irina
Discovering the Top-k Unexplained Sequences in Time-Stamped Observation Data 1-gen-2014 Albanese, Massimiliano; Molinaro, Cristian; Persia, Fabio; Picariello, Antonio; Subrahmanian, Vs
Answering Ontological Ranking Queries Based on Subjective Reports 1-gen-2014 Lukasiewicz, Thomas; MARTINEZ MARIA, Vanina; Molinaro, Cristian; Predoiu, Livia; Simari, Gerardo
PASS: A parallel activity search system 1-gen-2014 Pugliese, Andrea; Subrahmanian, Vs; Thomas, C; Molinaro, Cristian
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
Super-solutions: Succinctly Representing Solutions in Abductive Annotated Probabilistic Temporal Logic 1-gen-2014 Molinaro, Cristian; Sliva, Amy; Subrahmanian, Vs
Mostrati risultati da 21 a 40 di 100
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