King's College London

Research portal

Research Outputs

  1. 2016
  2. Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories

    Rodrigues, O. T. & Gabbay, D. M., Jan 2016, Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. Brewka, G., Thimm, M. & Beierle, C. (eds.). College Publications, p. 392 408 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. Degrees of “in”, “out” and “undecided” in Argumentation Networks

    Gabbay, D. M. & Rodrigues, O., 2016, Computational Models of Argument. Baroni, P., Gordon, T. F., Scheffler, T. & Stede, M. (eds.). IOS Press, p. 319 326 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  4. 2015
  5. Science forum: RIPOSTE: a framework for improving the design and analysis of laboratory-based research.

    Masca, N. G. D., Hensor, E. M. A., Cornelius, V. R., Buffa, F. M., Marriott, H. M., Eales, J. M., Messenger, M. P., Anderson, A. E., Boot, C., Bunce, C., Goldin, R. D., Harris, J., Hinchliffe, R. F., Junaid, H., Kingston, S., Martin-Ruiz, C., Nelson, C. P., Peacock, J., Seed, P. T., Shinkins, B. & 4 others, Staples, K. J., Toombs, J., Wright, A. K. A. & Teare, M. D., 2015, eLife. p. e05519 (eLife; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. 2014
  7. A self-correcting iteration schema for argumentation networks

    Rodrigues, O. T. & Gabbay, D., 2014, Computational Models of Argument . Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). IOS Press, Vol. 266. p. 337-384 48 p. (Frontiers in Artificial Intelligence and Applications ).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  8. 2012
  9. A Numerical Approach to the Merging of Argumentation Networks

    Gabbay, D. & Rodrigues, O., 2012, Computational Logic in Multi-Agent Systems: 13th International Workshop CLIMA XIII Proceedings. Heidelberg: Springer, Vol. 7486. p. 195-212 18 p. (Lecture Notes in Computer Science; vol. 7486).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  10. 2010
  11. Oxidative Stress and redox signalling in cardiac remodelling

    Zhang, M., Sirker, A. & Shah, A., 2010, Oxidative Stress in Applied Basic Research and Clinical Practice: Studies on Cardiovascular Disorders. Sauer, H., Shah, AM. & Laurindo, FRM. (eds.). Springer Humana, p. 405 - 424 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Reactive links to save automata states

    Crochemore, M. & Gabbay, D., 2010, Prague Stringology Conference. Czech Technical University, p. 1 - 8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. Revision, Acceptability and Context

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

    Research output: Book/ReportBook

  14. 2009
  15. Handbook of quantum logic and quantum structures: quantum logic

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

    Research output: Book/ReportBook

  16. Neural-Symbolic Cognitive Reasoning

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

    Research output: Book/ReportBook

  17. Proof Theory for Fuzzy Logics

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

    Research output: Book/ReportBook

  18. Quantification in Nonclassical Logic

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

    Research output: Book/ReportBook

  19. 2008
  20. A New Approach to Quantum Logic

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

    Research output: Book/ReportBook

  21. A Normative View on the Blocks World

    Gabbay, D., Grossi, D. & van der Torre, L., 2008, Third International Workshop on Normative Multiagent Systems - NorMAS 2008. Unknown Publisher, p. 128 - 142 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  22. Analysis and Synthesis of Logics

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

    Research output: Book/ReportBook

  23. Pathophysiology of systolic heart failure. In: Chronic Heart Failure.

    Cubbon, R. (ed.), Shah, AM. (ed.) & Kearney, A. (ed.), 2008, Oxford University Press.

    Research output: Book/ReportBook

  24. Reactive Kripke models and contrary to duty obligations

    Gabbay, D. M., VanDerMeyden, R. (ed.) & VanDerTorre, L. (ed.), 2008, Deontic Logic in Computer Science. BERLIN: Springer, Vol. 5076 LNAI. p. 155 - 173 19 p. (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. Reactive oxygen species in heart failure. In: Acute Heart Failure

    Zhang, M. (ed.), Shah, AM. (ed.), Mebazaa, A. (ed.), Gheorghiade, M. (ed.), Zannad, FM. (ed.) & Parrillo, JE. (ed.), 2008, Springer.

    Research output: Book/ReportBook

  26. Second-Order Quantifier Elimination

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

    Research output: Book/ReportBook

  27. 2007
  28. 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

  29. Handbook of Paraconsistency

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

    Research output: Book/ReportBook

  30. Handbook of Philosophical Logic

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

    Research output: Book/ReportBook

  31. Medieval and Renaissance Logic

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

    Research output: Book/ReportBook

  32. Reactive Kripke Semantics and Arc Accessibility

    Gabbay, D. M., 2007, Volume in Honour of Boris Trahtenbrot. Avron, A. & Dershowitz, N. (eds.). Springer Finance

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  33. 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

  34. 2006
  35. Belief revision, belief merging and voting

    Gabbay, D. M., Pigozzi, G. & Rodrigues, O., 1 Jul 2006, Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06). University of Liverpool Department of Computer Science, p. 71-78 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. A Connectionist Model for Constructive Modal Reasoning

    Gabbay, D., d'Avila Garcez, A. & Lamb, L. C., 2006, Unknown. MIT Press, (Advances in Neural Information Processing Systems 18).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  37. Filtration Structures and the Cut Down Problem for Abduction

    Gabbay, D., Woods, J., Peacock, K. (ed.) & Irvine, A. (ed.), 2006, Mistakes of Reason. University of Toronto Press, p. 398 - 417 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  38. Getting possibilities from the impossible

    Elsenbroich, C., Gabbay, D. M. & Rodrigues, O., 2006, Proceedings of the 11th Workshop on Nonmonotic Reasoning : NMR'06. Dix, J. & Hunter, A. (eds.). Institut fur Informatik, p. 505-513 9 p. (IFI Technical Report Series; vol. 06-04).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  39. Philosophy of Anthropology and Sociology

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

    Research output: Book/ReportBook

  40. Philosophy of Biology

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

    Research output: Book/ReportBook

  41. Philosophy of Logic

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

    Research output: Book/ReportBook

  42. Philosophy of Physics

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

    Research output: Book/ReportBook

  43. 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

  44. Philosophy of Science: Focal Issues

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

    Research output: Book/ReportBook

  45. 2005
  46. 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

  47. 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

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

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

    Research output: Book/ReportBook

  49. Interpolation in Goal Directed Proof Systems1

    Gabbay, D., Olivetti, N., Baaz, M. (ed.), Friedmand, S. (ed.) & Krajicek, J. (ed.), 2005, Proceedings LC-2001. A K Peters, p. 170 - 217 48 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  50. Interpolation in goal directed proof systems 1

    Gabbay, D. M. & Olivetti, N., 2005, Proceedings LC-2001. Baaz, M., Friedmand, S. & Krajicek, J. (eds.). A K Peters, p. 170-217 48 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  51. 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

  52. Modal varieties of temporal logic

    Gabbay, D. & Barringer, H., 2005, Handbook of temporal reasoning in artificial intelligence. Fisher, M., Gabbay, D. & Vila, L. (eds.). Amsterdam: Elsevier, p. 119 - 166 48 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  53. 2004
  54. Advice on Abductive Logic

    Gabbay, D. & Woods, J., 2004, Unknown. Unknown Publisher

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  55. Advice on a Formal Model of Abduction

    Gabbay, D. & Woods, J., 2004, Unknown. Unknown Publisher

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  56. Belief Contraction, Anti-formulae and Resource Overdraft: Part II Deletion in Resource Unbounded Logics

    Gabbay, D., Rodrigues, O. & Woods, J., 2004, Logic, Epistemology and the Unity of Science. Unknown Publisher, p. 291 - 326 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. 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

Previous 1 2 3 Next

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

Refine results Clear filters

Language

Language

Publication year

Publication year

Meeting and poster abstracts

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