IJCAI93:
First-Order Modal Logic Theorem Proving and Functional Simulation,
Andreas Nonnengart
AI93:
Modalities in Knowledge Representation,
Ullrich Hustadt and Andreas Nonnengart
Home page of the Max Planck Institute
Person responsible for this page