
Professor Dov Gabbay
Emeritus Professor of Computer Science
Research interests
- Computer science
Contact details
Biography
Professor Dov Gabbay is an Emeritus Professor of Computer Science.
Research interests
- Logical systems
- Modal and temporal logics
- Artificial intelligence
More information
Depth-Bounded Reasoning: Volume I: Classical Propositional Logic
D'Agostino, M., Gabbay, D., Larese, C. & Modgil, S., 2024, College Publications. 242 p.Research output: Book/Report › Book › peer-review
Forgetting an Argument
Rodrigues, O. T., Gabbay, D. M. & Baumann, R., 3 Apr 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. 3 ed. AAAI Press, Vol. 34. p. 2750-2757Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
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 proceeding › Conference paper › peer-review
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 proceeding › Chapter › peer-review
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 proceeding › Conference paper › peer-review
Probabilistic argumentation: An equational approach
Rodrigues, O. T. & Gabbay, D. M., Sept 2015, In: Logica Universalis. 9, 3, p. 345 38 p.Research output: Contribution to journal › Article › peer-review
Equilibrium states in numerical argumentation networks
Rodrigues, O. T. & Gabbay, D. M., 31 Dec 2015, In: Logica Universalis. 9, 4, p. 411-473Research output: Contribution to journal › Article › peer-review
An equational approach to the merging of argumentation networks
Gabbay, D. & Rodrigues, O., 2013, In: Journal of Logic and Computation. N/A, p. N/A 25 p.Research output: Contribution to journal › Conference paper › peer-review
Cut and Pay
Gabbay, D. M. & Finger, M., 2006, In: Journal of Logic, Language and Information/. 15, p. 195-218 24 p.Research output: Contribution to journal › Article › peer-review
Advice on Abductive Logic
Gabbay, D. M. & Woods, J., Mar 2006, In: Logic Journal of the IGPL. 14, 2, p. 189-219 31 p.Research output: Contribution to journal › Article › peer-review
Fuzzy Logic without Weakening
Gabbay, D. M., Metcalfe, G. & Olivetti, N., 2003, In: NEURAL NETWORK WORLD.Research output: Contribution to journal › Article › peer-review
Proof Theory for Propositional Fuzzy Logic
Gabbay, D. M., Metcalfe, G. & Olivetti, N., 2005, In: Logic Journal of the IGPL. 13, p. 561-585 25 p.Research output: Contribution to journal › Article › peer-review
Sequent and Hypersequent calculi
Gabbay, D. M., Metcalfe, G. & Olivetti, N., 2005, In: ACM Transactions on Computational Logic. 6, 3, p. 578-613 36 p.Research output: Contribution to journal › Article › peer-review
More on non-cooperation in dialogue logic
Gabbay, D. M. & Woods, J., 2001, In: Logic Journal of the IGPL. 9, 2, p. 321-339 19 p.Research output: Contribution to journal › Article › peer-review
Handbook of Paraconsistency
Gabbay, D. M. (Editor), Beziau, J.-Y. (Editor) & Carnielli, W. (Editor), 2007, College Publications.Research output: Book/Report › Book
Logics of Context
Gabbay, D. M. & Nossum, R., 2004, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (eds.). Springer FinanceResearch output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
Reactive Kripke Semantics and Arc Accessibility
Gabbay, D. M., 2007, Volume in Honour of Boris Trahtenbrot. Avron, A. & Dershowitz, N. (eds.). Springer FinanceResearch output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
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 proceeding › Conference paper
Handbook of Temporal Reasoning in AI
Gabbay, D. M. (Editor), Vila, L. (Editor), Grabul, I. (Editor) & Fisher, M. (Editor), 2005, Elsevier.Research output: Book/Report › Book
Philosophy of Anthropology and Sociology
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Psychology and Cognitive Science
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Logic
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Biology
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Physics
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Science: Focal Issues
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
The Many-valued and Nonmonotonic Turn in Logic
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2007, Burlington : Elsevier: Elsevier. 691 p. (Handbook of the History of Logic; vol. 8)Research output: Book/Report › Book
Logic and the Modalities in the Twentieth Century
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2005, Elsevier. (Handbook of the History of Logic)Research output: Book/Report › Book
British Logic in the Nineteenth Century
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2007, Elsevier. (Handbook of the History of Logic)Research output: Book/Report › Book
Medieval and Renaissance Logic
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2007, Elsevier. (Handbook of the History of Logic)Research output: Book/Report › Book
Handbook of Philosophical Logic
Gabbay, D. M. (Editor) & Guenthner, F. (Editor), 2007, Springer Finance.Research output: Book/Report › Book
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 proceeding › Conference paper
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 PressResearch output: Chapter in Book/Report/Conference proceeding › Conference paper
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 proceeding › Conference paper
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 proceeding › Conference paper
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 proceeding › Conference paper
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 proceeding › Conference paper
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Porn deontic logic system]
de Boer, M., Gabbay, D. M., Parent, X. & Slavkovic, M., Jul 2012, In: SYNTHESE. 187, 2, p. 623-660 38 p.Research output: Contribution to journal › Article › peer-review
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Gabbay, D., Pearce, D. & Valverde, A., Sept 2011, In: Journal Artificial Intelligence Research. 42, p. 917 - 943 27 p.Research output: Contribution to journal › Article › peer-review
Reactive intuitionistic tableaux
Gabbay, D. M., Mar 2011, In: SYNTHESE. 179, 2, p. 253 - 269 17 p.Research output: Contribution to journal › Article › peer-review
Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim)
Abraham, M., Gabbay, D. M., Hazut, G., Maruvka, Y. E. & Schild, U., Feb 2011, In: HISTORY AND PHILOSOPHY OF LOGIC. 32, 1, p. 47 - 62 16 p.Research output: Contribution to journal › Article › peer-review
Uncertainty Rules in Talmudic Reasoning
Gabbay, D. M. & Koppel, M., Feb 2011, In: HISTORY AND PHILOSOPHY OF LOGIC. 32, 1, p. 63 - 69 7 p.Research output: Contribution to journal › Article › peer-review
Reactive automata
Crochemore, M. & Gabbay, D. M., Apr 2011, In: INFORMATION AND COMPUTATION. 209, 4, p. 692 - 704 13 p.Research output: Contribution to journal › Article › peer-review
Semantics for Higher Level Attacks in Extended Argumentation Frames
Gabbay, D., Dec 2009, In: Studia Logica. 93, 2, p. 357-381 25 p.Research output: Contribution to journal › Article › peer-review
Annotation Theories over Finite Graphs
Gabbay, D. & Szalas, A., Dec 2009, In: Studia Logica. 93, 2, p. 147-180 34 p.Research output: Contribution to journal › Article › peer-review
Meta-Argumentation Modelling I: Methodology and Techniques
Boella, G., Gabbay, D., van der Torre, L. & Villata, S., Dec 2009, In: Studia Logica. 93, 2, p. 297-355 59 p.Research output: Contribution to journal › Article › peer-review
A Logical Account of Formal Argumentation
Caminada, M. & Gabbay, D., Dec 2009, In: Studia Logica. 93, 2, p. 109-145 37 p.Research output: Contribution to journal › Article › peer-review
Size and logic
Gabbay, D. & Schlechta, K., 2009, In: Review Of Symbolic Logic.Research output: Contribution to journal › Article › peer-review
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction
Abraham, M., Gabbay, D. & Schild, U., Aug 2009, In: LOGIC JOURNAL- IGPL. 92, 3, p. 281-364 84 p.Research output: Contribution to journal › Article › peer-review
Fibred Security Language
Beolla, G., Gabbay, D., Genovese, V. & van der Torre, L., 2009, In: Studia Logica.Research output: Contribution to journal › Article › peer-review
Research

Software Systems
The group studies design, modelling and engineering of software systems.
Depth-Bounded Reasoning: Volume I: Classical Propositional Logic
D'Agostino, M., Gabbay, D., Larese, C. & Modgil, S., 2024, College Publications. 242 p.Research output: Book/Report › Book › peer-review
Forgetting an Argument
Rodrigues, O. T., Gabbay, D. M. & Baumann, R., 3 Apr 2020, Proceedings of the 34th AAAI Conference on Artificial Intelligence. 3 ed. AAAI Press, Vol. 34. p. 2750-2757Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
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 proceeding › Conference paper › peer-review
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 proceeding › Chapter › peer-review
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 proceeding › Conference paper › peer-review
Probabilistic argumentation: An equational approach
Rodrigues, O. T. & Gabbay, D. M., Sept 2015, In: Logica Universalis. 9, 3, p. 345 38 p.Research output: Contribution to journal › Article › peer-review
Equilibrium states in numerical argumentation networks
Rodrigues, O. T. & Gabbay, D. M., 31 Dec 2015, In: Logica Universalis. 9, 4, p. 411-473Research output: Contribution to journal › Article › peer-review
An equational approach to the merging of argumentation networks
Gabbay, D. & Rodrigues, O., 2013, In: Journal of Logic and Computation. N/A, p. N/A 25 p.Research output: Contribution to journal › Conference paper › peer-review
Cut and Pay
Gabbay, D. M. & Finger, M., 2006, In: Journal of Logic, Language and Information/. 15, p. 195-218 24 p.Research output: Contribution to journal › Article › peer-review
Advice on Abductive Logic
Gabbay, D. M. & Woods, J., Mar 2006, In: Logic Journal of the IGPL. 14, 2, p. 189-219 31 p.Research output: Contribution to journal › Article › peer-review
Fuzzy Logic without Weakening
Gabbay, D. M., Metcalfe, G. & Olivetti, N., 2003, In: NEURAL NETWORK WORLD.Research output: Contribution to journal › Article › peer-review
Proof Theory for Propositional Fuzzy Logic
Gabbay, D. M., Metcalfe, G. & Olivetti, N., 2005, In: Logic Journal of the IGPL. 13, p. 561-585 25 p.Research output: Contribution to journal › Article › peer-review
Sequent and Hypersequent calculi
Gabbay, D. M., Metcalfe, G. & Olivetti, N., 2005, In: ACM Transactions on Computational Logic. 6, 3, p. 578-613 36 p.Research output: Contribution to journal › Article › peer-review
More on non-cooperation in dialogue logic
Gabbay, D. M. & Woods, J., 2001, In: Logic Journal of the IGPL. 9, 2, p. 321-339 19 p.Research output: Contribution to journal › Article › peer-review
Handbook of Paraconsistency
Gabbay, D. M. (Editor), Beziau, J.-Y. (Editor) & Carnielli, W. (Editor), 2007, College Publications.Research output: Book/Report › Book
Logics of Context
Gabbay, D. M. & Nossum, R., 2004, Handbook of Philosophical Logic. Gabbay, D. M. & Guenthner, F. (eds.). Springer FinanceResearch output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
Reactive Kripke Semantics and Arc Accessibility
Gabbay, D. M., 2007, Volume in Honour of Boris Trahtenbrot. Avron, A. & Dershowitz, N. (eds.). Springer FinanceResearch output: Chapter in Book/Report/Conference proceeding › Other chapter contribution
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 proceeding › Conference paper
Handbook of Temporal Reasoning in AI
Gabbay, D. M. (Editor), Vila, L. (Editor), Grabul, I. (Editor) & Fisher, M. (Editor), 2005, Elsevier.Research output: Book/Report › Book
Philosophy of Anthropology and Sociology
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Psychology and Cognitive Science
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Logic
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Biology
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Physics
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
Philosophy of Science: Focal Issues
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2006, Elsevier. (Handbook of the Philosophy of Science)Research output: Book/Report › Book
The Many-valued and Nonmonotonic Turn in Logic
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2007, Burlington : Elsevier: Elsevier. 691 p. (Handbook of the History of Logic; vol. 8)Research output: Book/Report › Book
Logic and the Modalities in the Twentieth Century
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2005, Elsevier. (Handbook of the History of Logic)Research output: Book/Report › Book
British Logic in the Nineteenth Century
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2007, Elsevier. (Handbook of the History of Logic)Research output: Book/Report › Book
Medieval and Renaissance Logic
Gabbay, D. M. (Editor) & Woods, J. (Editor), 2007, Elsevier. (Handbook of the History of Logic)Research output: Book/Report › Book
Handbook of Philosophical Logic
Gabbay, D. M. (Editor) & Guenthner, F. (Editor), 2007, Springer Finance.Research output: Book/Report › Book
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 proceeding › Conference paper
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 PressResearch output: Chapter in Book/Report/Conference proceeding › Conference paper
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 proceeding › Conference paper
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 proceeding › Conference paper
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 proceeding › Conference paper
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 proceeding › Conference paper
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Porn deontic logic system]
de Boer, M., Gabbay, D. M., Parent, X. & Slavkovic, M., Jul 2012, In: SYNTHESE. 187, 2, p. 623-660 38 p.Research output: Contribution to journal › Article › peer-review
Interpolable Formulas in Equilibrium Logic and Answer Set Programming
Gabbay, D., Pearce, D. & Valverde, A., Sept 2011, In: Journal Artificial Intelligence Research. 42, p. 917 - 943 27 p.Research output: Contribution to journal › Article › peer-review
Reactive intuitionistic tableaux
Gabbay, D. M., Mar 2011, In: SYNTHESE. 179, 2, p. 253 - 269 17 p.Research output: Contribution to journal › Article › peer-review
Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim)
Abraham, M., Gabbay, D. M., Hazut, G., Maruvka, Y. E. & Schild, U., Feb 2011, In: HISTORY AND PHILOSOPHY OF LOGIC. 32, 1, p. 47 - 62 16 p.Research output: Contribution to journal › Article › peer-review
Uncertainty Rules in Talmudic Reasoning
Gabbay, D. M. & Koppel, M., Feb 2011, In: HISTORY AND PHILOSOPHY OF LOGIC. 32, 1, p. 63 - 69 7 p.Research output: Contribution to journal › Article › peer-review
Reactive automata
Crochemore, M. & Gabbay, D. M., Apr 2011, In: INFORMATION AND COMPUTATION. 209, 4, p. 692 - 704 13 p.Research output: Contribution to journal › Article › peer-review
Semantics for Higher Level Attacks in Extended Argumentation Frames
Gabbay, D., Dec 2009, In: Studia Logica. 93, 2, p. 357-381 25 p.Research output: Contribution to journal › Article › peer-review
Annotation Theories over Finite Graphs
Gabbay, D. & Szalas, A., Dec 2009, In: Studia Logica. 93, 2, p. 147-180 34 p.Research output: Contribution to journal › Article › peer-review
Meta-Argumentation Modelling I: Methodology and Techniques
Boella, G., Gabbay, D., van der Torre, L. & Villata, S., Dec 2009, In: Studia Logica. 93, 2, p. 297-355 59 p.Research output: Contribution to journal › Article › peer-review
A Logical Account of Formal Argumentation
Caminada, M. & Gabbay, D., Dec 2009, In: Studia Logica. 93, 2, p. 109-145 37 p.Research output: Contribution to journal › Article › peer-review
Size and logic
Gabbay, D. & Schlechta, K., 2009, In: Review Of Symbolic Logic.Research output: Contribution to journal › Article › peer-review
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction
Abraham, M., Gabbay, D. & Schild, U., Aug 2009, In: LOGIC JOURNAL- IGPL. 92, 3, p. 281-364 84 p.Research output: Contribution to journal › Article › peer-review
Fibred Security Language
Beolla, G., Gabbay, D., Genovese, V. & van der Torre, L., 2009, In: Studia Logica.Research output: Contribution to journal › Article › peer-review
Research

Software Systems
The group studies design, modelling and engineering of software systems.