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. 2014
  5. Associations between working memory and white matter integrity in normal ageing

    Charlton, R. A. & Morris, R., 1 Jan 2014, Working Memory and Ageing. Taylor and Francis, p. 97-128 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  7. Introduction: Working memory and the ageing brain

    Logie, R. H. & Morris, R., 2014, Working Memory and Ageing. Psychology Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

  12. 2008
  13. 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

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

  15. 2007
  16. 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

  17. 2006
  18. 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

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

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

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

  22. 2005
  23. An ABC introduction to cognition for schizophrenia clinicians

    Baddeley, D., Morris, R., David, A. & MacCabe, J., 2005, Cognition and Schizophrenia: : Improving Real Life Function. Morgan, K., Eberhard, J. & Murray, R. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

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

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

  27. 2004
  28. Advice on Abductive Logic

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

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

  29. Advice on a Formal Model of Abduction

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

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

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

  31. Fibring Neural Networks

    Gabbay, D. & Garcez, A., 2004, Proceedings of 19th National Conference on Artificial Itnelligence. AAAI Press

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

  32. Goal-directed methods for Lukasiewicz logic

    Marcinkowski, J. (ed.), Tarlecki, A. (ed.) & Gabbay, D., 2004, LECT NOTE COMPUT SCI. BERLIN: Springer, p. 85 - 99 15 p. (LECTURE NOTES IN COMPUTER SCIENCE).

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

  33. Logics of Context

    Gabbay, D. M. & Nossum, R., 2004, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (eds.). Springer Finance

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

  34. Neurocognitive components of spatial memory

    Allen, G. L. & Parslow, D. M., 2004, Unknown. MAHWAH: LAWRENCE ERLBAUM ASSOC PUBL, p. 217 - 247 31 p.

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

  35. Recursive Causality In Bayesian Networks and Self Fibring

    Gabbay, D., Williamson, J. & Gillies, D. (ed.), 2004, Laws and Models of Science. King's College Publications, p. 173 - 247 75 p.

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

  36. Restart as a Computational Rule

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

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

  37. Towards Connectionist Argumentation Frameworks

    Gabbay, D., d'Avila Garcez, A. & Lamb, L. C., 2004, Proceedings of 16th European Conference on Artificial Intelligence, ECAI 2004. Proceedings of 16th European Conference on Artificial Intelligence ECAI 2004, pp987-988, p. 987-988 2 p.

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

  38. 2003
  39. Distributed knowledge representation in neural-symbolic learning systems

    Gabbay, D., Garcez, A., Lamb, L. & Broda, K., 2003, Proceedings of 16th AAAI International FLAIRS Conference. Unknown Publisher

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

  40. Goal-directed calculi for Godel-Dummett logics

    Metcalfe, G., Olivetti, N. & Gabbay, D., 2003, Computer Science Logic: 17th international workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings. Baaz, M. & Makowsky, J. A. (eds.). N/A ed. Berlin: Springer, Vol. N/A. p. 413 - 426 14 p. (Lecture Notes In Computer Science; no. 2803).

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

  41. Halfway between points and intervals. A temporal logic based on ordered trees

    Gabbay, D., Endriss, U., Goranko, V. (ed.) & Montanari, A. (ed.), 2003, ESSLLI Workshop on Interval Temporal Logics and Duration Calculi. Unknown Publisher, p. 100 - 109 10 p.

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

  42. Neural-Symbolic Intuitionistic Reasoning

    Gabbay, D., d'Avila Garcez, A. S. & Lamb, L. C., 2003, Unknown. IOS Press, (Frontiers in Artificial Intelligence and Applications).

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

  43. Proof theory for product logics

    Metcalfe, G., Olivetti, N. & Gabbay, D., 2003, Neural Network World. Unknown Publisher, p. 549 - 558 10 p.

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

  44. 2002
  45. A connectionist inductive learning system for modal logic programming

    Gabbay, D., Garcez, A. & Lamb, L., 2002, Proceedings of 9th IEEE Intrnational Conference on Neural Information Processing ICONI’02. Unknown Publisher

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

  46. Analytic Sequent Calculi for Abelian and Lukasiewicz Logics

    Gabbay, D. M., Metcalfe, G. & Olivetti, N., 2002, Lecture Notes in Artifical Intelligence. Egli, U. & Fermuller, C. (eds.). Berlin, Germany: Springer, p. 191-205 15 p. (LNCS 2381).

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

  47. Formal Approaches to Practical Reasoning: A Survey

    Gabbay, D. M. & Woods, J., 2002, Handbook of the Logic of Argument and Inference : The Turn Towards the Practical . Gabbay, D. M., Olbach, H. J. & Woods, J. (eds.). North-Holland Publishing Co (Elsevier Science & Technology), p. ? - ?

    Research output: Chapter in Book/Report/Conference proceedingChapter

  48. Goal Oriented Deductions

    Gabbay, D. & Olivetti, N., 2002, Handbook of philosophical logic. Vol. 9. Gabbay, D. & Guenther, F. (eds.). Dordrecht ; London: Kluwer Academic, p. 199 - 285 87 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  49. Logic and The Practical Turn

    Woods, J., Johnson, R. H., Gabbay, D. M. & Olbach, H. J., 2002, Handbook of the Logic of Argument and Inference : The Turn Towards the Practical . Gabbay, D. M., Olbach, H. J. & Woods, J. (eds.). North-Holland Publishing Co (Elsevier Science & Technology), p. ? - ?

    Research output: Chapter in Book/Report/Conference proceedingChapter

  50. Sampling Labelled Deductive Systems

    Gabbay, D., 2002, A companion to philosophical logic. Dale, J. (ed.). Oxford and Malden, Mass.: Blackwell, p. 742 - 769 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  51. 2001
  52. Advanced Modal Logic

    Gabbay, D. (ed.), Guenthner, F. (ed.) & Chagrov, A., 2001, Handbook of philosophical logic. Vol 10.. Edition: Kluwer Academic Publishers, p. 83 - 266 184 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  53. Combining Probabilistic and Labelled Reasoning

    Gabbay, D., 2001, Foundations of Bayesianism. Kluwer Academic, p. ? - ?

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

  54. Dynamics of practical reasoning: a position paper

    Gabbay, D. M., segerberg, K. (ed.), Zakharyaschev, M. (ed.), De Rijke, M. (ed.) & Wansing, H. (ed.), 2001, Advances in modal logic, Vol.\ 2 (Uppsala, 1998). CSLI Publications, p. 179 - 224 46 p.

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

  55. 2000
  56. A unified compilation style labelled deductive system for modal, substructural and fuzzy logics

    Broda, K., Russo, A. & Gabbay, D., 2000, Discovering the World with Fuzzy Logic . Novák, V. & Perfilieva, I. (eds.). New York: Physica-Verlag, p. 495 - 547 53 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  57. Revision by Translation

    Gabbay, D., Rodrigues, O. & Russo, A., 2000, Information, Uncertainty and Fusion. BouchonMeunier, B., Yager, R. R. & Zadeh, L. A. (eds.). NORWELL: Kluwer Academic Publishers, p. 3 - 31 29 p. (KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  58. Structured contexts with fibred semantics

    Bonzon, P., Cavalcanti, M. (ed.) & Nossum, R. (ed.), 2000, APPL LOG SER. DORDRECHT: KLUWER ACADEMIC PUBL, p. 193 - 209 17 p. (APPLIED LOGIC SERIES).

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

  59. 1997
  60. Structured Belief Bases: a practical approach to prioritised base revision

    Gabbay, D. M. & Rodrigues, O., 1 Jun 1997, Proceedings of First Internation Joint Conference on Qualitative and Quantitative Practical Reasoning. Gabbay, D. M., Kruse, R., Nonnengart, A. & Ohlbach, H. J. (eds.). Springer-Verlag Berlin Heidelberg, p. 267-281 15 p.

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

  61. 1996
  62. Structured Databases: a framework to reason about Belief Change

    Gabbay, D. M. & Rodrigues, O., 1 Mar 1996, Proceedings of the Theory and Formal Methods 1996 Workshop. McCusker, G. & Jourdan, S. (eds.). Imperial College Press

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

  63. A methodology for iterated Theory Change

    Gabbay, D. M. & Rodrigues, O., 1996, Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96. Gabbay, D. M. & Ohlbach, H. J. (eds.). N/A ed. Berlin and New York: Springer-Verlag Berlin Heidelberg, Vol. N/A. p. 193-207 15 p. (Lecture Notes in Artificial Intelligence; vol. 1085).

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

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

Refine results Clear filters

Language

Language

Publication year

Meeting and poster abstracts

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