BACK to Consistency and Incompleteness.

Kai von Luck, Bernhard Nebel, Christof Peltason, Albrecht Schmiedel

Browse the full KI paper archive.