L. Victor Allis (allis-lv)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Allis, L. Victor, Meulen, Maarten van der and Herik, H. Jaap van den. 1994. “Proof-Number Search.” Artificial Intelligence 66(1): 91–124.
Allis, L. Victor, Tan, Y.-H. and Treur, Jan. 2001. “Meta-Level Selection Techniques for the Control of Default Reasoning.” in Handbook of Defeasible Reasoning and Uncertainty Management Systems VI: Dynamics and Management of Reasoning Processes, edited by John-Jules Ch. Meyer and Jan Treur, pp. 195–216. Dordrecht: Kluwer Academic Publishers.