IRIS

4.1 Contributo in Atti di convegno: [16696] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.061 a 2.080 di 16.696
Titolo Data di pubblicazione Autore(i) File
Maximum likelihood approach to HF radar performance characterization 1-gen-2009 Carthel, Craig; Coraluppi, Stefano; Willett, Peter; Maratea, Marco; Maguer, Alain
A generate-and-test approach for computing "optimal" plans in SAT-based planning 1-gen-2009 Giunchiglia, Enrico; Maratea, Marco
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 1-gen-2010 Giunchiglia, Enrico; Maratea, Marco
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems 1-gen-2010 Maratea, Marco
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions 1-gen-2011 Maratea, Marco; Pulina, Luca
Solving Train Load Planning Problems with Boolean Optimization 1-gen-2012 Foti, Lorenzo; Maratea, Marco; Sacone, Simona; Siri, Silvia
Computational analysis of freeway traffic control based on a linearized prediction model 1-gen-2013 L., Maggi; Maratea, Marco; Sacone, Simona; Siri, Silvia
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 1-gen-2013 Bourguet, Jean Rémi; Maratea, Marco; Pulina, Luca
Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach 1-gen-2013 Armando, Alessandro; Giunchiglia, Enrico; Maratea, Marco; Ponta, Serena Elisa
Abstract Disjunctive Answer Set Solvers 1-gen-2014 Brochenin, Remi; Lierler, Yuliya; Maratea, Marco
An ontology for historical research documents 1-gen-2015 Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca
A K-Means Variation based on Careful Seeding and Constrained Silhouette Coefficients 1-gen-2023 Nigro, Libero; Cicirelli, Franco
Abstract solvers for dung’s argumentation frameworks 1-gen-2015 Brochenin, Remi; Linsbichler, Thomas; Maratea, Marco; Wallner, Johannes Peter; Woltran, Stefan
Abstract Solvers for Quantified Boolean Formulas and their Applications 1-gen-2015 Brochenin, Remi; Maratea, Marco
Abstract Answer Set Solvers for Cautious Reasoning 1-gen-2015 Brochenin, Remi; Maratea, Marco
Introducing the second international competition on computational models of argumentation 1-gen-2016 Gaggl, Sarah Alice; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving 1-gen-2018 Linsbichler, T.; Maratea, M.; Niskanen, A.; Wallner, J. P.; Woltran, S.
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models 1-gen-2021 Boleto, G.; Oneto, L.; Cardellini, M.; Maratea, M.; Vallati, M.; Canepa, R.; Anguita, D.
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics 1-gen-2023 Cuteri, A.; Mazzotta, G.; Ricca, F.
In-Station Train Dispatching: A PDDL+ Planning Approach 1-gen-2021 Cardellini, M.; Maratea, M.; Vallati, M.; Boleto, G.; Oneto, L.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 2.061 a 2.080 di 16.696
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

Scopri
Tipologia
  • 4 Contributo in Atti di Convegno ...16694
  • 1 Contributo su Rivista1
  • 2 Contributo in Volume1
  • 5 Altro1
Autore
  • CUZZOCREA, Alfredo Massimiliano494
  • GABRIELE, Bartolo354
  • FORTINO, GIANCARLO257
  • DI MASSA, Giuseppe247
  • MANCUSO, RAFFAELLA244
  • LONGO, Francesco240
  • ANDO', Sebastiano235
  • IERA, ANTONIO218
  • TALIA, DOMENICO217
  • LEONE, NICOLA198
Data di pubblicazione
  • In corso di stampa40
  • 2020 - 20272680
  • 2010 - 20196029
  • 2000 - 20096298
  • 1990 - 19991328
  • 1980 - 1989293
  • 1973 - 197928
Editore
  • Institute of Electrical and Elect...546
  • IEEE378
  • Springer326
  • Springer Verlag161
  • CEUR-WS158
  • Springer Science and Business Med...151
  • IEEE Computer Society138
  • Elsevier B.V.129
  • ACM89
  • Editore Bios58
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE206
  • CEUR WORKSHOP PROCEEDINGS73
  • PROCEDIA COMPUTER SCIENCE72
  • PROCEDIA STRUCTURAL INTEGRITY64
  • POS PROCEEDINGS OF SCIENCE50
  • AIP CONFERENCE PROCEEDINGS41
  • IJCAI41
  • PROCEEDINGS OF THE EUROPEAN CONFE...36
  • ACM INTERNATIONAL CONFERENCE PROC...33
  • AIP CONFERENCE PROCEEDINGS32
Serie
  • CEUR WORKSHOP PROCEEDINGS172
  • LECTURE NOTES IN COMPUTER SCIENCE130
  • LECTURE NOTES IN ARTIFICIAL INTEL...77
  • MECHANISMS AND MACHINE SCIENCE52
  • AIP CONFERENCE PROCEEDINGS27
  • COMMUNICATIONS IN COMPUTER AND IN...23
  • LECTURE NOTES IN MECHANICAL ENGIN...22
  • IFAC-PAPERSONLINE21
  • PROCEDIA CIRP20
  • LECTURE NOTES IN NETWORKS AND SYS...19
Keyword
  • Computer Science (all)98
  • Computer Networks and Communications94
  • -87
  • Software77
  • Answer Set Programming75
  • Artificial Intelligence75
  • Theoretical Computer Science69
  • Computer Science Applications1707...52
  • Electrical and Electronic Enginee...47
  • Instrumentation37
Lingua
  • eng11315
  • ita3493
  • fre69
  • spa30
  • rus17
  • ger15
  • alb13
  • und8
  • por4
  • mul3
Accesso al fulltext
  • no fulltext16667
  • open22
  • embargoed6
  • reserved1