Das Gebiet der Wissenspräsentation und Inferenz umfaßt einen zentralen Bereich der Intellektik, d...

Reasoning with incomplete information constitutes a major challenge for any intelligent system. I...

Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for ex...

This volume contains the proceedings of the 10th International Conference on Logic Programming an...

Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to mod...