This book constitutes the refereed proceedings of the 12th International Conference on Artificial...

This volume contains the papers, updated in some casespresented at thefirst AISMC (Artificial...

This volume contains thoroughly revised full versions of the best papers presented at the Second ...

This book constitutes the refereed proceedings of the International Conference on Artificial Inte...

Invited Talks.- Constraint Acquisition.- Expressiveness and Complexity of Full First-Order Constr...

This book presents the refereed proceedings of the Fourth International Symposium on Design and I...

This book constitutes the refereed proceedings of the 13th International Conference on Artificial...