Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 126
Titolo Data di pubblicazione Autore(i) File
On the complexity of the instance checking problem in concept languages with existential quantification 1-gen-1993 Schaerf, Andrea
Decidable reasoning in terminological knowledge representation systems 1-gen-1994 Martin, Buchheit; Francesco M., Donini; Schaerf, Andrea
Deduction in concept languages: From subsumption to instance checking 1-gen-1994 Francesco M., Donini; Maurizio, Lenzerini; Daniele, Nardi; Schaerf, Andrea
Reasoning with individuals in concept languages 1-gen-1994 Schaerf, Andrea
Refining the structure of terminological systems: terminology = schema + views 1-gen-1994 Buchheit, M; Donini, Fm; Nutt, W; Schaerf, Andrea
Adaptive load balancing: a study in multi-agent learning 1-gen-1995 Schaerf, Andrea; Yoav, Shoham; Moshe, Tennenholtz
Reasoning in Description Logics 1-gen-1996 Donini, Francesco; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea
Tabu search techniques for large high-school timetabling problems 1-gen-1996 Schaerf, Andrea
Search and imperative programming 1-gen-1997 Apt, Kr; Schaerf, Andrea
FONDAMENTI DELLA PROGETTAZIONE DEI PROGRAMMI. PRINCIPI, TECNICHE E LORO APPLICAZIONI IN C++ 1-gen-1997 Cadoli, M; Lenzerini, M; Naggar, P; Schaerf, Andrea
Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems 1-gen-1997 Schaerf, Andrea
Alma-O: An imperative language that supports declarative programming 1-gen-1998 Apt, K. R.; Brunekreef, J.; Partington, V.; Schaerf, Andrea
A refined architecture for terminological systems: Terminology = schema + views 1-gen-1998 Buchheit, M; Donini, F. M.; Nutt, W; Schaerf, Andrea
An epistemic operator for description logics 1-gen-1998 Donini, F. M.; Lenzerini, M; Nardi, D; Nutt, W; Schaerf, Andrea
AL-log: integrating datalog and description logics 1-gen-1998 Donini, F. M.; Lenzerini, M; Nardi, D; Schaerf, Andrea
Esercizi di progettazione di programmi in C++ 1-gen-1998 M., Cadoli; M., Lenzerini; E., Panizzi; Schaerf, Andrea
Scheduling sport tournaments using constraint logic programming 1-gen-1999 Schaerf, Andrea
The Alma project, or how first-order logic can help us in imperative programming 1-gen-1999 Apt, Kr; Schaerf, Andrea
Local search techniques for large high-school timetabling problems 1-gen-1999 Schaerf, Andrea
A survey of automated timetabling 1-gen-1999 Schaerf, Andrea
NP-SPEC: An Executable Specification Language for Solving All Problems in NP 1-gen-1999 Marco, Cadoli; Luigi, Palopoli; Schaerf, Andrea; Domenico, Vasile
NP-SPEC: An Executable Specification Language for Solving all Problems in NP 1-gen-2000 Cadoli, M; Ianni, G; Palopoli, L; Schaerf, Andrea; Vasile, D.
Solving employee timetabling problems by generalized local search 1-gen-2000 Schaerf, Andrea; Meisels, A.
Tabu search techniques for examination timetabling 1-gen-2000 DI GASPERO, Luca; Schaerf, Andrea
Local++: A C++ framework for local search algorithms 1-gen-2000 Schaerf, Andrea; Cadoli, M.; Lenzerini, M.
Compiling problem specifications into SAT 1-gen-2001 Cadoli, M; Schaerf, Andrea
Tabu Search Techniques for Examination Timetabling 1-gen-2001 DI GASPERO, Luca; Schaerf, Andrea
EasyLocal++: An object-oriented framework for the design of Local Search Algorithms and Metaheuristics 1-gen-2001 DI GASPERO, Luca; Schaerf, Andrea
Local Search Techniques for Educational Timetabling Problems 1-gen-2001 Schaerf, Andrea; DI GASPERO, Luca
Local Search Techniques for Constrained Portfolio Selection Problems 1-gen-2002 Schaerf, Andrea
A review of neighborhood structures for the job-shop scheduling problem 1-gen-2002 DI GASPERO, Luca; Jgor, Vian; Schaerf, Andrea
Multi-Neighbourhood Local Search for Course Timetabling 1-gen-2002 DI GASPERO, Luca; Schaerf, Andrea
Multi-neighbourhood Local Search with Application to Course Timetabling 1-gen-2003 DI GASPERO, Luca; Schaerf, Andrea
The minimum shift design problem: theory and practice 1-gen-2003 DI GASPERO, Luca; G., RTNER Johannes; Kortsarz, Guy; Musliu, Nysret; Schaerf, Andrea; Slany, Wolfgang
Modelling and solving employee timetabling problems 1-gen-2003 Meisels, A; Schaerf, Andrea
A hybrid network flow tabu search heuristic for the minimum shift design problem 1-gen-2003 DI GASPERO, Luca; Gaertner, J; Kortsarz, G; Musliu, N; Schaerf, Andrea; Slany, W.
Writing local search algorithms using EASYLOCAL++ 1-gen-2003 DI GASPERO, Luca; Schaerf, Andrea
EasyLocal++: An object-oriented framework for flexible design of local search algorithms 1-gen-2003 DI GASPERO, Luca; Schaerf, Andrea
A MultiAgent System for Distributed Course Timetabling 1-gen-2004 DI GASPERO, Luca; Mizzaro, Stefano; Schaerf, Andrea
A multiagent architecture for distributed course timetabling 1-gen-2004 DI GASPERO, Luca; Mizzaro, Stefano; Schaerf, Andrea
A MultiNeighborhood Local Search Solver for the Timetabling Competition TTComp-2002 1-gen-2004 DI GASPERO, Luca; Schaerf, Andrea
The course timetabling problem: theory and practice 1-gen-2004 DI GASPERO, Luca; Schaerf, Andrea
Local search for shift design 1-gen-2004 Musliu, N; Schaerf, Andrea; Slany, W.
A Tabu Search Approach to the Traveling Tournament Problem 1-gen-2005 DI GASPERO, Luca; Schaerf, Andrea
A multiagent architecture for distributed course timetabling 1-gen-2005 DI GASPERO, Luca; Mizzaro, Stefano; Schaerf, Andrea
Simulations of fuel consumption and emissions in typical traffic circumstances 1-gen-2005 Pelkmans, L.; Verhaeven, E.; Spleesters, G.; Kumra, S.; Schaerf, A.
Compiling problem specifications into SAT 1-gen-2005 Cadoli, M.; Schaerf, Andrea
Theory and practice of the minimum shift design problem 1-gen-2005 DI GASPERO, Luca; Gaertner, J; Kortsarz, G; Musliu, N; Schaerf, Andrea; Slany, W.
A Tabu Search approach to the TravelingTournament Problem 1-gen-2005 DI GASPERO, Luca; Schaerf, Andrea
A study on the short-term prohibition mechanisms in tabu search 1-gen-2006 DI GASPERO, Luca; Chiarandini, M; Schaerf, Andrea
Mostrati risultati da 1 a 50 di 126
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