LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The researc...
This volume contains the proceedings of The Eleventh British National Conference on Databases, held at Keele University, England. A dominant theme i...
This volume contains the proceedings of the Eighth Austrian Artificial Intelligence Conference, held in Linz, Austria, in June 1993. The focus of the...
This volume contains papers selected for presentation at the Seventh International Symposium on Methodologies for Intelligent Systems ISMIS '93, held...