Andrea Schaerf

Dipartimento di Informatica e Sistemistica , Universita di Roma "La Sapienza" Via Salaria 113 , 00198 , Rome , Italy

2 papers in the IJCAI proceedings

IJCAI 1997

Combining Local Search and Look-Ahead for Scheduling and Constraint Satisfaction Problems

Details PDF

IJCAI 1993

Decidable Reasoning in Terminological Knowledge Representation Systems

with Martin Buchheit, Francesco M. Donini

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings