Declarative Programming and Knowledge Managementde Michael Hanus, Ricardo RochaMateriasKnowledge managementLogic programmingArtificial intelligenceComputer scienceSoftware engineeringElectronic data processingLogic designArtificial Intelligence (incl. Robotics)Information theory