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
Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems
1997-01-01 Schaerf, Andrea
Search and imperative programming
1997-01-01 Apt, Kr; 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
A refined architecture for terminological systems: Terminology = schema + views
1998-01-01 Buchheit, M; Donini, F. M.; Nutt, W; Schaerf, Andrea
AL-log: integrating datalog and description logics
1998-01-01 Donini, F. M.; Lenzerini, M; Nardi, D; Schaerf, Andrea
An epistemic operator for description logics
1998-01-01 Donini, F. M.; Lenzerini, M; Nardi, D; Nutt, W; Schaerf, Andrea
A survey of automated timetabling
1999-01-01 Schaerf, Andrea
Scheduling sport tournaments using constraint logic programming
1999-01-01 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
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