Saša Buvač (buvac-s)

Contributions to Philosophie.ch

Bibliography

Buvač, Saša, ed. 1995a. AAAI-95. Working Papers of the AAAI Fall Symposium on Formalizing Context. Menlo Park, California: The AAAI Press.
Buvač, Saša. 1995b. “Ambiguity Via Formal Theory of Context.” Unpublished manuscript.
Buvač, Saša. 1995c. “Semantics of Translation.” Unpublished manuscript.
Buvač, Saša. 1996a. “Quantificational Logic of Context.” in AAAI-96. Proceedings of the Thirteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference, edited by William J. Clancey and Daniel S. Weld, pp. 600–606. Menlo Park, California: The AAAI Press.
Buvač, Saša. 1996b. “Resolving Lexical Ambiguity Using a Formal Theory of Context.” in Semantic Ambiguity and Underspecification, edited by Kees van Deemter and Stanley Peters, pp. 101–124. Cambridge: Cambridge University Press.
Buvač, Saša. 1997. “Pragmatical Considerations on Logical AI.” in, pp. 38–40.
Buvač, Saša. 2003. “A Deduction Theorem for Normal Modal Propositional Logic.” in CONTEXT’03. Modeling and Using Context: Proceedings of the Fourth International and Interdisciplinary Conference, edited by Patrick Blackburn, Fausto Giunchiglia, Chiara Ghidini, and Roy M. Turner, pp. 107–115. Lecture Notes in Computer Science n. 2680. Berlin: Springer.
Buvač, Saša, Buvač, Vanja and Mason, Ian A. 1995a. “The Semantics of Propositional Contexts.” in Methodologies for Intelligent Systems: Proceedings of the 8th International Symposium. Berlin: Springer Verlag.
Buvač, Saša, Buvač, Vanja and Mason, Ian A. 1995b. “Metamathematics of Contexts.” Fundamenta Mathematicae 23(3).
Buvač, Saša and Costello, Tom, eds. 1996. Working Papers: Common Sense ’96. Stanford, California: Computer Science Department, Stanford University.
Buvač, Saša and Fikes, Richard E., eds. 1995a. Formalizing Context. Menlo Park, California: The AAAI Press.
Buvač, Saša and Fikes, Richard E. 1995b. “Preface.” in, pp. iii–iv. Abstract.
Buvač, Saša and Fikes, Richard E. 1995c. “A Declarative Formalization of Knowledge Translation.” in Proceedings of the ACM CIKM: the Fourth International Conference in Information and Knowledge Management. New York: The ACM Press.
Buvač, Saša and Iwańska, Łucja M., eds. 1997. AAAI-97. Working Papers of the AAAI Fall Symposium on Context in Knowledge Representation and Natural Language. Menlo Park, California: The AAAI Press.
Buvač, Saša and Kameyama, Megumi. 1998. “Introduction: Toward a Unified Theory of Context?” Journal of Logic, Language, and Information 7(1): 1–2.
Buvač, Saša and Mason, Ian A. 1993. “Propositional Logic of Context.” in AAAI-93. Proceedings of the Eleventh National Conference on Artificial Intelligence, edited by Richard E. Fikes and Wendy G. Lehnert, pp. 412–419. Menlo Park, California: The AAAI Press.
Buvač, Saša and McCarthy, John. 1996. “Combining Planning Contexts.” in Advanced Planning Technology: Technological Achievements of the ARPA/Rome Laboratory Planning Initiative, edited by Austin Tate. Menlo Park, California: The AAAI Press.
McCarthy, John and Buvač, Saša. 1997. “Formalizing Context (Expanded Notes).” in, pp. 99–135. Reprinted in Aliseda, Glabbeek and Westerståhl (1998, 13–50).

Further References

Aliseda, Atocha, Glabbeek, Rob J. van and Westerståhl, Dag, eds. 1998. Computing Natural Language. Stanford, California: CSLI Publications. Proceedings of the 1995 CSLI-Amsterdam Logic, Language, and Computation Conference.