Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 72
Number of items: 72
  • van Benthem, J. F. A. K., Bezhanishvili, G., ten Cate, B. D., & Sarenac, D. (2004). Modal Logics for Products of Topologies. (Technical Reports; No. PP-2004-15). Institute for Logic, Language and Computation.
  • ten Cate, B. D. (2003). Proceedings of the 8th ESSLLI Student Session. http://staff.science.uva.nl/~bcate/esslli03/.
  • ten Cate, B. D., & Shan, C. (2002). Question answering: From partitions to prolog. In U. Egli, & C. Fermuller (Eds.), Proceedings of TABLEAUX 2002: Automated Reasoning with Analytic Tableaux and Related Methods (Vol. 2381, pp. 251-265). Springer Verlag.
  • Blackburn, P., & ten Cate, B. D. (2002). Beyond pure axioms: Node creating rules in hybrid tableaux. In M. Marx, C. Areces, P. Blackburn, & U. Sattler (Eds.), Proceedings of the 4th Workshop on Hybrid Logics (HyLo 2002) (pp. 1-15)
  • ten Cate, B. D. (2002). Internalizing epistemic actions. In M. Martinez (Ed.), Proceedings of the NASSLLI-2002 student session (pp. 109-123)
  • ten Cate, B. D. (2002). On the logic of d-separation. In D. McGuiness, D. Fensel, & M. Williams (Eds.), Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR 2002) (pp. 568-577). Morgan Kaufmann.
  • Shan, C., & ten Cate, B. D. (2002). The Partition Semantics of Questions, Syntactically. In M. Nissim (Ed.), Proceedings of the ESSLLI-2002 student session (pp. 255-269). Kluwer Academic.
  • ten Cate, B. D. (2001). Information exchange as reduction. In K. Striegnitz (Ed.), Proceedings ESSLLI 2001 Student Session
  • ten Cate, B. D., & Safarova, M. (2001). Interpreting uncertain or inconsistent information using belief networks. In D. O'Donoghue (Ed.), Proceedings of The 12th Irish Conference on Artificial Intelligence and Cognitive Science, Maynooth, Co. Kildare, Ireland, September 2001 (pp. 243-252). National University of Ireland.
  • ten Cate, B. D., & Safarova, M. (2001). Representing model conversation failures with belief networks. In G. Schreiber, B. Kröse, M. de Rijke, & M. van Someren (Eds.), Proceedings of BNAIC 2001, Amsterdam, October 25-26 2001 (pp. 365-372).
Page 7 of 8