BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Jump to: 2000
    Number of items: 2.

    2000

    Sturm, H. and Wolter, F. and Zakharyaschev, Michael (2000) Monodic epistemic predicate logic. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Moniz Pereira, L. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 329-344. ISBN 9783540411314.

    Sturm, H. and Suzuki, N.-Y. and Wolter, F. and Zakharyaschev, Michael (2000) Semi-qualitative reasoning about distances: a preliminary report. In: Ojeda-Aciego, M. and de Guzman, I.P. and Brewka, G. and Pereira, L.M. (eds.) JELIA 2000: Logics in Artificial Intelligence, European Workshop. Lecture Notes in Computer Science 1919. Springer, pp. 37-56. ISBN 9783540411314.

    This list was generated on Thu Mar 28 06:11:19 2024 GMT.