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.941 a 1.960 di 16.597
Titolo Data di pubblicazione Autore(i) File
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming 1-gen-2021 Caruso, S.; Galata, G.; Maratea, M.; Mochi, M.; Porro, I.
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria 1-gen-2023 Scanu, M.; Mochi, M.; Dodaro, C.; Galata, G.; Maratea, M.
Scheduling Periodic Treatments via Answer Set Programming 1-gen-2023 Caruso, S.; Dodaro, C.; Galata, G.; Maratea, M.
An Ontology-Based Archive for Historical Research 1-gen-2015 Adorni, Giovanni; Maratea, Marco; Pandolfo, Laura; Pulina, Luca
Explaining Binary Obfuscation 1-gen-2023 Greco, Claudia; Ianni, Michele; Guzzo, Antonella; Fortino, Giancarlo
Evaluating search heuristics and optimization techniques in propositional satisfiability 1-gen-2001 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando; Zambonin, Davide
Dependent and Independent Variables in Propositional Satisfiability 1-gen-2002 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
Computing answer sets of a logic program via-enumeration of SAT certificates 1-gen-2003 Lierler, Yuliya; Maratea, Marco
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 1-gen-2003 Giunchiglia, Enrico; Maratea, Marco; Tacchella, Armando
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs 1-gen-2004 Lierler, Yuliya; Maratea, Marco
SAT-Based Answer Set Programming 1-gen-2004 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
A SAT-based polynomial space algorithm for answer set programming 1-gen-2004 Giunchiglia, Enrico; Lierler, Yuliya; Maratea, Marco
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 1-gen-2005 Giunchiglia, Enrico; Maratea, Marco
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 1-gen-2005 Giunchiglia, Enrico; Maratea, Marco
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 1-gen-2005 Giunchiglia, Enrico; Maratea, Marco
Solving Optimization Problems with DLL 1-gen-2006 Giunchiglia, Enrico; Maratea, Marco
OPTSAT: A Tool for Solving SAT Related Optimization Problems 1-gen-2006 Giunchiglia, Enrico; Maratea, Marco
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 1-gen-2007 Giunchiglia, Enrico; Maratea, Marco
Planning as Satisfiability with Preferences 1-gen-2007 Giunchiglia, Enrico; Maratea, Marco
Computing All Optimal Solutions in Satisfiability Problems with Preferences 1-gen-2008 Di Rosa, Emanuele; Giunchiglia, Enrico; Maratea, Marco
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1.941 a 1.960 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