King's College London

Research portal

Research Outputs

  1. 2015
  2. 2011
  3. Community mental health: Putting policy into practice globally

    Thornicroft, G., Semrau, M., Alem, A., Drake, R. E., Ito, H., Mari, J., McGeorge, P. & Rangaswamy, T., 2011, N/A ed. Chichester: John Wiley & Sons, Ltd. 248 p.

    Research output: Book/ReportBook

  4. 2010
  5. Proceedings of the Ninth International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010)

    van der Hoek, W. (ed.), Kaminka, G. A. (ed.), Lespérance, Y. (ed.), Luck, M. (ed.) & Sen, S. (ed.), 2010, Richland, SC: International Foundation for Autonomous Agents and Multiagent Systems.

    Research output: Book/ReportBook

  6. Revision, Acceptability and Context

    Gabbay, D., Rodrigues, O. & Russo, A., 2010, Springer.

    Research output: Book/ReportBook

  7. 2009
  8. Handbook of quantum logic and quantum structures: quantum logic

    Engesser, K. (ed.), Gabbay, D. (ed.) & Lehmann, D. (ed.), 2009, Elsevier.

    Research output: Book/ReportBook

  9. Neural-Symbolic Cognitive Reasoning

    d'Avila Garcez, A. S., Lamb, L. C. & Gabbay, D. M., 2009, Springer.

    Research output: Book/ReportBook

  10. Proof Theory for Fuzzy Logics

    Gabbay, D., Metcalfe, G. & Olivetti, N., 2009, Springer.

    Research output: Book/ReportBook

  11. Quantification in Nonclassical Logic

    Gabbay, D., Shehtman, V. & Skvortsov, D., 2009, Elsevier.

    Research output: Book/ReportBook

  12. 2008
  13. A New Approach to Quantum Logic

    Gabbay, D., Engesser, K. & Lehmann, D., 2008, College Publications.

    Research output: Book/ReportBook

  14. Analysis and Synthesis of Logics

    Gabbay, D., Carnieli, W., Coniglio, M., Gouveia, P. & Sernadas, C., 2008, Springer.

    Research output: Book/ReportBook

  15. Second-Order Quantifier Elimination

    Gabbay, D., Schmidt, R. & Szalas, A., 2008, College Publications.

    Research output: Book/ReportBook

  16. 2007
  17. British Logic in the Nineteenth Century

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2007, Elsevier. (Handbook of the History of Logic)

    Research output: Book/ReportBook

  18. Handbook of Paraconsistency

    Gabbay, D. M. (ed.), Beziau, J-Y. (ed.) & Carnielli, W. (ed.), 2007, College Publications.

    Research output: Book/ReportBook

  19. Handbook of Philosophical Logic

    Gabbay, D. M. (ed.) & Guenthner, F. (ed.), 2007, Springer Finance.

    Research output: Book/ReportBook

  20. Medieval and Renaissance Logic

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2007, Elsevier. (Handbook of the History of Logic)

    Research output: Book/ReportBook

  21. The Many-valued and Nonmonotonic Turn in Logic

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2007, Burlington : Elsevier: Elsevier. 691 p. (Handbook of the History of Logic; vol. 8)

    Research output: Book/ReportBook

  22. 2006
  23. Philosophy of Anthropology and Sociology

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  24. Philosophy of Biology

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  25. Philosophy of Logic

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  26. Philosophy of Physics

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  27. Philosophy of Psychology and Cognitive Science

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  28. Philosophy of Science: Focal Issues

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2006, Elsevier. (Handbook of the Philosophy of Science)

    Research output: Book/ReportBook

  29. 2005
  30. Handbook of Temporal Reasoning in AI

    Gabbay, D. M. (ed.), Vila, L. (ed.), Grabul, I. (ed.) & Fisher, M. (ed.), 2005, Elsevier.

    Research output: Book/ReportBook

  31. Handbook of temporal reasoning in artificial intelligence

    Fisher, M. (ed.), Gabbay, D. (ed.) & Vila, L. (ed.), 2005, 1 ed. Amsterdam: Elsevier.

    Research output: Book/ReportBook

  32. Interpolation and Definability, Volume 1: Modal and Intuitionistic Logic

    Gabbay, D. & Maksimova, L., 2005, Oxford : Oxford University Press.

    Research output: Book/ReportBook

  33. Logic and the Modalities in the Twentieth Century

    Gabbay, D. M. (ed.) & Woods, J. (ed.), 2005, Elsevier. (Handbook of the History of Logic)

    Research output: Book/ReportBook

  34. Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence

    Skowron, A. (ed.), Agrawal, R. (ed.), Luck, M. (ed.), Yamaguchi, T. (ed.), Morizet-Mahoudeaux, P. (ed.), Liu, J. (ed.) & Zhong, N. (ed.), 2005, n/a ed. Los Alamitos, CA: IEEE Computer Society. 816 p.

    Research output: Book/ReportBook

  35. 2004
  36. Agent-based software development

    Luck, M. M. ., Ashri, R. & D'Inverno, M., 2004, Boston: Artech House. 208 p. (Agent-oriented systems)(Artech House computing library)

    Research output: Book/ReportBook

  37. Compiled Labelled Deductive Systems for Modal and Conditional Logics

    Gabbay, D., Broda, K., Lamb, L. & Russo, A., 2004, Research Studies Press.

    Research output: Book/ReportBook

  38. Handbook of the history of logic. Vol. 1, Greek, Indian and Arabic logic

    Gabbay, D. M. (ed.) & Wodds, J. (ed.), 2004, Amsterdam: Elsevier.

    Research output: Book/ReportBook

  39. The rise of modern logic : from Leibniz to Frege. Vol. 3

    Gabbay, D. (ed.) & Woods, J. (ed.), 2004, Amsterdam: Elsevier.

    Research output: Book/ReportBook

  40. Understanding Agent Systems

    d'Inverno, M. & Luck, M., 2004, 2nd rev. and extended ed. ed. Berlin: Springer.

    Research output: Book/ReportBook

  41. Understanding Agent Systems, second edition

    d'Inverno, M. & Luck, M., 2004, Springer-Verlag Berlin Heidelberg. (Springer Series on Agent Technology)

    Research output: Book/ReportBook

  42. 2003
  43. A practical logic of cognitive systems

    Gabbay, D. M. & Woods, J., 2003, Amsterdam ; Boston: Elsevier.

    Research output: Book/ReportBook

  44. Agenda Relevance

    Gabbay, D. M. & Woods, J., 2003, Elsevier.

    Research output: Book/ReportBook

  45. Agenda relevance : a study in formal pragmatics

    Gabbay, D. M. & Woods, J., 2003, Amsterdam ; London: Elsevier.

    Research output: Book/ReportBook

  46. Handbook of philosophical logic. Vol 10.

    Guenthner, F. & Gabbay, D. M., 2003, Edition: Kluwer Academic Publishers.

    Research output: Book/ReportBook

  47. Many-dimensional modal logics: theory and applications

    Gabbay, D. M., Kurucz, A., Wolter, F. & Zakharyaschev, M., 2003, Elsevier. (Studies in Logic and the Foundations of Mathematics; vol. 148)

    Research output: Book/ReportBook

  48. Multi-agent systems and applications III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 16-18, 2003 : proceedings

    Mařík, V., Müller, J. P. ., Pěchouček, M. & Luck, M., 2003, Berlin: Springer. 660 p. (Lecture notes in computer science; vol. 2691.)

    Research output: Book/ReportBook

  49. 2002
  50. Foundations and applications of multi-agent systems: UKMAS workshops 1996-2000: selected papers

    D'Inverno, M. & Luck, M., 2002, Berlin: Springer. 259 p. (Lecture notes in computer science; vol. 2403.)

    Research output: Book/ReportBook

  51. Handbook of Philosophical Logic Vol. 8

    Gabbay, D. (ed.) & Guenthner, F. (ed.), 2002, Kluwer Academic Publishers.

    Research output: Book/ReportBook

  52. Handbook of philosophical logic. Vol. 4

    Gabbay, D. (ed.) & Guenther, F. (ed.), 2002, 2 ed. Dordrecht and London: Kluwer Academic.

    Research output: Book/ReportBook

Previous 1 2 Next

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454