Weydert, Emil Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dtTHT (出版社版)
Weydert, E. (1995). Default Entailment. A Preferential Construction Semantics for Defeasible Inference. In I., Wachsmuth, C.-R., Rollinger, & W., Brauer (Eds.), KI-95: Advances in Artificial Intelligence (pp. 173-184). Berlin, Germany: Springer.