Grigoris Antoniou (antoniou)
Contributi a Philosophie.ch
No contributions yet
Bibliography
Antoniou, Grigoris. 1999. “Splitting Finite Default Theories: A Comparison of Two Approaches.” Journal of Logic, Language, and Information 8(2): 205–216.
Antoniou, Grigoris, Courtney, Allen P., Ernst, Jörg and Williams, Mary-Anne. 1996. “A System for Computing Constrained Default Logic Extensions.” in JELIA’96. Logics in Artificial Intelligence European Workshop, Evora, Portugal, September 30 – October 3, 1996, edited by José Júlio Alferes, J. A. Leite, Luı́s Moniz Pereira, Halina Przymusinska, and Teodor C. Przymusinski, pp. 237–250. Berlin: Springer.
Antoniou, Grigoris and Wang, Kewen. 2007. “Default Logic.” in Handbook of the History of Logic. Volume 8: The Many Valued and Non-Monotonic Turn in Logic, edited by Dov M. Gabbay and John Woods, pp. 517–556. Amsterdam: North-Holland Publishing Co.
Sperschneider, V. and Antoniou, Grigoris. 1991. Logic: A Foundation for Computer Science. Reading, Massachusetts: Addison-Wesley.
Williams, Mary-Anne and Antoniou, Grigoris. 1998. “A Strategy for Revising Default Theory Extensions.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 24–33. San Francisco, California: Morgan Kaufmann Publishers.