IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.961 a 1.980 di 16.597
Titolo Data di pubblicazione Autore(i) File
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 1-gen-2008 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
Improving Plan Quality in SAT-Based Planning 1-gen-2009 Giunchiglia, Enrico; Maratea, Marco
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.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.961 a 1.980 di 16.597
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 ...16595
  • 1 Contributo su Rivista1
  • 2 Contributo in Volume1
  • 5 Altro1
Autore
  • CUZZOCREA, ALFREDO509
  • GABRIELE, Bartolo351
  • FORTINO, GIANCARLO249
  • DI MASSA, Giuseppe247
  • MANCUSO, RAFFAELLA244
  • LONGO, Francesco237
  • ANDO', Sebastiano235
  • TALIA, DOMENICO216
  • IERA, ANTONIO215
  • LEONE, NICOLA198
Data di pubblicazione
  • In corso di stampa40
  • 2020 - 20262583
  • 2010 - 20196028
  • 2000 - 20096298
  • 1990 - 19991328
  • 1980 - 1989292
  • 1973 - 197928
Editore
  • Institute of Electrical and Elect...517
  • IEEE377
  • Springer324
  • Springer Verlag161
  • CEUR-WS157
  • Springer Science and Business Med...148
  • IEEE Computer Society136
  • Elsevier B.V.128
  • ACM89
  • Editore Bios58
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE206
  • CEUR WORKSHOP PROCEEDINGS73
  • PROCEDIA COMPUTER SCIENCE71
  • PROCEDIA STRUCTURAL INTEGRITY64
  • POS PROCEEDINGS OF SCIENCE49
  • AIP CONFERENCE PROCEEDINGS41
  • IJCAI41
  • PROCEEDINGS OF THE EUROPEAN CONFE...36
  • ACM INTERNATIONAL CONFERENCE PROC...33
  • AIP CONFERENCE PROCEEDINGS32
Serie
  • CEUR WORKSHOP PROCEEDINGS171
  • LECTURE NOTES IN COMPUTER SCIENCE127
  • LECTURE NOTES IN ARTIFICIAL INTEL...77
  • MECHANISMS AND MACHINE SCIENCE51
  • AIP CONFERENCE PROCEEDINGS27
  • COMMUNICATIONS IN COMPUTER AND IN...23
  • LECTURE NOTES IN MECHANICAL ENGIN...22
  • IFAC-PAPERSONLINE20
  • PROCEDIA CIRP20
  • FRONTIERS IN ARTIFICIAL INTELLIGE...18
Keyword
  • Computer Science (all)98
  • Computer Networks and Communications94
  • -87
  • Software77
  • Artificial Intelligence75
  • Answer Set Programming74
  • Theoretical Computer Science69
  • Computer Science Applications1707...52
  • Electrical and Electronic Enginee...47
  • Instrumentation37
Lingua
  • eng11240
  • ita3480
  • fre69
  • spa30
  • rus17
  • ger15
  • alb13
  • und8
  • por4
  • mul3
Accesso al fulltext
  • no fulltext16568
  • open22
  • embargoed6
  • reserved1