Andrei Voronkov (voronkov)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Degtyarev, Anatoli and Voronkov, Andrei. 2001. “Kanger’s Choices in Automated Reasoning.” in Collected Papers of Stig Kanger with Essays on His Life and Work, edited by Ghita Holmström-HIntikka, Sten Lindström, and Rysiek Sliwinski, pp. 53–68. Synthese Library n. 304. Dordrecht: Kluwer Academic Publishers.
Fitting, Melvin Chris, Thalmann, Lars and Voronkov, Andrei. 2001. “Term-Modal Logics.” Studia Logica: An International Journal for Symbolic Logic 69(1): 133–169.
Voronkov, Andrei, ed. 1992. Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991. Berlin: Springer.
Voronkov, Andrei. 1996. “Proof-Search in Intuitionistic Logic Based on Constraint Satisfaction.” in TABLEAUX 96, pp. 312–329. Berlin: Springer Verlag.
Voronkov, Andrei. 2000. “Deciding K Using K.” in KR’00: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, pp. 198–209. San Francisco, California: Morgan Kaufmann Publishers.