Mary-Anne Williams (williams-ma)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
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.
Benferhat, Salem, Dubois, Didier, Prade, Henri and Williams, Mary-Anne. 2002. “A Practical Approach to Revising Prioritized Knowledge Bases.” Studia Logica: An International Journal for Symbolic Logic 68(1): 105–130.
Benferhat, Salem, Kaci, Souhila, Le Berre, Daniel and Williams, Mary-Anne. 2001. “Weakening Conflicting Information for Integrated Revision and Knowledge Representation.” Artificial Intelligence 153(5–6): 339–371.
Doherty, Patrick, McCarthy, John and Williams, Mary-Anne, eds. 2003. AAAI-03. Working Papers of the 2003 AAAI Spring Symposium on Logical Formalization of Commonsense Reasoning. Menlo Park, California: The AAAI Press.
Dubois, Didier, Welty, Christopher and Williams, Mary-Anne, eds. 2004. KR2004. Principles of Knowledge Representation and Reasoning. Proceedings of the Ninth International Conference. Menlo Park, California: The AAAI Press.
Fensel, Dieter, Giunchiglia, Fausto, McGuinness, Deborah L. and Williams, Mary-Anne, eds. 2002. KR’02: Principles of Knowledge Representation and Reasoning. San Francisco, California: Morgan Kaufmann Publishers.
Liu, Wei and Williams, Mary-Anne. 2001. “A Framework for Multi-Agent Belief Revision.” Studia Logica: An International Journal for Symbolic Logic 67(2): 291–312.
Peppas, Pavlos, Foo, Norman F. and Williams, Mary-Anne. 1992. “On the Expressibility of Propositions.” Logique et Analyse 35(139–140): 251–272.
Peppas, Pavlos, Kouras, Costas D. and Williams, Mary-Anne. 2001. “Prolegomena to Concise Theories of Action.” Studia Logica: An International Journal for Symbolic Logic 67(3): 403–418.
Williams, Mary-Anne. 1994a. “On the Logic of Theory Base Change.” in JELIA’94. Logics in Artificial Intelligence European Workshop, York, UK, September 5-8, 1994, edited by Craig MacNish, Luı́s Moniz Pereira, and David A. Pearce, pp. 86–105. Lecture Notes in Computer Science. Berlin: Springer.
Williams, Mary-Anne. 1994b. “Transmutations of Knowledge Systems.” in KR’94: Principles of Knowledge Representation and Reasoning, edited by Jon Doyle, Erik Sandewall, and Pietro Torasso, pp. 619–629. San Francisco, California: Morgan Kaufmann Publishers.
Williams, Mary-Anne. 1995. “Iterated Theory Base Change: A Computational Model.” in IJCAI-95. Proceedings of the 14th International Joint Conference on Artificial Intelligence, edited by Christopher S. Mellish and C. Raymond Perrault, pp. 1541–1547. San Francisco, California: Morgan Kaufmann Publishers.
Williams, Mary-Anne. 1996. “Towards a Practical Approach to Belief Revision: Reason-based Change.” in KR’96: Principles of Knowledge Representation and Reasoning, edited by Luigia Carlucci Aiello, Jon Doyle, and Stuart C. Shapiro, pp. 412–420. San Francisco, California: Morgan Kaufmann Publishers.
Williams, Mary-Anne. 1999. “Aesthetics and the Explication of Surprise.” in Spinning Ideas: Electronic Essays Dedicated to Peter Gärdenfors, edited by Sören Halldén, Bengt Hansson, Włodzimierz [Wlodek] Rabinowicz, and Nils-Eric Sahlin. Lund: Lunds Universitet, http://www.lucs.lu.se/spinning/.
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.