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