Christopher J. Hogger (hogger-cj)

Contributi a Philosophie.ch

Bibliography

Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1993. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1: Logical Foundations. Oxford: Oxford University Press.
Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1994a. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies. Oxford: Oxford University Press.
Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1994b. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning. Oxford: Oxford University Press.
Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1995. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Logics. Oxford: Oxford University Press.
Gabbay, Dov M., Hogger, Christopher J. and Robinson, James A., eds. 1998. Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 5: Logic Programming. Oxford: Oxford University Press.
Gilbert, David, Hogger, Christopher J. and Zlatuska, Jirm. 1994. “Transforming Specifications of Observable Behaviour into Programs.” in Logic Programming Synthesis and Transformation, Meta-Programming in Logic: Fourth International Workshops, LOBSTR’94 andMETA’94, Pisa, Italy, edited by Laurent Fribourg and Franco Turini, pp. 88–103. Berlin: Springer.